sS toUtf8Hex(S s) {
  ret bytesToHex(toUtf8(s));
}