pub type std_char_traits_char_type<_CharT> = _CharT;