First HelloWorld in Eiffel