deferred class TEST3
feature
	value: BOOLEAN
		deferred
		end
	
	$(ATTRIBUTE)

end