//# publish
module 0x42.Test {
    struct T { i: u64, b: bool }

    public new_t(): Self.T {
    label b0:
        return T { i: 0, b: false };
    }

    public unpack_t(t: Self.T) {
        let i: u64;
        let flag: bool;
    label b0:
        T { i, b: flag } = move(t);
        return;
    }

}

//# run
import 0x42.Test;
main() {
    let t: Test.T;
label b0:
    t = Test.new_t();
    Test.unpack_t(move(t));

    return;
}