1  #include <stdio.h>
       2  
       3  extern int bar_size;
       4  extern char *get_bar (int, int);
       5  
       6  int
       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  }