class PERSON
-- a simple class with people in it
creation
   make
      -- s is person's name
      -- t is person's telephone number
feature
   name : STRING
   telno : INTEGER
   
   make (s : STRING; t : INTEGER) is
      local      
      do
	 name := clone(s)
	 telno := t 
      end -- make
   print_person is
      local
      do
	 io.put_string("Name: ")
	 io.put_string(name)
	 io.put_string("     Number: ")
	 io.put_integer(telno)
      end -- print_person
end -- CLASS PERSON