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
main()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 }
25