Re: Re:[boost] Formal review: serialization