char_type translate_nocase (char_type c) const;
123
char_type translate_nocase (char_type c) const { return use_facet< ctype<char_type> >(getloc()).tolower(c); }