saved_resource(11).