class TEST1

feature

	make is
		local
			a, b: A
		do
			b := a
			a.do_nothing
		end

	f (aasdas: A) is
		obsolete
			"Is obsolete"
		do
			if {a: A} io then
			end
		end

end