pub type __intmax_t = c_longlong;