14:11:52beachJust have UNWIND not pop it off, and for a CATCH-INSTRUCTION generated from a BLOCK, have the top entry popped off in successor 1 of the CATCH-INSTRUCTION.
15:25:38beachHmm, the HIR interpreter does not have the concept of a frame pointer.
15:26:52beachSo, either I try to simulate it, or I can't translate the CATCH-INSTRUCTION and the UNWIND-INSTRUCTION until HIR-to-MIR.