gmp_binary_opl   1299 gmp/gmp.c      	gmp_binary_opl(mpz_jacobi);
gmp_binary_opl   1307 gmp/gmp.c      	gmp_binary_opl(mpz_legendre);