lower_case - return the lowercase version of a given string
string lower_case( string str );
Return the lowercase version of a given string (original string remains unchanged).
See also
Tim Hollebeek Beek@ZorkMUD, Lima Bean, IdeaExchange, and elsewhere