class
	X

feature

	f (a: detachable U)
		do
		end

end