class
	Y

inherit
	X
		redefine
			f
		end

feature

	f (a: detachable V)
		do
		end

end