Symbol: ec_GFp_pts_mul_jac