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