first HelloWorld in Eiffel