gmp_init_random  1772 ext/gmp/gmp.c  	gmp_init_random();
gmp_init_random  1794 ext/gmp/gmp.c  	gmp_init_random();
gmp_init_random  1826 ext/gmp/gmp.c  	gmp_init_random();
gmp_init_random  1845 ext/gmp/gmp.c  	gmp_init_random();