Re: [boost] Formal Review: Circular Buffer