sS toCharsHex(S s) {
  ret bytesToHex(charsToDoubleBytes(s));
}