class A

feature

	f
		local
			x: ANY
		do
			x.do_nothing
		end
	
end