php_mt_srand       57 ext/standard/php_rand.h PHPAPI void php_mt_srand(php_uint32 seed TSRMLS_DC);
php_mt_srand      265 ext/standard/rand.c 	php_mt_srand(seed TSRMLS_CC);
php_mt_srand      330 ext/standard/rand.c 		php_mt_srand(GENERATE_SEED() TSRMLS_CC);