df3333: loaded
df3333: choreography start (target hwcur>lim with hwavail<lim)
df3333: after 4194302 pairs: hwcur=2048 hwavail=0 (0x0)  <-- hwcur OUT OF RANGE
df3333: transmit used slot index 1024 (lim = 1023)  <-- OUT OF BOUNDS
df3333: RESULT OOB WRITE CONFIRMED at slot[1024] (1 slots past end of ring)  [VULNERABLE]
df3333: unloaded
df3333: loaded
df3333: choreography start (target hwcur>lim with hwavail<lim)
df3333: after 4194302 pairs: hwcur=2048 hwavail=0 (0x0)  <-- hwcur OUT OF RANGE
df3333: transmit used slot index 0 (lim = 1023)
df3333: RESULT no write past ring end (pos=0)  [FIXED]