var PRIx32: String { get }