#include
#include
jmp_buf ebuf;
void f(void);
int main(void)
{
int i;
printf("1 ");
i = setjmp(ebuf);
if(i == 0) {
f();
printf("This will not be printed.");
}
printf("%d", i);
return 0;
}
void f(void)
{
printf("2 ");
longjmp( ebuf, 3);
}