Constant adc1_channel_t_ADC1_CHANNEL_MAX 

pub const adc1_channel_t_ADC1_CHANNEL_MAX: adc1_channel_t = 5;