// File: yasz24[P]eau2/tests/testSerialize.cpp
// Function: testDistributedDoubleColumn()
void testDistributedDoubleColumn() {
    Sys* system = new Sys();
    NetworkIP network;
    KVStore* kvs1 = new KVStore(1, 0, &network);
    DistributedDoubleColumn* dfc = new DistributedDoubleColumn(kvs1);
    for(int i = 0; i < 40; i++) {
        dfc->push_back(i);
    }
    char* serialized = dfc->serialize();
    //std::cout << serialized << "\n";   
    DistributedDoubleColumn* fda2 = new DistributedDoubleColumn(serialized, kvs1);
    String* s = new String(serialized);
    char* serial = fda2->serialize();
    String* s2 = new String(fda2->serialize());
    system->t_true(s2->equals(s));
    //std::cout << "here\n";
    // for(int i = 0; i < 10; i++) {
    //     system->t_true(dfc->get(i) == i);
    // }
    system->OK("Passed DistributedDoubleColumn");
    delete [] system;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x100, %rsp            # imm = 0x100
movl $0x1, %edi
callq 0x7250
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0xa8(%rbp)
callq 0xcd20
jmp 0xaea9
movq -0xa8(%rbp), %rax
movq %rax, -0x8(%rbp)
leaq -0x60(%rbp), %rdi
callq 0xc820
movl $0x118, %edi            # imm = 0x118
callq 0x7250
movq %rax, -0xb0(%rbp)
jmp 0xaed0
movq -0xb0(%rbp), %rdi
xorl %eax, %eax
movl %eax, %edx
movl $0x1, %esi
leaq -0x60(%rbp), %rcx
callq 0xc870
jmp 0xaeeb
movq -0xb0(%rbp), %rax
movq %rax, -0x68(%rbp)
movl $0x20, %edi
callq 0x7250
movq %rax, -0xb8(%rbp)
jmp 0xaf09
movq -0xb8(%rbp), %rdi
movq -0x68(%rbp), %rsi
callq 0x13b20
jmp 0xaf1b
movq -0xb8(%rbp), %rax
movq %rax, -0x70(%rbp)
movl $0x0, -0x74(%rbp)
cmpl $0x28, -0x74(%rbp)
jge 0xafc1
movq -0x70(%rbp), %rdi
movl -0x74(%rbp), %esi
movq (%rdi), %rax
movq 0x98(%rax), %rax
callq *%rax
jmp 0xaf4c
jmp 0xaf4e
movl -0x74(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x74(%rbp)
jmp 0xaf2d
movq -0xa8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
callq 0x7220
jmp 0xb19c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
jmp 0xb193
movq -0xb0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
callq 0x7220
jmp 0xb193
movq -0xb8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
callq 0x7220
jmp 0xb193
movq -0x70(%rbp), %rdi
movq (%rdi), %rax
movq 0x38(%rax), %rax
callq *%rax
movq %rax, -0xc0(%rbp)
jmp 0xafd7
movq -0xc0(%rbp), %rax
movq %rax, -0x80(%rbp)
movl $0x20, %edi
callq 0x7250
movq %rax, -0xc8(%rbp)
jmp 0xaff5
movq -0xc8(%rbp), %rdi
movq -0x80(%rbp), %rsi
movq -0x68(%rbp), %rdx
callq 0x13bc0
jmp 0xb00b
movq -0xc8(%rbp), %rax
movq %rax, -0x88(%rbp)
movl $0x20, %edi
callq 0x7250
movq %rax, -0xd0(%rbp)
jmp 0xb02c
movq -0xd0(%rbp), %rdi
movq -0x80(%rbp), %rsi
callq 0xcce0
jmp 0xb03e
movq -0xd0(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq 0x38(%rax), %rax
callq *%rax
movq %rax, -0xd8(%rbp)
jmp 0xb065
movq -0xd8(%rbp), %rax
movq %rax, -0x98(%rbp)
movl $0x20, %edi
callq 0x7250
movq %rax, -0xe0(%rbp)
jmp 0xb086
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq 0x38(%rax), %rax
callq *%rax
movq %rax, -0xe8(%rbp)
jmp 0xb09f
movq -0xe8(%rbp), %rsi
movq -0xe0(%rbp), %rdi
callq 0xcce0
jmp 0xb0b4
movq -0xe0(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xf8(%rbp)
movq -0xa0(%rbp), %rdi
movq -0x90(%rbp), %rsi
movq (%rdi), %rax
movq 0x18(%rax), %rax
callq *%rax
movb %al, -0xe9(%rbp)
jmp 0xb0ec
movq -0xf8(%rbp), %rdi
movb -0xe9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
callq 0xcd30
jmp 0xb106
movq -0x8(%rbp), %rdi
leaq 0x24393(%rip), %rsi     # 0x2f4a4
callq 0xcd70
jmp 0xb118
movq -0x8(%rbp), %rax
movq %rax, -0x100(%rbp)
cmpq $0x0, %rax
je 0xb135
movq -0x100(%rbp), %rdi
callq 0x72b0
leaq -0x60(%rbp), %rdi
callq 0xcbe0
addq $0x100, %rsp            # imm = 0x100
popq %rbp
retq
movq -0xc8(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
callq 0x7220
jmp 0xb193
movq -0xd0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
callq 0x7220
jmp 0xb193
movq -0xe0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x10(%rbp)
movl %eax, -0x14(%rbp)
callq 0x7220
leaq -0x60(%rbp), %rdi
callq 0xcbe0
movq -0x10(%rbp), %rdi
callq 0x7370
nopw %cs:(%rax,%rax)