setjmp insertion in reexecution points