script {
    entry fn main() -> slice, !1 {
        local { u64, u64 } __anon_0
        local slice __anon_1
        local slice a
// check: local slice a

        entry():
        v0 = const string<3> "abc"
        v1 = ptr_to_int v0 to u64, !2
        v2 = get_local ptr { u64, u64 }, __anon_0, !2
        v3 = const u64 0
        v4 = get_elem_ptr v2, ptr u64, v3
        store v1 to v4, !2
        
        v5 = const u64 1
        v6 = get_elem_ptr v2, ptr u64, v5
        v7 = const u64 3
        store v7 to v6, !2

        v8 = get_local ptr slice, __anon_1, !2
        mem_copy_bytes v8, v2, 16

        v9 = load v8
        v10 = get_local ptr slice, a, !3
        store v9 to v10, !3
        
        v11 = get_local ptr slice, a, !4
        v12 = load v11
        ret slice v12
    }
}