foo = (char *) alloca (128); sub5 (buf);   return 1;
return 0;
main (void){  jmp_buf buf;  char *foo;  int arr[100];  arr[77] = 76;  if (setjmp (buf))    {      printf ("made it ok; %d\n", arr[77]);      exit (0);    }  foo = (char *) alloca (128);  sub5 (buf);  /* NOTREACHED */  return 1;}