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