static short castIntToShort(int i) {
  ret (short) i;
}