deferred class TEST1
inherit
	TEST_CONSTANTS

feature
	f: INTEGER is
		deferred
		end

end