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