.
..
php_random.h
php_random_csprng.h
php_random_uint128.h