gmp_binary_op    1397 gmp/gmp.c      	gmp_binary_op(mpz_and);
gmp_binary_op    1405 gmp/gmp.c      	gmp_binary_op(mpz_ior);