class TEST1 [G]
feature
	try
		do
			print ((agent a).item ([])); io.new_line
		end

	a: G

end