static int hexToInt(S s) {
  ret Integer.parseInt(s, 16);
}