php_rand_r         71 ext/standard/rand.c 	ret = php_rand_r(&BG(rand_seed));
php_rand_r        114 main/php_reentrancy.h PHPAPI int php_rand_r(unsigned int *seed);