Symbol: HDL_TO_SEQREG_ADDR