Symbol: PULL_MAX