//! account: bob, 1000000

import 0x0.LibraAccount;

main() {
    let sender_addr: address;
    let recipient_addr: address;
    let sender_original_balance: u64;
    let recipient_original_balance: u64;
    let sender_new_balance: u64;
    let recipient_new_balance: u64;

    sender_addr = get_txn_sender();
    recipient_addr = {{bob}};
    sender_original_balance = LibraAccount.balance(copy(sender_addr));
    recipient_original_balance = LibraAccount.balance(copy(recipient_addr));
    LibraAccount.pay_from_sender(copy(recipient_addr), 5);

    sender_new_balance = LibraAccount.balance(move(sender_addr));
    recipient_new_balance = LibraAccount.balance(move(recipient_addr));
    assert(copy(sender_new_balance) == copy(sender_original_balance) - 5, 77);
    assert(copy(recipient_new_balance) == copy(recipient_original_balance) + 5, 77);

    return;
}