#charset utf8
void main()
{
string s = "ßÜÖÄüöää ἀρχῇ";
write("%s\n", string_to_utf8( reverse(s) ));
}