deferred class TEST2
feature
	make
		do
		end

	value: INTEGER
		deferred
		end
	
end