Current File : //usr/share/man/man3pool/pool_value_get_double.3pool

.so man3pool/pool_value_alloc.3pool