var PRIuLEAST8: String { get }