442.html
Nope, I have unfortunately no adequate test setup at hand right now.
Ah, OK, that was the piece I missed.
Then /me is just curious to finally learn why that hack I once proposed
(which unfortunately never received some feedback) is not the right way
to go. In other words, what is the reason for this special
fault_setjmp/fault_longjmp?
Jan