Balance

import 0x0.LibraAccount;

main(){
    let addr: address;
    let struct1_balance: u64;
    addr = get_txn_sender();
    struct1_balance = LibraAccount.balance(copy(addr))
    assert(copy(struct1_balance) > 10, 77);

    return;
}