deferred class
	TEST2 [G]

feature

	query (a: INTEGER): G is
		deferred
		end

end