Symbol: DAHDR_TO_DSEQ