Re: [Boost-users] Memory manager/allocator