#charset utf8
void main()
{
    string s = upper_case("ἀρχῇ ß");
    string out = sprintf("Upper: %s\nLower: %s\n",
			 s, lower_case(s));
    write( string_to_utf8(out) );
}