//# run
main() {
    let v: vector<bool>;
label b0:
    v = vec_pack_0<bool>(true);
    return;
}

//# run
main() {
    let v: vector<bool>;
label b0:
    v = vec_pack_1<bool>();
    return;
}

//# run
main() {
    let v: vector<bool>;
    let x: bool;
label b0:
    v = vec_pack_1<bool>(true);
    x = vec_unpack_2<bool>(move(v));
    return;
}

//# run
main() {
    let v: vector<bool>;
    let x: bool;
label b0:
    v = vec_pack_1<bool>(true);
    x = vec_unpack_0<bool>(move(v));
    return;
}