//# publish
module 0x42.M {
    struct R { f: bool }
    t0(s: &signer) {
    label b0:
        // negative stack size
        (move_to<R>());
        return;
    }
}

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