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