Symbol: dsa_builtin_paramgen