static byte[] toUtf8(S s) ctex {
  return s.getBytes("UTF-8");
}