static byte[] toUTF8(S s) {
  ret toUtf8(s);
}