[Boost-users] Re: [pool] Speed of pool_allocator<>