#include <stdio.h>
#include <stdlib.h>
#include <setjmp.h>

static jmp_buf env;

int f()
{
    auto int a = 0;

    int x = setjmp(env);
    if (x==0) {
       a++;
       printf("x=%d, a=%d\n",x,a);
       longjmp(env,1);
    }
    printf("x=%d, a=%d\n",x,a);
    return a;
       
}

int main(int argc, char** argv)
{
    int a = f();
    printf("a=%d\n",a);
}