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