deferred class TEST1
feature
	f is
		deferred
		end

end