//# publish

// struct and struct ref arguments are now allowed
// should abort indicating no verification errors occurred

module 0x42.M {
    struct S { f: u64 }

    public entry foo(s: Self.S, i: &Self.S, m: &mut Self.S) {
        label l0:
        abort 0;
    }
}

//# run --args 0 0 0
import 0x42.M;
main(s: M.S, i: &M.S, m: &mut M.S) {
    label l0:
    abort 0;
}

//# run 0x42::M::foo --args 0 0 0