pub type intmax_t = i64;