erase more carefully in setjmp lowering