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