static S charRangeToChar(S s) {
  try {
    int i = s.indexOf('-');
    if (i > 0) s = substring(s, 0, i);
    ret str((char) hexToInt(s));
  } catch {
    ret "[" + s + "]";
  }
}