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