<div dir="ltr">Exactly.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Στις Παρ, 31 Ιουλ 2020 στις 2:44 μ.μ., ο/η Florian Hahn <<a href="mailto:florian_hahn@apple.com">florian_hahn@apple.com</a>> έγραψε:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
> On Jul 31, 2020, at 12:34, Stefanos Baziotis <<a href="mailto:stefanos.baziotis@gmail.com" target="_blank">stefanos.baziotis@gmail.com</a>> wrote:<br>
> <br>
> Indeed you're right, thanks! I need a nuw (which I have to invent, with a run-time check, since it doesn't exist in the original but anyway).<br>
> <br>
<br>
Right, I guess in your example, the flags on the add depend on the exact bound of the loop, which is omitted.</blockquote></div>