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