indexing
	description: ""
	date: "$Date$"
	revision: "$Revision$"

class
	TEST

create 
	make

feature
	make is
		do
		end

--	f is
--		do
--			print ((agent: INTEGER do end).item ([]))
--		end

end