var PRIxLEAST8: String { get }