Add p_mempool_delete.