---
source: crates/assembly/src/tests.rs
assertion_line: 1638
expression: program
---
begin
    join
        join
            basic_block
                push(2147483648)
                push(4294967294)
                mstore
                drop
                noop
                trace(0)
                trace(1)
            end
            asmOp(if.true, 0)
            if.true
                basic_block trace(2) asmOp(add, 1) add trace(3) end
            else
                basic_block trace(4) asmOp(mul, 1) mul trace(5) end
            end
        end
        trace(6) asmOp(if.true, 0)
        if.true
            basic_block trace(7) asmOp(push.42, 1) push(42) noop trace(8) end
        else
            basic_block trace(9) asmOp(push.22, 1) push(22) noop trace(10) end
        end
    end
    trace(11)
end
