gmp_random_range  174 ext/gmp/gmp.c  	ZEND_FE(gmp_random_range, arginfo_gmp_random_range)
gmp_random_range 1840 ext/gmp/gmp.c  ZEND_FUNCTION(gmp_random_range)
gmp_random_range   70 ext/gmp/php_gmp.h ZEND_FUNCTION(gmp_random_range);