do_widen

Implements the function widen.

  charT do_widen(char c) const;
  const char* do_widen(const char* low, const char* high,
  charT* dest) const;