class A

feature

	b: detachable B
  
	f (a: like b.c)
		do
		end

end