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