pub type uintmax_t = u32;