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