import 0x0.LibraAccount;
import 0x0.LibraCoin;

main() {
    let addr: address;
    let ten_coins: R#LibraCoin.T;

    addr = get_txn_sender();
    ten_coins = LibraAccount.withdraw_from_sender(10);
    LibraAccount.deposit(copy(addr), move(ten_coins));
    LibraAccount.deposit(move(addr), move(ten_coins));

    return;
}

// check: VerificationError
// check: MoveLocUnavailableError(9)