pub type c__intmax_t = i64;