1 #include <stdio.h>
2 
3 extern void check_foo (void);
4 extern void check_bar (void);
5 
6 int
main(void)7 main (void)
8 {
9   check_foo ();
10   check_bar ();
11 
12   printf ("OK\n");
13 
14   return 0;
15 }
16