[boost] Re: Serialization. Pointer to constant object.