//# run
main() {
    let v: vector<u64>;
label b0:
    v = vec_pack_0<u64>();
    vec_push_back<u64>(&mut v, 0);
    _ = vec_imm_borrow<u64>(&v, 0);

    return;
}

//# run
main() {
    let v: vector<u64>;
label b0:
    v = vec_pack_1<u64>(42);
    _ = vec_imm_borrow<u64>(&v, 0);

    return;
}

//# run
main() {
    let v: vector<u64>;
label b0:
    v = vec_pack_0<u64>();
    vec_push_back<u64>(&mut v, 0);
    _ = vec_mut_borrow<u64>(&mut v, 0);

    return;
}

//# run
main() {
    let v: vector<u64>;
label b0:
    v = vec_pack_1<u64>(42);
    _ = vec_mut_borrow<u64>(&mut v, 0);

    return;
}

//# run
main() {
    let v: vector<u64>;
label b0:
    v = vec_pack_0<u64>();
    vec_push_back<u64>(&mut v, 0);
    vec_swap<u64>(&mut v, 0, 0);

    return;
}

//# run
main() {
    let v: vector<u64>;
label b0:
    v = vec_pack_1<u64>(42);
    vec_swap<u64>(&mut v, 0, 0);

    return;
}