Symbol: ec_GFp_pt_add_aff