import 0x0.LibraAccount;
main() {
    let transaction_sequence_number: u64;
    let sender: address;
    let new_sequence_number: u64;

    transaction_sequence_number = get_txn_sequence_number();

    assert(copy(transaction_sequence_number) == 0, 42);

    sender = get_txn_sender();
    new_sequence_number = LibraAccount.sequence_number(move(sender));

    assert(copy(new_sequence_number) == copy(transaction_sequence_number), 42);

    return;
}