SPRUI04F july 2015 – april 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 4.15.15.