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