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