Thanks for the explanation. Would be good if someone put this into the manual or docs someplace. I found it non-obvious. :-( Also, setjmp/longjmp can be included.