var PRIu32: String { get }