#include int main(int argc, char** argv) { std::cout << "Hello world!" << std::endl; return 0; }