class A [G]
feature
	 f (x: ANY): A [G] is
		 do
				Result ?= x
		 end

	attr: G

end