asm.emitPUSH_Imm(type.getTibOffset());
asm.emitPUSH_Imm(type.getTibOffset().toInt());
  protected final void emit_checkcast_final(VM_Type type) {    asm.emitPUSH_RegInd (SP);                        // duplicate the object ref on the stack    asm.emitPUSH_Imm(type.getTibOffset());           // JTOC index that identifies klass      genParameterRegisterLoad(2);                     // pass 2 parameter words    asm.emitCALL_RegDisp (JTOC, VM_Entrypoints.checkcastFinalMethod.getOffset()); // checkcast(obj, TIB's JTOC offset)  }