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

int main(int argc, char **argv)
{
  jmp_buf env;
  int i;

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

  if (i != 0) exit(0);

  longjmp(env, 1);
  printf("Does this line get printed?\n");

  return 0;

}