#include <stdio.h>
extern void check_foo (void);
extern void check_bar (void);
int
main (void)
{
check_foo ();
check_bar ();
printf ("OK\n");
return 0;
}