The text 9acdc036f36a, as Debian 4.0 (Etch) shipped it.
deallocate a memory pool
mempool_destroy(9) on Linux now
