Symbol: ADC5_MAX_CHANNEL