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