Symbol: ec_GFp_pt_mul_jac