class TEST create
	make
feature
	make
		local
			a: A [INTEGER]
		do
			create a
			a.f (5)
		end
end