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