[boost] Re: circular_buffer question