deferred class TEST1
feature 
	value: like x
		deferred
		end
	
	x: INTEGER
	   $(ROUTINE_MARK)
	   end
end