pub type c__uintmax_t = u64;