Symbol: refcount_saturation_type