Symbol: CURRENT_MAX