//# publish
module 0x42.M {
    struct R { f: bool }
    t0(s: &signer, a: address) {
    label b0:
        (copy(s));
        (R { f: false });
        (move(a));
        // positive stack size
        (move_to<R>());
        return;
    }
}

//# publish
module 0x42.N {
    struct R<T> { f: T }
    t0(s: &signer, a: address) {
    label b0:
        // positive stack size
        move_to<R<bool>>(copy(a), copy(s), copy(a), R<bool> { f: false });
        return;
    }
}