class A

feature
   
	f (s: detachable STRING)
		do
		end

end