The text c91ee6b06cec, as Debian 8 (Jessie) shipped it.
deallocate a memory pool
mempool_destroy(9) on Linux now
