/*
 * hello_world.cpp
 */
 #include <iostream>
 
int main(int argc, char * argv[])
{
	std::cout << "Hello world!" << std::endl;
	return 0;
}
 
