pub type cint_fast32_t = i64;