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

__attribute__((noinline)) void foo(int x) {
  char buf[x];
  fgets(buf, x, stdin);
  jmp_buf env;
  if (!setjmp(env))
    longjmp(env, 1);
}

int main() {
  foo(256);
  printf("end main\n");
}