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