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