History setjmp/bug269-setjmp.c