class TEST1 [G, H]
feature
	x: like {TEST1 [G, H]}.y

	y: DOUBLE

end