deferred class TEST2
feature
	val: INTEGER
		deferred
		end

end