Re: [boost] Sanitizer bug or undefined behavior in format?