#include <stdio.h>

extern void test(void);

void zoo(){}

int main()
{
  test();
  printf("OK\n");
  return 0;
}