ival = (int)VM_Statics.getSlotContentsAsLong(jtocSlot);
ival = (int)VM_Statics.getSlotContentsAsLong(jtocOff);
  private static int getIVal(int jtocSlot) {    int ival;    if (VM.BuildFor32Addr) {      ival = VM_Statics.getSlotContentsAsInt(jtocSlot);    } else {       ival = (int)VM_Statics.getSlotContentsAsLong(jtocSlot); // just a cookie     }    return ival;  }