> From: Marco Antoniotti <marco.antoniotti@unimib.it>
> Date: Sat, 10 Feb 2024 11:42:56 +0100
> Cc: 69008@debbugs.gnu.org
>
> Hmmmm.
>
> Let me try.  I don't like to intermix declarations and code, but I can see how the compiler may "optimize"
> things.
>
> Yep.  That was it.  You can see the new code in the repo.

OK, thanks.  I'm therefore closing the bug.