pub type __uintmax_t = c_ulonglong;