import 0x0.LibraCoin;

main() {
    let z: R#LibraCoin.T;
    z = LibraCoin.zero();
    z = LibraCoin.zero();
    return;
}

// check: VerificationError
// check: StLocUnsafeToDestroyError