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  }