gmp_random_range  179 ext/gmp/gmp.c  	ZEND_FE(gmp_random_range, arginfo_gmp_random_range)
gmp_random_range 1834 ext/gmp/gmp.c  ZEND_FUNCTION(gmp_random_range)
gmp_random_range   74 ext/gmp/php_gmp.h ZEND_FUNCTION(gmp_random_range);