Symbol: MAX_NEEDED_OUTPUT