char_type do_widen (char c) const;
const char* do_widen (const char* low, const char* high, char_type* to) const;
char