class BEER

   -- Produce the ditty
   -- Nick Leaton

creation

   make

feature

   count : INTEGER is 6

   shelf: SHELF

   make is
      do
         from
            !!shelf.make (count)
         until
            shelf.empty
         loop
            io.put_string (shelf.description)
            shelf.remove
            io.put_string ("Take one down, pass it all around%N%N")
         end
         io.put_string (shelf.description)
         io.put_string ("Go to the store and buy some more%N%N")
         shelf.make (count)
         io.put_string (shelf.description)
	 io . put_string ("Problem with no bottles? See shelf.e%N")
      end

end -- class BEER