1#include <iostream> 2 3int main(int argc, char **argv) 4{ 5 std::cerr << "ok" << std::endl; 6 return 0; 7}