deferred class B

feature

	f $(B) $(ARGS): BOOLEAN is
		$(B_BODY)
		end

end