pub type intmax_t = c_longlong;