Symbol: dsa_paramgen_check