asm.emitPUSH_Imm(type.getTibOffset());
asm.emitPUSH_Imm(type.getTibOffset().toInt());
  protected final void emit_instanceof_final(VM_Type type) {    asm.emitPUSH_Imm(type.getTibOffset());      genParameterRegisterLoad(2);          // pass 2 parameter words    asm.emitCALL_RegDisp(JTOC, VM_Entrypoints.instanceOfFinalMethod.getOffset());    asm.emitPUSH_Reg(T0);  }