#include int main(int, char**) { std::cout << "hi" << std::endl; return 0; }