[boost] Re: Formal Review: Circular Buffer (some notes)