1 #include <stdio.h>
2 
3 void bar(void);
main(void)4 int main(void)
5 {
6   bar();
7   printf("OK\n");
8   return 0;
9 }
10