=== run1 ===
rum beacon-mbuf race model (10 s): update_beacon=37070 newstate_replace=22974 freed-in-window UAF WRITES=5 (0.0%)
=== run2 ===
rum beacon-mbuf race model (10 s): update_beacon=37157 newstate_replace=23842 freed-in-window UAF WRITES=2 (0.0%)
=== run3 ===
rum beacon-mbuf race model (10 s): update_beacon=37496 newstate_replace=25222 freed-in-window UAF WRITES=13 (0.0%)