setjmp_internal.h revision dd68e9e8
1