php_mt_reload     199 ext/standard/rand.c 	php_mt_reload();
php_mt_reload     216 ext/standard/rand.c 		php_mt_reload();