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));