#include <stdio.h>

__attribute__((noinline)) void foo(int x) {
  char buf[x];
  fgets(buf, x, stdin);
  void *env[5];
  if (!__builtin_setjmp(env))
    __builtin_longjmp(env, 1);
}

int main() {
  foo(256);
}