//# publish
module 0x1.M {
    struct R has key { data: vector<u8> }

    is_ok_(addr: &address, data: &vector<u8>): bool {
    label b0:
        return true;
    }

    public is_ok(addr: address): bool acquires R {
    label b0:
        // correct stack usage
        (&addr);
        (0x1D8);
        (&borrow_global<R>().R::data);
        Self.is_ok_();
        return;
    }

    // ImmBorrowLoc(0),
    // LdConst(1),
    // ImmBorrowGlobal(StructDefinitionIndex(4)),
    // ImmBorrowField(FieldHandleIndex(0)),
    // Call(45),
    // Ret,
}