On 9/7/21 6:12 PM, Christian Biesinger wrote:
> BTW, it seems https://sourceware.org/bugzilla/show_bug.cgi?id=28312
> was filed for this.
> 

Thanks, I've added a Bug tag.

Pushed as attached.  I've rewritten it a bit to avoid introducing a 3rd
printf.

Thanks,
- Tom