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

    return;
}

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

    return;
}