// File: /workspace/github_cpp_makefile_star2_O1/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movl $0x1, %edi
callq 0x7200
movq %rax, -0x30(%rbp)
xorl %eax, %eax
movq %rax, -0x80(%rbp)
leaq 0x219f1(%rip), %rcx     # 0x2b548
movq %rcx, -0x88(%rbp)
movq $0x1, -0x70(%rbp)
movq %rax, -0x68(%rbp)
movq %rax, -0x48(%rbp)
movl $0x118, %edi            # imm = 0x118
callq 0x7200
movq %rax, %r14
leaq -0x88(%rbp), %rcx
movl $0x1, %esi
movq %rax, %rdi
xorl %edx, %edx
callq 0xad26
movl $0x20, %edi
callq 0x7200
movq %rax, %r15
movq %rax, %rdi
movq %r14, %rsi
callq 0x100da
xorl %r12d, %r12d
movq (%r15), %rax
movq %r15, %rdi
movl %r12d, %esi
callq *0x98(%rax)
incl %r12d
cmpl $0x28, %r12d
jne 0x9bac
movq (%r15), %rax
movq %r15, %rdi
callq *0x38(%rax)
movq %rax, %rbx
movl $0x20, %edi
callq 0x7200
movq %rax, %r15
movq %rax, %rdi
movq %rbx, %rsi
movq %r14, %rdx
callq 0x1013a
movl $0x20, %edi
callq 0x7200
movq %rax, %r14
movq %rbx, %rdi
callq 0x70f0
movq %rax, %r13
movq $0x0, 0x8(%r14)
leaq 0x21866(%rip), %rax     # 0x2b478
movq %rax, (%r14)
movq %r13, 0x10(%r14)
movq %rbx, -0x40(%rbp)
leaq 0x1(%r13), %rbx
movq %rbx, %rdi
callq 0x7030
movq %rax, %r12
movq %r14, -0x38(%rbp)
movq %rax, 0x18(%r14)
movq %rax, %rdi
movq -0x40(%rbp), %rsi
movq %rbx, %rdx
callq 0x7180
movb $0x0, (%r12,%r13)
movq (%r15), %rax
movq %r15, %rdi
callq *0x38(%rax)
movl $0x20, %edi
callq 0x7200
movq %rax, %r12
movq (%r15), %rax
movq %r15, %rdi
callq *0x38(%rax)
movq %rax, %r15
movq %rax, %rdi
callq 0x70f0
movq %rax, %r13
movq $0x0, 0x8(%r12)
leaq 0x217f3(%rip), %rax     # 0x2b478
movq %rax, (%r12)
movq %r13, 0x10(%r12)
leaq 0x1(%r13), %rbx
movq %rbx, %rdi
callq 0x7030
movq %rax, %r14
movq %rax, 0x18(%r12)
movq %rax, %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x7180
movb $0x0, (%r14,%r13)
movq %r12, %rdi
movq -0x38(%rbp), %rsi
callq 0x1149c
testb %al, %al
je 0x9d03
leaq 0x16768(%rip), %rsi     # 0x20434
movq -0x30(%rbp), %rdi
callq 0x127ec
movq -0x30(%rbp), %rdi
callq 0x7270
leaq 0x21863(%rip), %rax     # 0x2b548
movq %rax, -0x88(%rbp)
movl -0x60(%rbp), %edi
callq 0x7370
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x169d4(%rip), %rsi     # 0x206de
movq -0x30(%rbp), %rdi
callq 0x127ec
movl $0x1, %edi
callq 0x7260
jmp 0x9d6f
jmp 0x9d4e
jmp 0x9d35
jmp 0x9d4e
jmp 0x9d2b
jmp 0x9d4e
jmp 0x9d4e
movq %rax, %rbx
movq %r15, %rdi
jmp 0x9d45
jmp 0x9d4e
movq %rax, %rbx
movq %r14, %rdi
jmp 0x9d45
jmp 0x9d4e
movq %rax, %rbx
movq %r12, %rdi
callq 0x71d0
jmp 0x9d51
jmp 0x9d4e
movq %rax, %rbx
leaq 0x217f0(%rip), %rax     # 0x2b548
movq %rax, -0x88(%rbp)
movl -0x60(%rbp), %edi
callq 0x7370
movq %rbx, %rdi
callq 0x7350
movq %rax, %rdi
callq 0x115b8