SPRUI04E July 2015 – January 2023
advice #30010: If you know that this loop will always execute at least <2> times, try adding "#pragma MUST_ITERATE(2)" just before the loop.
See Advice #30009 at Section 5.16.15.