gcc/testsuite/gcc.c-torture/execute/20011128-1.c

void exit (int);

int
main(void)
{
  char blah[33] = "01234567890123456789";
  exit (0);
}