class
	TEST2 [G, H]

feature

	set_value (t: TEST3 [H]) is
		do
			value := t
		end

	value: TEST3 [H]

end