// Author: Paul B. Hayes
  class HELLO_WORLD
   
  creation
          make
  feature
          make is
          local
                  io:BASIC_IO
          do
                  !!io
                  io.put_string("\%N Hello World!!!!")
          end --make
  
  end -- class HELLO_WORLD