pub type c_int = i32;