Re: [Boost-users] custom allocators, pool_alloc release_memory() seems to be broken