random_globals_ctor   63 ext/standard/random.c 	ts_allocate_id(&random_globals_id, sizeof(php_random_globals), (ts_allocate_ctor)random_globals_ctor, (ts_allocate_dtor)random_globals_dtor);
random_globals_ctor   65 ext/standard/random.c 	random_globals_ctor(&random_globals);