pub type std_basic_string_pointer = std_basic_string___alloc_traits;