static int parseHexConstant(S s) {
  ret parseHexInt(dropPrefix("0x", s));
}