class
	A [G -> ANY]

feature

	f (a: detachable G)
		do
		end

end