Directorio actual:
//kunden/usr/include/php8.1/ext/gmp
Archivos:
.
..
php_gmp_int.h