pub type std_char_traits_int_type = c_int;