blob: 97351a8309d860574150aeb3e259165c7d64dc12 [file] [log] [blame]
#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;
}