Symbol: get_channel_from_ecc_syndrome