php_mt_rand        58 ext/standard/php_rand.h PHPAPI php_uint32 php_mt_rand(TSRMLS_D);
php_mt_rand       341 ext/standard/rand.c 	number = (long) (php_mt_rand(TSRMLS_C) >> 1);