Symbol: ec_GFp_pt_add_jac_aff