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