RE: [boost] Formal Review: Circular Buffer