pub type std_basic_string_difference_type = std_basic_string___alloc_traits;