Symbol: aux_ch_to_digital_port