Symbol: HDL_DHASH