Symbol: SHRINKER_REGISTERED