pub type cint_fast64_t = i64;