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