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