deferred class A
feature

	f is
		deferred
		end

end