pub type __intmax_t = c_long;