Directorio actual:
//usr/include/php7.3/ext/gmp
Archivos:
.
..
php_gmp_int.h