[boost] Re: david_abraham's lock in CVS