class A
feature

	f (a: detachable A)
		do
		end

end