256 branch payload reads a store column

✓ Passing This code compiles and runs correctly.

Code

input.k

Actual

7

Expected output

7

Flows

flow ~new click a branch to expand · @labels scroll to their anchor
new (expr: s, capacity: 1, source: n: 7[i64])
subflow ~pick click a branch to expand · @labels scroll to their anchor
if (s.n > 0)
flow ~pick click a branch to expand · @labels scroll to their anchor
pick

Test Configuration

MUST_RUN