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