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