To reproduce: 1. Checkout https://github.com/WiktorStarczewski/miden-arena/pull/7 2. Run ``` cd combat-test-broken && cargo miden build --release miden vm run target/miden/release/combat_test_broken.masp # → 80075002 (wrong) ```