Symbol: dh_paramgen_check