template <class Ch, class Traits=char_traits<Ch>,
class Allocator=allocator<CharType>> class basic_string; // !


template <class Ch, class Traits=char_traits<Ch>,
class Allocator=allocator<CharType> > class basic_string; // OK
