Pack the op sequence into a simple try/catch switch between
The struct jmpenv packages the state required to perform a proper non-local jump,
top_env being the initial JMPENV record. In case of abnormal exceptions
(i.e. die) a
JMPENV_JUMP must be done, a non-local jump out to
the previous JMPENV level with a proper setjmp record.