typedef basic_string<char> string;