Thank you!

Yep.  Close the bug.

MA


On Sat, Feb 10, 2024 at 11:58 AM Eli Zaretskii <eliz@gnu.org> wrote:

> > 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.
>