deferred class TEST2

feature

	name: STRING is
		deferred
		end

	item_name: INTEGER is
		deferred
		end

end