extern "C" int printf(const char*,...);
int include_test(){
  printf("OK");
  return 0;
}