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