sS intToHexConstant(int i) {
  ret "0x" + intToHex(i);
}