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