indexing description: "TODO" date: "$Date$" revision: "$Revision$" class TAPE feature save (o: ANY) require o_not_void: o /= Void do -- ... end end