1 #include <stdio.h> 2 3 extern void foo(void); 4 extern int i; 5 6 int main() 7 { 8 foo(); 9 if (i == 0x1234) 10 printf ("PASS\n"); 11 return 0; 12 } 13