script {
// check: fn main
    fn main() -> () {
        local b256 addr_a = const b256 0x1111111111111111111111111111111111111111111111111111111111111111
        local b256 addr_b

        entry():
        v0 = get_local ptr b256, addr_a
        v1 = get_local ptr b256, addr_b
        mem_copy_val v1, v0
        v0 = const unit ()
        ret () v0
    }
}