class hello
create
   make
feature
   make is
      do
         io.put_string ("Hello!%N")
      end
end