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