---
source: crates/assembly/src/tests.rs
expression: program
---
begin
    basic_block
        push(2147483648)
        push(4294967294)
        mstore
        drop
        pad
        u32assert2(0)
        drop
        pad
        u32assert2(15491226248792286710)
        drop
        pad
        u32assert2(15491226248792286710)
        drop
    end
end
