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