On Fri, 10 Mar 2023, Steffen Nurpmeso wrote: > |Seriously, I also use setjmp()/longjmp() for a more elegant exit from a > > That is sheer unbelievable, really? _So_ expensive! How often would you call setjmp()/longjmp()? -- Dave