Symbol: ecc_gen