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