deferred class
	TEST6

feature

	query (a: ANY): ANY is
		deferred
		end

end