[DGD] How are the "end" of catch/rlimits/atomic blocks marked in bytecode

[Carter Cheng]

I am curious about how this is handled i.e. is a I_RETURN used to mark the
end point? and how does the interpreter which is re entered- know where the
next instruction is after the return is the I_CATCH followed by some sort
of jmp?

Thanks in advance,

Silenus.