Making progress about deallocating memory