Label dummyRescueBlockLabel = m.getNewLabel();
Label rethrowExcLabel = m.getNewLabel();
rescueLabels.add(dummyRescueBlockLabel);
Variable exc = m.getNewTemporaryVariable();
m.addInstr(new LABEL_Instr(dummyRescueBlockLabel));
m.addInstr(new RECV_EXCEPTION_Instr(exc));
m.addInstr(new SET_RETADDR_Instr(ebi.returnAddr, rethrowExcLabel));
m.addInstr(new JumpInstr(ebi.start));
m.addInstr(new LABEL_Instr(rethrowExcLabel));
m.addInstr(new THROW_EXCEPTION_Instr(exc));