deferred class PARENT
feature
	value: INTEGER
		deferred
		end

end