Symbol: decode_syndrome