1  #include <stdio.h>
       2  
       3  int foo;
       4  int
       5  main ()
       6  {
       7    printf ("PASSED: %d\n", foo);
       8    return 0;
       9  }