[Boost-announce] Formal Review: Circular Buffer