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