random_globals_dtor   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_dtor   76 ext/standard/random.c 	random_globals_dtor(&random_globals);