Symbol: dsa_gen_ctx