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