// File: /workspace/github_c_makefile_star2_O1/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
xorl %eax, %eax
callq 0xca7b
movaps 0xf2a0(%rip), %xmm0     # 0x186d0
movaps %xmm0, 0x40(%rsp)
movaps 0xf284(%rip), %xmm0     # 0x186c0
movaps %xmm0, 0x30(%rsp)
movaps 0xf268(%rip), %xmm0     # 0x186b0
movaps %xmm0, 0x20(%rsp)
movq $-0x2, %r14
leaq 0x50(%rsp), %r15
leaq 0xabf0(%rip), %r12      # 0x14050
movq 0x14b91(%rip), %r13     # 0x1dff8
leaq 0xdc4f(%rip), %rbx      # 0x170bd
movzbl 0x4(%r14,%r12), %ecx
leal -0x30(%rcx), %ebp
cmpb $0xa, %bpl
jb 0x9495
leal -0x61(%rcx), %eax
cmpb $0x5, %al
ja 0x9489
addb $-0x57, %cl
jmp 0x9493
leal -0x41(%rcx), %eax
cmpb $0x5, %al
ja 0x94d3
addb $-0x37, %cl
movl %ecx, %ebp
movzbl 0x5(%r14,%r12), %ecx
leal -0x30(%rcx), %eax
cmpb $0xa, %al
jb 0x94ba
leal -0x61(%rcx), %eax
cmpb $0x5, %al
ja 0x94ae
addb $-0x57, %cl
jmp 0x94b8
leal -0x41(%rcx), %eax
cmpb $0x5, %al
ja 0x94e8
addb $-0x37, %cl
movl %ecx, %eax
shlb $0x4, %bpl
addb %al, %bpl
movb %bpl, (%r15)
addq $0x2, %r14
incq %r15
cmpq $0x26, %r14
jb 0x946e
jmp 0x94fc
movq (%r13), %rdi
movq %rbx, %rsi
movl %ecx, %edx
xorl %eax, %eax
callq 0x30a0
movb $-0x1, %bpl
jmp 0x9495
movq (%r13), %rdi
movq %rbx, %rsi
movl %ecx, %edx
xorl %eax, %eax
callq 0x30a0
movb $-0x1, %al
jmp 0x94ba
leaq 0xac(%rsp), %rdx
movq $0x0, (%rdx)
movl $0x0, 0x8(%rdx)
movl 0x60(%rsp), %eax
movl %eax, 0x10(%rsp)
movups 0x50(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x68(%rsp), %rbx
leaq 0x20(%rsp), %r8
movl $0xf8f6, %esi           # imm = 0xF8F6
movl $0x30, %ecx
movq %rbx, %rdi
callq 0xd845
cmpq $0x0, 0x10(%rbx)
jne 0x98fe
movl $0x80d9b122, %eax       # imm = 0x80D9B122
cmpq %rax, 0x80(%rsp)
jne 0x991d
movabsq $-0x23c5e9023be06931, %rax # imm = 0xDC3A16FDC41F96CF
cmpq %rax, 0x88(%rsp)
jne 0x993c
movabsq $0x10ffe7e38d227c3, %rax # imm = 0x10FFE7E38D227C3
cmpq %rax, 0x90(%rsp)
jne 0x995b
movq 0xa0(%rsp), %rax
testq %rax, %rax
je 0x997a
movq 0x18(%rax), %rcx
testq %rcx, %rcx
je 0x9999
cmpb $0x4, 0x8(%rcx)
jne 0x99b8
movq 0x20(%rcx), %rax
testq %rax, %rax
je 0x99d7
cmpq $0x20, 0x10(%rcx)
jne 0x99f6
movq 0x18(%rcx), %rdx
movq 0x11(%rdx), %rsi
xorq 0x21(%rsp), %rsi
movq 0x18(%rdx), %rdx
xorq 0x28(%rsp), %rdx
orq %rsi, %rdx
jne 0x9a15
movq (%rcx), %rcx
cmpq $0x0, (%rcx)
jne 0x9a34
cmpq $0x0, 0x8(%rcx)
jne 0x9a53
cmpq $0x0, 0x10(%rcx)
jne 0x9a72
cmpq $0x141b, 0x18(%rcx)     # imm = 0x141B
jne 0x9a91
cmpq $0x0, 0x20(%rcx)
jne 0x9ab0
cmpq $0x0, 0x28(%rcx)
jne 0x9acf
cmpq $0x0, 0x30(%rcx)
jne 0x9aee
cmpq $0x1419, 0x38(%rcx)     # imm = 0x1419
jne 0x9b0d
cmpq $0x0, 0x40(%rcx)
jne 0x9b2c
cmpq $0x0, 0x48(%rcx)
jne 0x9b4b
cmpq $0x0, 0x50(%rcx)
jne 0x9b6a
cmpq $0x1417, 0x58(%rcx)     # imm = 0x1417
jne 0x9b89
cmpq $0x0, 0x60(%rcx)
jne 0x9ba8
cmpq $0x0, 0x68(%rcx)
jne 0x9bc7
cmpq $0x0, 0x70(%rcx)
jne 0x9be6
cmpq $0x1415, 0x78(%rcx)     # imm = 0x1415
jne 0x9c05
cmpb $0x3, 0x8(%rax)
jne 0x9c24
movq 0x20(%rax), %rcx
testq %rcx, %rcx
je 0x9c43
cmpq $0x20, 0x10(%rax)
jne 0x9c62
movq 0x18(%rax), %rdx
movq 0x11(%rdx), %rsi
xorq 0x21(%rsp), %rsi
movq 0x18(%rdx), %rdx
xorq 0x28(%rsp), %rdx
orq %rsi, %rdx
jne 0x9c81
movq (%rax), %rax
cmpq $0x0, (%rax)
jne 0x9ca0
cmpq $0x0, 0x8(%rax)
jne 0x9cbf
cmpq $0x0, 0x10(%rax)
jne 0x9cde
cmpq $0x1b01, 0x18(%rax)     # imm = 0x1B01
jne 0x9cfd
cmpq $0x0, 0x20(%rax)
jne 0x9d1c
cmpq $0x0, 0x28(%rax)
jne 0x9d3b
cmpq $0x0, 0x30(%rax)
jne 0x9d5a
cmpq $0x1aff, 0x38(%rax)     # imm = 0x1AFF
jne 0x9d79
cmpq $0x0, 0x40(%rax)
jne 0x9d98
cmpq $0x0, 0x48(%rax)
jne 0x9db7
cmpq $0x0, 0x50(%rax)
jne 0x9dd6
cmpq $0x1afd, 0x58(%rax)     # imm = 0x1AFD
jne 0x9df5
cmpb $0x2, 0x8(%rcx)
jne 0x9e14
movq 0x20(%rcx), %rax
testq %rax, %rax
je 0x9e33
cmpq $0x20, 0x10(%rcx)
jne 0x9e52
movq 0x18(%rcx), %rdx
movq 0x11(%rdx), %rsi
xorq 0x21(%rsp), %rsi
movq 0x18(%rdx), %rdx
xorq 0x28(%rsp), %rdx
orq %rsi, %rdx
jne 0x9e71
movq (%rcx), %rcx
cmpq $0x0, (%rcx)
jne 0x9e90
cmpq $0x0, 0x8(%rcx)
jne 0x9eaf
cmpq $0x0, 0x10(%rcx)
jne 0x9ece
cmpq $0x206e, 0x18(%rcx)     # imm = 0x206E
jne 0x9eed
cmpq $0x0, 0x20(%rcx)
jne 0x9f0c
cmpq $0x0, 0x28(%rcx)
jne 0x9f2b
cmpq $0x0, 0x30(%rcx)
jne 0x9f4a
cmpq $0x206c, 0x38(%rcx)     # imm = 0x206C
jne 0x9f69
cmpb $0x1, 0x8(%rax)
jne 0x9f88
movq 0x20(%rax), %rcx
testq %rcx, %rcx
je 0x9fa7
cmpq $0x20, 0x10(%rax)
jne 0x9fc6
movq 0x18(%rax), %rdx
movq 0x11(%rdx), %rsi
xorq 0x21(%rsp), %rsi
movq 0x18(%rdx), %rdx
xorq 0x28(%rsp), %rdx
orq %rsi, %rdx
jne 0x9fe5
movq (%rax), %rax
cmpq $0x0, (%rax)
jne 0xa004
cmpq $0x0, 0x8(%rax)
jne 0xa023
cmpq $0x0, 0x10(%rax)
jne 0xa042
cmpq $0x2462, 0x18(%rax)     # imm = 0x2462
jne 0xa061
cmpb $0x0, 0x8(%rcx)
jne 0xa080
cmpq $0x0, 0x20(%rcx)
jne 0xa09f
cmpq $0x0, (%rcx)
jne 0xa0be
cmpq $0x20, 0x10(%rcx)
jne 0xa0dd
movq 0x18(%rcx), %rax
movq 0x11(%rax), %rcx
xorq 0x21(%rsp), %rcx
movq 0x18(%rax), %rax
xorq 0x28(%rsp), %rax
orq %rcx, %rax
jne 0xa0fc
cmpq $0x0, 0x98(%rsp)
jne 0xa11b
xorl %eax, %eax
callq 0xcf29
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa776(%rip), %rdi      # 0x1407b
leaq 0xa790(%rip), %rsi      # 0x1409c
leaq 0xbe7a(%rip), %rcx      # 0x1578d
movl $0x5fc, %edx            # imm = 0x5FC
callq 0x3040
leaq 0xa793(%rip), %rdi      # 0x140b7
leaq 0xa771(%rip), %rsi      # 0x1409c
leaq 0xbe5b(%rip), %rcx      # 0x1578d
movl $0x5fd, %edx            # imm = 0x5FD
callq 0x3040
leaq 0xa79e(%rip), %rdi      # 0x140e1
leaq 0xa752(%rip), %rsi      # 0x1409c
leaq 0xbe3c(%rip), %rcx      # 0x1578d
movl $0x5fe, %edx            # imm = 0x5FE
callq 0x3040
leaq 0xa7b1(%rip), %rdi      # 0x14113
leaq 0xa733(%rip), %rsi      # 0x1409c
leaq 0xbe1d(%rip), %rcx      # 0x1578d
movl $0x5ff, %edx            # imm = 0x5FF
callq 0x3040
leaq 0xbe1c(%rip), %rdi      # 0x1579d
leaq 0xa714(%rip), %rsi      # 0x1409c
leaq 0xbdfe(%rip), %rcx      # 0x1578d
movl $0x601, %edx            # imm = 0x601
callq 0x3040
leaq 0xbe19(%rip), %rdi      # 0x157b9
leaq 0xa6f5(%rip), %rsi      # 0x1409c
leaq 0xbddf(%rip), %rcx      # 0x1578d
movl $0x603, %edx            # imm = 0x603
callq 0x3040
leaq 0xbe1b(%rip), %rdi      # 0x157da
leaq 0xa6d6(%rip), %rsi      # 0x1409c
leaq 0xbdc0(%rip), %rcx      # 0x1578d
movl $0x606, %edx            # imm = 0x606
callq 0x3040
leaq 0xbe12(%rip), %rdi      # 0x157f0
leaq 0xa6b7(%rip), %rsi      # 0x1409c
leaq 0xbda1(%rip), %rcx      # 0x1578d
movl $0x607, %edx            # imm = 0x607
callq 0x3040
leaq 0xbe06(%rip), %rdi      # 0x15803
leaq 0xa698(%rip), %rsi      # 0x1409c
leaq 0xbd82(%rip), %rcx      # 0x1578d
movl $0x608, %edx            # imm = 0x608
callq 0x3040
leaq 0xbdfd(%rip), %rdi      # 0x15819
leaq 0xa679(%rip), %rsi      # 0x1409c
leaq 0xbd63(%rip), %rcx      # 0x1578d
movl $0x609, %edx            # imm = 0x609
callq 0x3040
leaq 0xbe14(%rip), %rdi      # 0x1584f
leaq 0xa65a(%rip), %rsi      # 0x1409c
leaq 0xbd44(%rip), %rcx      # 0x1578d
movl $0x60a, %edx            # imm = 0x60A
callq 0x3040
leaq 0xbe18(%rip), %rdi      # 0x15872
leaq 0xa63b(%rip), %rsi      # 0x1409c
leaq 0xbd25(%rip), %rcx      # 0x1578d
movl $0x60b, %edx            # imm = 0x60B
callq 0x3040
leaq 0xbe1c(%rip), %rdi      # 0x15895
leaq 0xa61c(%rip), %rsi      # 0x1409c
leaq 0xbd06(%rip), %rcx      # 0x1578d
movl $0x60c, %edx            # imm = 0x60C
callq 0x3040
leaq 0xbe20(%rip), %rdi      # 0x158b8
leaq 0xa5fd(%rip), %rsi      # 0x1409c
leaq 0xbce7(%rip), %rcx      # 0x1578d
movl $0x60d, %edx            # imm = 0x60D
callq 0x3040
leaq 0xbe29(%rip), %rdi      # 0x158e0
leaq 0xa5de(%rip), %rsi      # 0x1409c
leaq 0xbcc8(%rip), %rcx      # 0x1578d
movl $0x60e, %edx            # imm = 0x60E
callq 0x3040
leaq 0xbe2d(%rip), %rdi      # 0x15903
leaq 0xa5bf(%rip), %rsi      # 0x1409c
leaq 0xbca9(%rip), %rcx      # 0x1578d
movl $0x60f, %edx            # imm = 0x60F
callq 0x3040
leaq 0xbe31(%rip), %rdi      # 0x15926
leaq 0xa5a0(%rip), %rsi      # 0x1409c
leaq 0xbc8a(%rip), %rcx      # 0x1578d
movl $0x610, %edx            # imm = 0x610
callq 0x3040
leaq 0xbe35(%rip), %rdi      # 0x15949
leaq 0xa581(%rip), %rsi      # 0x1409c
leaq 0xbc6b(%rip), %rcx      # 0x1578d
movl $0x611, %edx            # imm = 0x611
callq 0x3040
leaq 0xbe3e(%rip), %rdi      # 0x15971
leaq 0xa562(%rip), %rsi      # 0x1409c
leaq 0xbc4c(%rip), %rcx      # 0x1578d
movl $0x612, %edx            # imm = 0x612
callq 0x3040
leaq 0xbe42(%rip), %rdi      # 0x15994
leaq 0xa543(%rip), %rsi      # 0x1409c
leaq 0xbc2d(%rip), %rcx      # 0x1578d
movl $0x613, %edx            # imm = 0x613
callq 0x3040
leaq 0xbe46(%rip), %rdi      # 0x159b7
leaq 0xa524(%rip), %rsi      # 0x1409c
leaq 0xbc0e(%rip), %rcx      # 0x1578d
movl $0x614, %edx            # imm = 0x614
callq 0x3040
leaq 0xbe4a(%rip), %rdi      # 0x159da
leaq 0xa505(%rip), %rsi      # 0x1409c
leaq 0xbbef(%rip), %rcx      # 0x1578d
movl $0x615, %edx            # imm = 0x615
callq 0x3040
leaq 0xbe53(%rip), %rdi      # 0x15a02
leaq 0xa4e6(%rip), %rsi      # 0x1409c
leaq 0xbbd0(%rip), %rcx      # 0x1578d
movl $0x616, %edx            # imm = 0x616
callq 0x3040
leaq 0xbe57(%rip), %rdi      # 0x15a25
leaq 0xa4c7(%rip), %rsi      # 0x1409c
leaq 0xbbb1(%rip), %rcx      # 0x1578d
movl $0x617, %edx            # imm = 0x617
callq 0x3040
leaq 0xbe5b(%rip), %rdi      # 0x15a48
leaq 0xa4a8(%rip), %rsi      # 0x1409c
leaq 0xbb92(%rip), %rcx      # 0x1578d
movl $0x618, %edx            # imm = 0x618
callq 0x3040
leaq 0xbe5f(%rip), %rdi      # 0x15a6b
leaq 0xa489(%rip), %rsi      # 0x1409c
leaq 0xbb73(%rip), %rcx      # 0x1578d
movl $0x619, %edx            # imm = 0x619
callq 0x3040
leaq 0xbe68(%rip), %rdi      # 0x15a93
leaq 0xa46a(%rip), %rsi      # 0x1409c
leaq 0xbb54(%rip), %rcx      # 0x1578d
movl $0x61c, %edx            # imm = 0x61C
callq 0x3040
leaq 0xbe5f(%rip), %rdi      # 0x15aa9
leaq 0xa44b(%rip), %rsi      # 0x1409c
leaq 0xbb35(%rip), %rcx      # 0x1578d
movl $0x61d, %edx            # imm = 0x61D
callq 0x3040
leaq 0xbe53(%rip), %rdi      # 0x15abc
leaq 0xa42c(%rip), %rsi      # 0x1409c
leaq 0xbb16(%rip), %rcx      # 0x1578d
movl $0x61e, %edx            # imm = 0x61E
callq 0x3040
leaq 0xbe4a(%rip), %rdi      # 0x15ad2
leaq 0xa40d(%rip), %rsi      # 0x1409c
leaq 0xbaf7(%rip), %rcx      # 0x1578d
movl $0x61f, %edx            # imm = 0x61F
callq 0x3040
leaq 0xbe61(%rip), %rdi      # 0x15b08
leaq 0xa3ee(%rip), %rsi      # 0x1409c
leaq 0xbad8(%rip), %rcx      # 0x1578d
movl $0x620, %edx            # imm = 0x620
callq 0x3040
leaq 0xbe65(%rip), %rdi      # 0x15b2b
leaq 0xa3cf(%rip), %rsi      # 0x1409c
leaq 0xbab9(%rip), %rcx      # 0x1578d
movl $0x621, %edx            # imm = 0x621
callq 0x3040
leaq 0xbe69(%rip), %rdi      # 0x15b4e
leaq 0xa3b0(%rip), %rsi      # 0x1409c
leaq 0xba9a(%rip), %rcx      # 0x1578d
movl $0x622, %edx            # imm = 0x622
callq 0x3040
leaq 0xbe6d(%rip), %rdi      # 0x15b71
leaq 0xa391(%rip), %rsi      # 0x1409c
leaq 0xba7b(%rip), %rcx      # 0x1578d
movl $0x623, %edx            # imm = 0x623
callq 0x3040
leaq 0xbe76(%rip), %rdi      # 0x15b99
leaq 0xa372(%rip), %rsi      # 0x1409c
leaq 0xba5c(%rip), %rcx      # 0x1578d
movl $0x624, %edx            # imm = 0x624
callq 0x3040
leaq 0xbe7a(%rip), %rdi      # 0x15bbc
leaq 0xa353(%rip), %rsi      # 0x1409c
leaq 0xba3d(%rip), %rcx      # 0x1578d
movl $0x625, %edx            # imm = 0x625
callq 0x3040
leaq 0xbe7e(%rip), %rdi      # 0x15bdf
leaq 0xa334(%rip), %rsi      # 0x1409c
leaq 0xba1e(%rip), %rcx      # 0x1578d
movl $0x626, %edx            # imm = 0x626
callq 0x3040
leaq 0xbe82(%rip), %rdi      # 0x15c02
leaq 0xa315(%rip), %rsi      # 0x1409c
leaq 0xb9ff(%rip), %rcx      # 0x1578d
movl $0x627, %edx            # imm = 0x627
callq 0x3040
leaq 0xbe8b(%rip), %rdi      # 0x15c2a
leaq 0xa2f6(%rip), %rsi      # 0x1409c
leaq 0xb9e0(%rip), %rcx      # 0x1578d
movl $0x628, %edx            # imm = 0x628
callq 0x3040
leaq 0xbe8f(%rip), %rdi      # 0x15c4d
leaq 0xa2d7(%rip), %rsi      # 0x1409c
leaq 0xb9c1(%rip), %rcx      # 0x1578d
movl $0x629, %edx            # imm = 0x629
callq 0x3040
leaq 0xbe93(%rip), %rdi      # 0x15c70
leaq 0xa2b8(%rip), %rsi      # 0x1409c
leaq 0xb9a2(%rip), %rcx      # 0x1578d
movl $0x62a, %edx            # imm = 0x62A
callq 0x3040
leaq 0xbe97(%rip), %rdi      # 0x15c93
leaq 0xa299(%rip), %rsi      # 0x1409c
leaq 0xb983(%rip), %rcx      # 0x1578d
movl $0x62b, %edx            # imm = 0x62B
callq 0x3040
leaq 0xbea0(%rip), %rdi      # 0x15cbb
leaq 0xa27a(%rip), %rsi      # 0x1409c
leaq 0xb964(%rip), %rcx      # 0x1578d
movl $0x62e, %edx            # imm = 0x62E
callq 0x3040
leaq 0xbe97(%rip), %rdi      # 0x15cd1
leaq 0xa25b(%rip), %rsi      # 0x1409c
leaq 0xb945(%rip), %rcx      # 0x1578d
movl $0x62f, %edx            # imm = 0x62F
callq 0x3040
leaq 0xbe8b(%rip), %rdi      # 0x15ce4
leaq 0xa23c(%rip), %rsi      # 0x1409c
leaq 0xb926(%rip), %rcx      # 0x1578d
movl $0x630, %edx            # imm = 0x630
callq 0x3040
leaq 0xbe82(%rip), %rdi      # 0x15cfa
leaq 0xa21d(%rip), %rsi      # 0x1409c
leaq 0xb907(%rip), %rcx      # 0x1578d
movl $0x631, %edx            # imm = 0x631
callq 0x3040
leaq 0xbe99(%rip), %rdi      # 0x15d30
leaq 0xa1fe(%rip), %rsi      # 0x1409c
leaq 0xb8e8(%rip), %rcx      # 0x1578d
movl $0x632, %edx            # imm = 0x632
callq 0x3040
leaq 0xbe9d(%rip), %rdi      # 0x15d53
leaq 0xa1df(%rip), %rsi      # 0x1409c
leaq 0xb8c9(%rip), %rcx      # 0x1578d
movl $0x633, %edx            # imm = 0x633
callq 0x3040
leaq 0xbea1(%rip), %rdi      # 0x15d76
leaq 0xa1c0(%rip), %rsi      # 0x1409c
leaq 0xb8aa(%rip), %rcx      # 0x1578d
movl $0x634, %edx            # imm = 0x634
callq 0x3040
leaq 0xbea5(%rip), %rdi      # 0x15d99
leaq 0xa1a1(%rip), %rsi      # 0x1409c
leaq 0xb88b(%rip), %rcx      # 0x1578d
movl $0x635, %edx            # imm = 0x635
callq 0x3040
leaq 0xbeae(%rip), %rdi      # 0x15dc1
leaq 0xa182(%rip), %rsi      # 0x1409c
leaq 0xb86c(%rip), %rcx      # 0x1578d
movl $0x636, %edx            # imm = 0x636
callq 0x3040
leaq 0xbeb2(%rip), %rdi      # 0x15de4
leaq 0xa163(%rip), %rsi      # 0x1409c
leaq 0xb84d(%rip), %rcx      # 0x1578d
movl $0x637, %edx            # imm = 0x637
callq 0x3040
leaq 0xbeb6(%rip), %rdi      # 0x15e07
leaq 0xa144(%rip), %rsi      # 0x1409c
leaq 0xb82e(%rip), %rcx      # 0x1578d
movl $0x638, %edx            # imm = 0x638
callq 0x3040
leaq 0xbeba(%rip), %rdi      # 0x15e2a
leaq 0xa125(%rip), %rsi      # 0x1409c
leaq 0xb80f(%rip), %rcx      # 0x1578d
movl $0x639, %edx            # imm = 0x639
callq 0x3040
leaq 0xbec3(%rip), %rdi      # 0x15e52
leaq 0xa106(%rip), %rsi      # 0x1409c
leaq 0xb7f0(%rip), %rcx      # 0x1578d
movl $0x63c, %edx            # imm = 0x63C
callq 0x3040
leaq 0xbeba(%rip), %rdi      # 0x15e68
leaq 0xa0e7(%rip), %rsi      # 0x1409c
leaq 0xb7d1(%rip), %rcx      # 0x1578d
movl $0x63d, %edx            # imm = 0x63D
callq 0x3040
leaq 0xbeae(%rip), %rdi      # 0x15e7b
leaq 0xa0c8(%rip), %rsi      # 0x1409c
leaq 0xb7b2(%rip), %rcx      # 0x1578d
movl $0x63e, %edx            # imm = 0x63E
callq 0x3040
leaq 0xbea5(%rip), %rdi      # 0x15e91
leaq 0xa0a9(%rip), %rsi      # 0x1409c
leaq 0xb793(%rip), %rcx      # 0x1578d
movl $0x63f, %edx            # imm = 0x63F
callq 0x3040
leaq 0xbebc(%rip), %rdi      # 0x15ec7
leaq 0xa08a(%rip), %rsi      # 0x1409c
leaq 0xb774(%rip), %rcx      # 0x1578d
movl $0x640, %edx            # imm = 0x640
callq 0x3040
leaq 0xbec0(%rip), %rdi      # 0x15eea
leaq 0xa06b(%rip), %rsi      # 0x1409c
leaq 0xb755(%rip), %rcx      # 0x1578d
movl $0x641, %edx            # imm = 0x641
callq 0x3040
leaq 0xbec4(%rip), %rdi      # 0x15f0d
leaq 0xa04c(%rip), %rsi      # 0x1409c
leaq 0xb736(%rip), %rcx      # 0x1578d
movl $0x642, %edx            # imm = 0x642
callq 0x3040
leaq 0xbec8(%rip), %rdi      # 0x15f30
leaq 0xa02d(%rip), %rsi      # 0x1409c
leaq 0xb717(%rip), %rcx      # 0x1578d
movl $0x643, %edx            # imm = 0x643
callq 0x3040
leaq 0xbed1(%rip), %rdi      # 0x15f58
leaq 0xa00e(%rip), %rsi      # 0x1409c
leaq 0xb6f8(%rip), %rcx      # 0x1578d
movl $0x646, %edx            # imm = 0x646
callq 0x3040
leaq 0xbec8(%rip), %rdi      # 0x15f6e
leaq 0x9fef(%rip), %rsi      # 0x1409c
leaq 0xb6d9(%rip), %rcx      # 0x1578d
movl $0x647, %edx            # imm = 0x647
callq 0x3040
leaq 0xbebc(%rip), %rdi      # 0x15f81
leaq 0x9fd0(%rip), %rsi      # 0x1409c
leaq 0xb6ba(%rip), %rcx      # 0x1578d
movl $0x648, %edx            # imm = 0x648
callq 0x3040
leaq 0xbeb2(%rip), %rdi      # 0x15f96
leaq 0x9fb1(%rip), %rsi      # 0x1409c
leaq 0xb69b(%rip), %rcx      # 0x1578d
movl $0x649, %edx            # imm = 0x649
callq 0x3040
leaq 0xbea9(%rip), %rdi      # 0x15fac
leaq 0x9f92(%rip), %rsi      # 0x1409c
leaq 0xb67c(%rip), %rcx      # 0x1578d
movl $0x64a, %edx            # imm = 0x64A
callq 0x3040
leaq 0xa03f(%rip), %rdi      # 0x14161
leaq 0x9f73(%rip), %rsi      # 0x1409c
leaq 0xb65d(%rip), %rcx      # 0x1578d
movl $0x64c, %edx            # imm = 0x64C
callq 0x3040