Re: [pups] V7 setjmp/longjmp