static byte[] toUtf8(S s) ctex {
  return s.getBytes(utf8charset());
}