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