gmp_random        176 ext/gmp/gmp.c  	ZEND_FE(gmp_random,		arginfo_gmp_random)
gmp_random       1762 ext/gmp/gmp.c  ZEND_FUNCTION(gmp_random)
gmp_random         71 ext/gmp/php_gmp.h ZEND_FUNCTION(gmp_random);