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