/* Source file hello2.cpp */

#include	<iostream>

int
main()
{
	std::cout << "Hello world!" << std::endl;
	return 0;
}