これが実装。なーんもしない。

char[] toUTF8(char[] s)
in
{
validate(s);
}
body
{
return s;
}