#include <iostream>

int main(int argc, char **argv)
{
  std::cerr << "ok" << std::endl;
  return 0;
}