char_type do_tolower (char_type c) const;
const char_type* do_tolower (char_type* low, const char_type* high) const;