Re: [boost] [pool] pool-based allocators and order of destruction