mempool.c revision b72b92d12bde9ca5f325a232babd74c6babef42f