int main(int, char**)

std::cout << "Hello world!" << std::endl;