gmp_version       708 ext/gmp/gmp.c  	REGISTER_STRING_CONSTANT("GMP_VERSION", (char *)gmp_version, CONST_CS | CONST_PERSISTENT);
gmp_version       742 ext/gmp/gmp.c  	php_info_print_table_row(2, "GMP version", gmp_version);