Re: [boost] [Root Pointer] Deterministic C++ memory manager (update)