class TEST2 [G -> NONE]
feature
	y: G
		do
			create Result
		end
end