[boost] Re: Formal review: serialization