// File: /workspace/github_c_makefile_star2_O0/wjmelements[P]evm/tst/evm.c
// Function: test_log
void test_log() {
    evmInit();

    // 6e66363d3d37363df33d5260076019f35f52595fa05a595fa15a5a595fa25a5a5a595fa35a5a5a5a595fa4600f6011f3
    op_t logTest[] = {
        PUSH15, 0x66, 0x36, 0x3d, 0x3d, 0x37, 0x36, 0x3d, 0xf3, 0x3d, 0x52, 0x60, 0x07, 0x60, 0x19, 0xf3, PUSH0, MSTORE,
        MSIZE, PUSH0, LOG0,
        GAS, MSIZE, PUSH0, LOG1,
        GAS, GAS, MSIZE, PUSH0, LOG2,
        GAS, GAS, GAS, MSIZE, PUSH0, LOG3,
        GAS, GAS, GAS, GAS, MSIZE, PUSH0, LOG4,
        PUSH1, 15, PUSH1, 17, RETURN
    };

    address_t from = AddressFromHex42("0x4a6f6B9fF1fc974096f9063a45Fd12bD5B928AD1");
    uint64_t gas = 0xf8f6;
    val_t value;
    value[0] = 0;
    value[1] = 0;
    value[2] = 0;
    data_t input;

    input.size = sizeof(logTest);
    input.content = logTest;

    result_t result = txCreate(from, gas, value, input);
    assert(UPPER(UPPER(result.status)) == 0);
    assert(LOWER(UPPER(result.status)) == 0x80d9b122);
    assert(UPPER(LOWER(result.status)) == 0xdc3a16fdc41f96cf);
    assert(LOWER(LOWER(result.status)) == 0x010ffe7e38d227c3);

    assert(result.stateChanges != NULL);
    stateChanges_t *stateChanges = result.stateChanges;
    assert(stateChanges->logChanges != NULL);

    logChanges_t *log4 = stateChanges->logChanges;
    assert(log4->topicCount == 4);
    assert(log4->prev != NULL);
    assert(log4->data.size == 32);
    assert(memcmp(log4->data.content + 17, logTest + 1, 15) == 0);
    assert(UPPER(UPPER(log4->topics[0])) == 0);
    assert(LOWER(UPPER(log4->topics[0])) == 0);
    assert(UPPER(LOWER(log4->topics[0])) == 0);
    assert(LOWER(LOWER(log4->topics[0])) == 0x141b);
    assert(UPPER(UPPER(log4->topics[1])) == 0);
    assert(LOWER(UPPER(log4->topics[1])) == 0);
    assert(UPPER(LOWER(log4->topics[1])) == 0);
    assert(LOWER(LOWER(log4->topics[1])) == 0x1419);
    assert(UPPER(UPPER(log4->topics[2])) == 0);
    assert(LOWER(UPPER(log4->topics[2])) == 0);
    assert(UPPER(LOWER(log4->topics[2])) == 0);
    assert(LOWER(LOWER(log4->topics[2])) == 0x1417);
    assert(UPPER(UPPER(log4->topics[3])) == 0);
    assert(LOWER(UPPER(log4->topics[3])) == 0);
    assert(UPPER(LOWER(log4->topics[3])) == 0);
    assert(LOWER(LOWER(log4->topics[3])) == 0x1415);

    logChanges_t *log3 = log4->prev;
    assert(log3->topicCount == 3);
    assert(log3->prev != NULL);
    assert(log3->data.size == 32);
    assert(memcmp(log3->data.content + 17, logTest + 1, 15) == 0);
    assert(UPPER(UPPER(log3->topics[0])) == 0);
    assert(LOWER(UPPER(log3->topics[0])) == 0);
    assert(UPPER(LOWER(log3->topics[0])) == 0);
    assert(LOWER(LOWER(log3->topics[0])) == 0x1b01);
    assert(UPPER(UPPER(log3->topics[1])) == 0);
    assert(LOWER(UPPER(log3->topics[1])) == 0);
    assert(UPPER(LOWER(log3->topics[1])) == 0);
    assert(LOWER(LOWER(log3->topics[1])) == 0x1aff);
    assert(UPPER(UPPER(log3->topics[2])) == 0);
    assert(LOWER(UPPER(log3->topics[2])) == 0);
    assert(UPPER(LOWER(log3->topics[2])) == 0);
    assert(LOWER(LOWER(log3->topics[2])) == 0x1afd);

    logChanges_t *log2 = log3->prev;
    assert(log2->topicCount == 2);
    assert(log2->prev != NULL);
    assert(log2->data.size == 32);
    assert(memcmp(log2->data.content + 17, logTest + 1, 15) == 0);
    assert(UPPER(UPPER(log2->topics[0])) == 0);
    assert(LOWER(UPPER(log2->topics[0])) == 0);
    assert(UPPER(LOWER(log2->topics[0])) == 0);
    assert(LOWER(LOWER(log2->topics[0])) == 0x206e);
    assert(UPPER(UPPER(log2->topics[1])) == 0);
    assert(LOWER(UPPER(log2->topics[1])) == 0);
    assert(UPPER(LOWER(log2->topics[1])) == 0);
    assert(LOWER(LOWER(log2->topics[1])) == 0x206c);

    logChanges_t *log1 = log2->prev;
    assert(log1->topicCount == 1);
    assert(log1->prev != NULL);
    assert(log1->data.size == 32);
    assert(memcmp(log1->data.content + 17, logTest + 1, 15) == 0);
    assert(UPPER(UPPER(log1->topics[0])) == 0);
    assert(LOWER(UPPER(log1->topics[0])) == 0);
    assert(UPPER(LOWER(log1->topics[0])) == 0);
    assert(LOWER(LOWER(log1->topics[0])) == 0x2462);

    logChanges_t *log0 = log1->prev;
    assert(log0->topicCount == 0);
    assert(log0->prev == NULL);
    assert(log0->topics == NULL);
    assert(log0->data.size == 32);
    assert(memcmp(log0->data.content + 17, logTest + 1, 15) == 0);

    assert(result.gasRemaining == 0);

    evmFinalize();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x100, %rsp            # imm = 0x100
movb $0x0, %al
callq 0xcfc0
leaq -0x30(%rbp), %rdi
leaq 0x16f33(%rip), %rsi     # 0x1f670
movl $0x30, %edx
callq 0x30c0
leaq -0x48(%rbp), %rdi
leaq 0x128b2(%rip), %rsi     # 0x1b004
addq $0x2, %rsi
callq 0x3380
movq $0xf8f6, -0x50(%rbp)    # imm = 0xF8F6
movl $0x0, -0x5c(%rbp)
movl $0x0, -0x58(%rbp)
movl $0x0, -0x54(%rbp)
movq $0x30, -0x70(%rbp)
leaq -0x30(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x50(%rbp), %rsi
leaq -0x5c(%rbp), %rdx
movq -0x70(%rbp), %rcx
movq -0x68(%rbp), %r8
leaq -0xb0(%rbp), %rdi
leaq -0x48(%rbp), %rax
movq (%rax), %r9
movq %r9, (%rsp)
movq 0x8(%rax), %r9
movq %r9, 0x8(%rsp)
movl 0x10(%rax), %eax
movl %eax, 0x10(%rsp)
callq 0xe270
cmpq $0x0, -0xa0(%rbp)
jne 0x87cb
jmp 0x87ea
leaq 0x1285d(%rip), %rdi     # 0x1b02f
leaq 0x12877(%rip), %rsi     # 0x1b050
movl $0x5fc, %edx            # imm = 0x5FC
leaq 0x13f5c(%rip), %rcx     # 0x1c741
callq 0x3040
movl $0x80d9b122, %eax       # imm = 0x80D9B122
cmpq %rax, -0x98(%rbp)
jne 0x87fa
jmp 0x8819
leaq 0x1286a(%rip), %rdi     # 0x1b06b
leaq 0x12848(%rip), %rsi     # 0x1b050
movl $0x5fd, %edx            # imm = 0x5FD
leaq 0x13f2d(%rip), %rcx     # 0x1c741
callq 0x3040
movabsq $-0x23c5e9023be06931, %rax # imm = 0xDC3A16FDC41F96CF
cmpq %rax, -0x90(%rbp)
jne 0x882e
jmp 0x884d
leaq 0x12860(%rip), %rdi     # 0x1b095
leaq 0x12814(%rip), %rsi     # 0x1b050
movl $0x5fe, %edx            # imm = 0x5FE
leaq 0x13ef9(%rip), %rcx     # 0x1c741
callq 0x3040
movabsq $0x10ffe7e38d227c3, %rax # imm = 0x10FFE7E38D227C3
cmpq %rax, -0x88(%rbp)
jne 0x8862
jmp 0x8881
leaq 0x1285e(%rip), %rdi     # 0x1b0c7
leaq 0x127e0(%rip), %rsi     # 0x1b050
movl $0x5ff, %edx            # imm = 0x5FF
leaq 0x13ec5(%rip), %rcx     # 0x1c741
callq 0x3040
cmpq $0x0, -0x78(%rbp)
je 0x888a
jmp 0x88a9
leaq 0x13ec0(%rip), %rdi     # 0x1c751
leaq 0x127b8(%rip), %rsi     # 0x1b050
movl $0x601, %edx            # imm = 0x601
leaq 0x13e9d(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0x78(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
cmpq $0x0, 0x18(%rax)
je 0x88c4
jmp 0x88e3
leaq 0x13ea2(%rip), %rdi     # 0x1c76d
leaq 0x1277e(%rip), %rsi     # 0x1b050
movl $0x603, %edx            # imm = 0x603
leaq 0x13e63(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xb8(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rax
movzbl 0x8(%rax), %eax
cmpl $0x4, %eax
jne 0x8907
jmp 0x8926
leaq 0x13e80(%rip), %rdi     # 0x1c78e
leaq 0x1273b(%rip), %rsi     # 0x1b050
movl $0x606, %edx            # imm = 0x606
leaq 0x13e20(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
cmpq $0x0, 0x20(%rax)
je 0x8936
jmp 0x8955
leaq 0x13e67(%rip), %rdi     # 0x1c7a4
leaq 0x1270c(%rip), %rsi     # 0x1b050
movl $0x607, %edx            # imm = 0x607
leaq 0x13df1(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
cmpq $0x20, 0x10(%rax)
jne 0x8965
jmp 0x8984
leaq 0x13e4b(%rip), %rdi     # 0x1c7b7
leaq 0x126dd(%rip), %rsi     # 0x1b050
movl $0x608, %edx            # imm = 0x608
leaq 0x13dc2(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq 0x18(%rax), %rdi
addq $0x11, %rdi
leaq -0x30(%rbp), %rsi
addq $0x1, %rsi
movl $0xf, %edx
callq 0x3090
cmpl $0x0, %eax
jne 0x89ac
jmp 0x89cb
leaq 0x13e1a(%rip), %rdi     # 0x1c7cd
leaq 0x12696(%rip), %rsi     # 0x1b050
movl $0x609, %edx            # imm = 0x609
leaq 0x13d7b(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, (%rax)
jne 0x89dd
jmp 0x89fc
leaq 0x13e1f(%rip), %rdi     # 0x1c803
leaq 0x12665(%rip), %rsi     # 0x1b050
movl $0x60a, %edx            # imm = 0x60A
leaq 0x13d4a(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x8(%rax)
jne 0x8a0f
jmp 0x8a2e
leaq 0x13e10(%rip), %rdi     # 0x1c826
leaq 0x12633(%rip), %rsi     # 0x1b050
movl $0x60b, %edx            # imm = 0x60B
leaq 0x13d18(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x10(%rax)
jne 0x8a41
jmp 0x8a60
leaq 0x13e01(%rip), %rdi     # 0x1c849
leaq 0x12601(%rip), %rsi     # 0x1b050
movl $0x60c, %edx            # imm = 0x60C
leaq 0x13ce6(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x141b, 0x18(%rax)     # imm = 0x141B
jne 0x8a76
jmp 0x8a95
leaq 0x13def(%rip), %rdi     # 0x1c86c
leaq 0x125cc(%rip), %rsi     # 0x1b050
movl $0x60d, %edx            # imm = 0x60D
leaq 0x13cb1(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x20(%rax)
jne 0x8aa8
jmp 0x8ac7
leaq 0x13de5(%rip), %rdi     # 0x1c894
leaq 0x1259a(%rip), %rsi     # 0x1b050
movl $0x60e, %edx            # imm = 0x60E
leaq 0x13c7f(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x28(%rax)
jne 0x8ada
jmp 0x8af9
leaq 0x13dd6(%rip), %rdi     # 0x1c8b7
leaq 0x12568(%rip), %rsi     # 0x1b050
movl $0x60f, %edx            # imm = 0x60F
leaq 0x13c4d(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x30(%rax)
jne 0x8b0c
jmp 0x8b2b
leaq 0x13dc7(%rip), %rdi     # 0x1c8da
leaq 0x12536(%rip), %rsi     # 0x1b050
movl $0x610, %edx            # imm = 0x610
leaq 0x13c1b(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x1419, 0x38(%rax)     # imm = 0x1419
jne 0x8b41
jmp 0x8b60
leaq 0x13db5(%rip), %rdi     # 0x1c8fd
leaq 0x12501(%rip), %rsi     # 0x1b050
movl $0x611, %edx            # imm = 0x611
leaq 0x13be6(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x40(%rax)
jne 0x8b73
jmp 0x8b92
leaq 0x13dab(%rip), %rdi     # 0x1c925
leaq 0x124cf(%rip), %rsi     # 0x1b050
movl $0x612, %edx            # imm = 0x612
leaq 0x13bb4(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x48(%rax)
jne 0x8ba5
jmp 0x8bc4
leaq 0x13d9c(%rip), %rdi     # 0x1c948
leaq 0x1249d(%rip), %rsi     # 0x1b050
movl $0x613, %edx            # imm = 0x613
leaq 0x13b82(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x50(%rax)
jne 0x8bd7
jmp 0x8bf6
leaq 0x13d8d(%rip), %rdi     # 0x1c96b
leaq 0x1246b(%rip), %rsi     # 0x1b050
movl $0x614, %edx            # imm = 0x614
leaq 0x13b50(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x1417, 0x58(%rax)     # imm = 0x1417
jne 0x8c0c
jmp 0x8c2b
leaq 0x13d7b(%rip), %rdi     # 0x1c98e
leaq 0x12436(%rip), %rsi     # 0x1b050
movl $0x615, %edx            # imm = 0x615
leaq 0x13b1b(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x60(%rax)
jne 0x8c3e
jmp 0x8c5d
leaq 0x13d71(%rip), %rdi     # 0x1c9b6
leaq 0x12404(%rip), %rsi     # 0x1b050
movl $0x616, %edx            # imm = 0x616
leaq 0x13ae9(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x68(%rax)
jne 0x8c70
jmp 0x8c8f
leaq 0x13d62(%rip), %rdi     # 0x1c9d9
leaq 0x123d2(%rip), %rsi     # 0x1b050
movl $0x617, %edx            # imm = 0x617
leaq 0x13ab7(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x70(%rax)
jne 0x8ca2
jmp 0x8cc1
leaq 0x13d53(%rip), %rdi     # 0x1c9fc
leaq 0x123a0(%rip), %rsi     # 0x1b050
movl $0x618, %edx            # imm = 0x618
leaq 0x13a85(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq (%rax), %rax
cmpq $0x1415, 0x78(%rax)     # imm = 0x1415
jne 0x8cd7
jmp 0x8cf6
leaq 0x13d41(%rip), %rdi     # 0x1ca1f
leaq 0x1236b(%rip), %rsi     # 0x1b050
movl $0x619, %edx            # imm = 0x619
leaq 0x13a50(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc0(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0xc8(%rbp)
movq -0xc8(%rbp), %rax
movzbl 0x8(%rax), %eax
cmpl $0x3, %eax
jne 0x8d1a
jmp 0x8d39
leaq 0x13d26(%rip), %rdi     # 0x1ca47
leaq 0x12328(%rip), %rsi     # 0x1b050
movl $0x61c, %edx            # imm = 0x61C
leaq 0x13a0d(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
cmpq $0x0, 0x20(%rax)
je 0x8d49
jmp 0x8d68
leaq 0x13d0d(%rip), %rdi     # 0x1ca5d
leaq 0x122f9(%rip), %rsi     # 0x1b050
movl $0x61d, %edx            # imm = 0x61D
leaq 0x139de(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
cmpq $0x20, 0x10(%rax)
jne 0x8d78
jmp 0x8d97
leaq 0x13cf1(%rip), %rdi     # 0x1ca70
leaq 0x122ca(%rip), %rsi     # 0x1b050
movl $0x61e, %edx            # imm = 0x61E
leaq 0x139af(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq 0x18(%rax), %rdi
addq $0x11, %rdi
leaq -0x30(%rbp), %rsi
addq $0x1, %rsi
movl $0xf, %edx
callq 0x3090
cmpl $0x0, %eax
jne 0x8dbf
jmp 0x8dde
leaq 0x13cc0(%rip), %rdi     # 0x1ca86
leaq 0x12283(%rip), %rsi     # 0x1b050
movl $0x61f, %edx            # imm = 0x61F
leaq 0x13968(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, (%rax)
jne 0x8df0
jmp 0x8e0f
leaq 0x13cc5(%rip), %rdi     # 0x1cabc
leaq 0x12252(%rip), %rsi     # 0x1b050
movl $0x620, %edx            # imm = 0x620
leaq 0x13937(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x8(%rax)
jne 0x8e22
jmp 0x8e41
leaq 0x13cb6(%rip), %rdi     # 0x1cadf
leaq 0x12220(%rip), %rsi     # 0x1b050
movl $0x621, %edx            # imm = 0x621
leaq 0x13905(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x10(%rax)
jne 0x8e54
jmp 0x8e73
leaq 0x13ca7(%rip), %rdi     # 0x1cb02
leaq 0x121ee(%rip), %rsi     # 0x1b050
movl $0x622, %edx            # imm = 0x622
leaq 0x138d3(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq (%rax), %rax
cmpq $0x1b01, 0x18(%rax)     # imm = 0x1B01
jne 0x8e89
jmp 0x8ea8
leaq 0x13c95(%rip), %rdi     # 0x1cb25
leaq 0x121b9(%rip), %rsi     # 0x1b050
movl $0x623, %edx            # imm = 0x623
leaq 0x1389e(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x20(%rax)
jne 0x8ebb
jmp 0x8eda
leaq 0x13c8b(%rip), %rdi     # 0x1cb4d
leaq 0x12187(%rip), %rsi     # 0x1b050
movl $0x624, %edx            # imm = 0x624
leaq 0x1386c(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x28(%rax)
jne 0x8eed
jmp 0x8f0c
leaq 0x13c7c(%rip), %rdi     # 0x1cb70
leaq 0x12155(%rip), %rsi     # 0x1b050
movl $0x625, %edx            # imm = 0x625
leaq 0x1383a(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x30(%rax)
jne 0x8f1f
jmp 0x8f3e
leaq 0x13c6d(%rip), %rdi     # 0x1cb93
leaq 0x12123(%rip), %rsi     # 0x1b050
movl $0x626, %edx            # imm = 0x626
leaq 0x13808(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq (%rax), %rax
cmpq $0x1aff, 0x38(%rax)     # imm = 0x1AFF
jne 0x8f54
jmp 0x8f73
leaq 0x13c5b(%rip), %rdi     # 0x1cbb6
leaq 0x120ee(%rip), %rsi     # 0x1b050
movl $0x627, %edx            # imm = 0x627
leaq 0x137d3(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x40(%rax)
jne 0x8f86
jmp 0x8fa5
leaq 0x13c51(%rip), %rdi     # 0x1cbde
leaq 0x120bc(%rip), %rsi     # 0x1b050
movl $0x628, %edx            # imm = 0x628
leaq 0x137a1(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x48(%rax)
jne 0x8fb8
jmp 0x8fd7
leaq 0x13c42(%rip), %rdi     # 0x1cc01
leaq 0x1208a(%rip), %rsi     # 0x1b050
movl $0x629, %edx            # imm = 0x629
leaq 0x1376f(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x50(%rax)
jne 0x8fea
jmp 0x9009
leaq 0x13c33(%rip), %rdi     # 0x1cc24
leaq 0x12058(%rip), %rsi     # 0x1b050
movl $0x62a, %edx            # imm = 0x62A
leaq 0x1373d(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq (%rax), %rax
cmpq $0x1afd, 0x58(%rax)     # imm = 0x1AFD
jne 0x901f
jmp 0x903e
leaq 0x13c21(%rip), %rdi     # 0x1cc47
leaq 0x12023(%rip), %rsi     # 0x1b050
movl $0x62b, %edx            # imm = 0x62B
leaq 0x13708(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xc8(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0xd0(%rbp)
movq -0xd0(%rbp), %rax
movzbl 0x8(%rax), %eax
cmpl $0x2, %eax
jne 0x9062
jmp 0x9081
leaq 0x13c06(%rip), %rdi     # 0x1cc6f
leaq 0x11fe0(%rip), %rsi     # 0x1b050
movl $0x62e, %edx            # imm = 0x62E
leaq 0x136c5(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd0(%rbp), %rax
cmpq $0x0, 0x20(%rax)
je 0x9091
jmp 0x90b0
leaq 0x13bed(%rip), %rdi     # 0x1cc85
leaq 0x11fb1(%rip), %rsi     # 0x1b050
movl $0x62f, %edx            # imm = 0x62F
leaq 0x13696(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd0(%rbp), %rax
cmpq $0x20, 0x10(%rax)
jne 0x90c0
jmp 0x90df
leaq 0x13bd1(%rip), %rdi     # 0x1cc98
leaq 0x11f82(%rip), %rsi     # 0x1b050
movl $0x630, %edx            # imm = 0x630
leaq 0x13667(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd0(%rbp), %rax
movq 0x18(%rax), %rdi
addq $0x11, %rdi
leaq -0x30(%rbp), %rsi
addq $0x1, %rsi
movl $0xf, %edx
callq 0x3090
cmpl $0x0, %eax
jne 0x9107
jmp 0x9126
leaq 0x13ba0(%rip), %rdi     # 0x1ccae
leaq 0x11f3b(%rip), %rsi     # 0x1b050
movl $0x631, %edx            # imm = 0x631
leaq 0x13620(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, (%rax)
jne 0x9138
jmp 0x9157
leaq 0x13ba5(%rip), %rdi     # 0x1cce4
leaq 0x11f0a(%rip), %rsi     # 0x1b050
movl $0x632, %edx            # imm = 0x632
leaq 0x135ef(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x8(%rax)
jne 0x916a
jmp 0x9189
leaq 0x13b96(%rip), %rdi     # 0x1cd07
leaq 0x11ed8(%rip), %rsi     # 0x1b050
movl $0x633, %edx            # imm = 0x633
leaq 0x135bd(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x10(%rax)
jne 0x919c
jmp 0x91bb
leaq 0x13b87(%rip), %rdi     # 0x1cd2a
leaq 0x11ea6(%rip), %rsi     # 0x1b050
movl $0x634, %edx            # imm = 0x634
leaq 0x1358b(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd0(%rbp), %rax
movq (%rax), %rax
cmpq $0x206e, 0x18(%rax)     # imm = 0x206E
jne 0x91d1
jmp 0x91f0
leaq 0x13b75(%rip), %rdi     # 0x1cd4d
leaq 0x11e71(%rip), %rsi     # 0x1b050
movl $0x635, %edx            # imm = 0x635
leaq 0x13556(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x20(%rax)
jne 0x9203
jmp 0x9222
leaq 0x13b6b(%rip), %rdi     # 0x1cd75
leaq 0x11e3f(%rip), %rsi     # 0x1b050
movl $0x636, %edx            # imm = 0x636
leaq 0x13524(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x28(%rax)
jne 0x9235
jmp 0x9254
leaq 0x13b5c(%rip), %rdi     # 0x1cd98
leaq 0x11e0d(%rip), %rsi     # 0x1b050
movl $0x637, %edx            # imm = 0x637
leaq 0x134f2(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd0(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x30(%rax)
jne 0x9267
jmp 0x9286
leaq 0x13b4d(%rip), %rdi     # 0x1cdbb
leaq 0x11ddb(%rip), %rsi     # 0x1b050
movl $0x638, %edx            # imm = 0x638
leaq 0x134c0(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd0(%rbp), %rax
movq (%rax), %rax
cmpq $0x206c, 0x38(%rax)     # imm = 0x206C
jne 0x929c
jmp 0x92bb
leaq 0x13b3b(%rip), %rdi     # 0x1cdde
leaq 0x11da6(%rip), %rsi     # 0x1b050
movl $0x639, %edx            # imm = 0x639
leaq 0x1348b(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd0(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rax
movzbl 0x8(%rax), %eax
cmpl $0x1, %eax
jne 0x92df
jmp 0x92fe
leaq 0x13b20(%rip), %rdi     # 0x1ce06
leaq 0x11d63(%rip), %rsi     # 0x1b050
movl $0x63c, %edx            # imm = 0x63C
leaq 0x13448(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd8(%rbp), %rax
cmpq $0x0, 0x20(%rax)
je 0x930e
jmp 0x932d
leaq 0x13b07(%rip), %rdi     # 0x1ce1c
leaq 0x11d34(%rip), %rsi     # 0x1b050
movl $0x63d, %edx            # imm = 0x63D
leaq 0x13419(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd8(%rbp), %rax
cmpq $0x20, 0x10(%rax)
jne 0x933d
jmp 0x935c
leaq 0x13aeb(%rip), %rdi     # 0x1ce2f
leaq 0x11d05(%rip), %rsi     # 0x1b050
movl $0x63e, %edx            # imm = 0x63E
leaq 0x133ea(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd8(%rbp), %rax
movq 0x18(%rax), %rdi
addq $0x11, %rdi
leaq -0x30(%rbp), %rsi
addq $0x1, %rsi
movl $0xf, %edx
callq 0x3090
cmpl $0x0, %eax
jne 0x9384
jmp 0x93a3
leaq 0x13aba(%rip), %rdi     # 0x1ce45
leaq 0x11cbe(%rip), %rsi     # 0x1b050
movl $0x63f, %edx            # imm = 0x63F
leaq 0x133a3(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd8(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, (%rax)
jne 0x93b5
jmp 0x93d4
leaq 0x13abf(%rip), %rdi     # 0x1ce7b
leaq 0x11c8d(%rip), %rsi     # 0x1b050
movl $0x640, %edx            # imm = 0x640
leaq 0x13372(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd8(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x8(%rax)
jne 0x93e7
jmp 0x9406
leaq 0x13ab0(%rip), %rdi     # 0x1ce9e
leaq 0x11c5b(%rip), %rsi     # 0x1b050
movl $0x641, %edx            # imm = 0x641
leaq 0x13340(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd8(%rbp), %rax
movq (%rax), %rax
cmpq $0x0, 0x10(%rax)
jne 0x9419
jmp 0x9438
leaq 0x13aa1(%rip), %rdi     # 0x1cec1
leaq 0x11c29(%rip), %rsi     # 0x1b050
movl $0x642, %edx            # imm = 0x642
leaq 0x1330e(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd8(%rbp), %rax
movq (%rax), %rax
cmpq $0x2462, 0x18(%rax)     # imm = 0x2462
jne 0x944e
jmp 0x946d
leaq 0x13a8f(%rip), %rdi     # 0x1cee4
leaq 0x11bf4(%rip), %rsi     # 0x1b050
movl $0x643, %edx            # imm = 0x643
leaq 0x132d9(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xd8(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
movzbl 0x8(%rax), %eax
cmpl $0x0, %eax
jne 0x9491
jmp 0x94b0
leaq 0x13a74(%rip), %rdi     # 0x1cf0c
leaq 0x11bb1(%rip), %rsi     # 0x1b050
movl $0x646, %edx            # imm = 0x646
leaq 0x13296(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xe0(%rbp), %rax
cmpq $0x0, 0x20(%rax)
jne 0x94c0
jmp 0x94df
leaq 0x13a5b(%rip), %rdi     # 0x1cf22
leaq 0x11b82(%rip), %rsi     # 0x1b050
movl $0x647, %edx            # imm = 0x647
leaq 0x13267(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xe0(%rbp), %rax
cmpq $0x0, (%rax)
jne 0x94ee
jmp 0x950d
leaq 0x13a40(%rip), %rdi     # 0x1cf35
leaq 0x11b54(%rip), %rsi     # 0x1b050
movl $0x648, %edx            # imm = 0x648
leaq 0x13239(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xe0(%rbp), %rax
cmpq $0x20, 0x10(%rax)
jne 0x951d
jmp 0x953c
leaq 0x13a26(%rip), %rdi     # 0x1cf4a
leaq 0x11b25(%rip), %rsi     # 0x1b050
movl $0x649, %edx            # imm = 0x649
leaq 0x1320a(%rip), %rcx     # 0x1c741
callq 0x3040
movq -0xe0(%rbp), %rax
movq 0x18(%rax), %rdi
addq $0x11, %rdi
leaq -0x30(%rbp), %rsi
addq $0x1, %rsi
movl $0xf, %edx
callq 0x3090
cmpl $0x0, %eax
jne 0x9564
jmp 0x9583
leaq 0x139f5(%rip), %rdi     # 0x1cf60
leaq 0x11ade(%rip), %rsi     # 0x1b050
movl $0x64a, %edx            # imm = 0x64A
leaq 0x131c3(%rip), %rcx     # 0x1c741
callq 0x3040
cmpq $0x0, -0x80(%rbp)
jne 0x958c
jmp 0x95ab
leaq 0x11b82(%rip), %rdi     # 0x1b115
leaq 0x11ab6(%rip), %rsi     # 0x1b050
movl $0x64c, %edx            # imm = 0x64C
leaq 0x1319b(%rip), %rcx     # 0x1c741
callq 0x3040
movb $0x0, %al
callq 0xd4d0
addq $0x100, %rsp            # imm = 0x100
popq %rbp
retq
nopl (%rax,%rax)