eiffel	code	class
eiffel	code		HELLO_WORLD
eiffel	code	create
eiffel	code		make
eiffel	code	feature
eiffel	code		make
eiffel	code			do
eiffel	comment				-- prints "Hello world!" and starts new line
eiffel	blank	
eiffel	code				print ("Hello, world!%N")
eiffel	blank	
eiffel	code			end
eiffel	code	end