string s = "alphaBETA";
string s2 = "foo bar gazonk";
write("Upper: %O\nLower: %O\nCapitalize: %O\nSilly: %O\nElite: %O\n",
upper_case(s),
lower_case(s),
String.capitalize(s),
String.sillycaps(s2),
String.Elite.elite_string(s2));