Re:[boost] Re: Formal review: serialization