pub type intmax_t = __intmax_t;