pool: deallocating elements.