//# publish
module 0x1.A {
    import 0x1.signer;
    struct T has key {v: u64}

    public A2(account: &signer) acquires T {
        let sender: address;
        let t: Self.T;
        let t_ref: &mut Self.T;
        let v: u64;
    label b0:
        sender = signer.address_of(move(account));
        t_ref = borrow_global_mut<T>(copy(sender));
        // cannot move_from, still acquired
        T { v: v } = move_from<T>(move(sender));
        _ = move(t_ref);
        return;
    }
}