pub type cuintmax_t = u64;