class TEST

create
	make

feature 

	make
		do
			test (agent do end)
		end

	test (a_agent: PROCEDURE [ANY, TUPLE])
		do
		end


end