script {
    entry fn main() -> bool {
        local mut u64 state

        entry():
        v0 = get_local ptr u64, state
        v1 = const u64 0
        store v1 to v0
        v2 = get_local ptr u64, state
        v3 = call function_0(v2)
        v4 = get_local ptr u64, state
        v5 = load v4
        v6 = const u64 42
        v7 = cmp eq v5 v6
        v8 = const bool false
        v9 = cmp eq v7 v8
        cbr v9, assert_1_block0(), assert_1_block1()

        assert_1_block0():
        v10 = const u64 18446744073709486084
        revert v10

        assert_1_block1():
        v11 = const bool true
        ret bool v11
    }

    // check: function_0
    fn function_0(state: ptr u64) -> () {
        entry(state: ptr u64):
        v0 = const u64 42
        // check: store
        store v0 to state
        v1 = const unit ()
        // not: add
        v2 = add v0, v0
        ret () v1
    }
}