pub type cint_fast16_t = i64;