[boost] Re: Formal Review: Circular Buffer