class TEST1

feature

	f
		do
			print (agent do end)
			io.do_nothing
		end

end