class TEST1 [G -> TUPLE [a: INTEGER]]

feature
	try
		do
		end

	value: G

end