Re: [boost] pool allocation