Re: [boost] [pool] Doubling algorithm