//! account: Alice, 1000000 //! account: Bob, 1000000 import 0x0.LibraAccount; import 0x0.LibraCoin; main() { let coins: R#LibraCoin.T; coins = LibraAccount.withdraw_from_sender(42); LibraAccount.deposit({{bob}}, move(coins)); return; }