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