import 0x0.LibraCoin;

main() {
    let z: R#LibraCoin.T;
    z = LibraCoin.zero();
    // z is allowed to be unused
    abort 0;
}

// not: VerificationError

// check: Aborted(0)