mempool: rename element size variables