void exit (int); void abort (void); int a[1]; void (*terminate_me)(int); __attribute__((noinline,noclone)) t(int c) { int i; for (i=0;i