gmp_random_seed   177 ext/gmp/gmp.c  	ZEND_FE(gmp_random_seed,	arginfo_gmp_random_seed)
gmp_random_seed  1784 ext/gmp/gmp.c  ZEND_FUNCTION(gmp_random_seed)
gmp_random_seed    72 ext/gmp/php_gmp.h ZEND_FUNCTION(gmp_random_seed);