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

    e_imm1 = vec_imm_borrow<u64>(&v, 0);
    e_mut2 = vec_mut_borrow<u64>(&mut v, 1);

    return;
}

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

    e_mut1 = vec_mut_borrow<u64>(&mut v, 0);
    e_imm2 = vec_imm_borrow<u64>(&v, 1);

    return;
}

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

    e_mut1 = vec_mut_borrow<u64>(&mut v, 0);
    e_mut2 = vec_mut_borrow<u64>(&mut v, 1);

    return;
}