static char charFromHex(S s) {
  ret (char) hexToInt(s);
}