1  #include <stdio.h>
       2  
       3  char bar[10];
       4  char foo[20] = { 1 } ;
       5  extern int bar_size1 (void);
       6  extern int bar_size2 (void);
       7  extern int foo_size1 (void);
       8  extern int foo_size2 (void);
       9  
      10  int
      11  main ()
      12  {
      13    int size;
      14    
      15    size = bar_size1 ();
      16    if (size == sizeof (bar) && bar_size2 () == size)
      17      printf ("OK\n");
      18  
      19    size = foo_size1 ();
      20    if (size == sizeof (foo) && foo_size2 () == size)
      21      printf ("OK\n");
      22  
      23    return 0;
      24  }