Directorio actual:
//usr/include/php8.2/ext/random
Archivos:
php_random.h
.
..