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

void a(jmp_buf env)
{
  int i;

  i = 3;
  setjmp(env);
  printf("%d\n", i);
}

void b(jmp_buf env)
{
  int i;
  
  i = 4;
}

int main()
{
  jmp_buf env;

  a(env);
  b(env);
  longjmp(env, 1);
  return 1;
}