// File: /workspace/github_c_makefile_star2_O3/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 0xca4d
movaps 0xf2dc(%rip), %xmm0     # 0x186f0
movaps %xmm0, 0x40(%rsp)
movaps 0xf2c0(%rip), %xmm0     # 0x186e0
movaps %xmm0, 0x30(%rsp)
movaps 0xf2a4(%rip), %xmm0     # 0x186d0
movaps %xmm0, 0x20(%rsp)
movq $-0x2, %r14
leaq 0x50(%rsp), %r15
leaq 0xac2c(%rip), %r12      # 0x14070
movq 0x14bad(%rip), %r13     # 0x1dff8
leaq 0xdc8b(%rip), %rbx      # 0x170dd
movzbl 0x4(%r14,%r12), %ecx
leal -0x30(%rcx), %ebp
cmpb $0xa, %bpl
jb 0x9479
leal -0x61(%rcx), %eax
cmpb $0x5, %al
ja 0x946d
addb $-0x57, %cl
jmp 0x9477
leal -0x41(%rcx), %eax
cmpb $0x5, %al
ja 0x94b7
addb $-0x37, %cl
movl %ecx, %ebp
movzbl 0x5(%r14,%r12), %ecx
leal -0x30(%rcx), %eax
cmpb $0xa, %al
jb 0x949e
leal -0x61(%rcx), %eax
cmpb $0x5, %al
ja 0x9492
addb $-0x57, %cl
jmp 0x949c
leal -0x41(%rcx), %eax
cmpb $0x5, %al
ja 0x94cc
addb $-0x37, %cl
movl %ecx, %eax
shlb $0x4, %bpl
addb %al, %bpl
movb %bpl, (%r15)
addq $0x2, %r14
incq %r15
cmpq $0x26, %r14
jb 0x9452
jmp 0x94e0
movq (%r13), %rdi
movq %rbx, %rsi
movl %ecx, %edx
xorl %eax, %eax
callq 0x30a0
movb $-0x1, %bpl
jmp 0x9479
movq (%r13), %rdi
movq %rbx, %rsi
movl %ecx, %edx
xorl %eax, %eax
callq 0x30a0
movb $-0x1, %al
jmp 0x949e
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 0xd683
cmpq $0x0, 0x10(%rbx)
jne 0x98e2
movl $0x80d9b122, %eax       # imm = 0x80D9B122
cmpq %rax, 0x80(%rsp)
jne 0x9901
movabsq $-0x23c5e9023be06931, %rax # imm = 0xDC3A16FDC41F96CF
cmpq %rax, 0x88(%rsp)
jne 0x9920
movabsq $0x10ffe7e38d227c3, %rax # imm = 0x10FFE7E38D227C3
cmpq %rax, 0x90(%rsp)
jne 0x993f
movq 0xa0(%rsp), %rax
testq %rax, %rax
je 0x995e
movq 0x18(%rax), %rcx
testq %rcx, %rcx
je 0x997d
cmpb $0x4, 0x8(%rcx)
jne 0x999c
movq 0x20(%rcx), %rax
testq %rax, %rax
je 0x99bb
cmpq $0x20, 0x10(%rcx)
jne 0x99da
movq 0x18(%rcx), %rdx
movq 0x11(%rdx), %rsi
xorq 0x21(%rsp), %rsi
movq 0x18(%rdx), %rdx
xorq 0x28(%rsp), %rdx
orq %rsi, %rdx
jne 0x99f9
movq (%rcx), %rcx
cmpq $0x0, (%rcx)
jne 0x9a18
cmpq $0x0, 0x8(%rcx)
jne 0x9a37
cmpq $0x0, 0x10(%rcx)
jne 0x9a56
cmpq $0x141b, 0x18(%rcx)     # imm = 0x141B
jne 0x9a75
cmpq $0x0, 0x20(%rcx)
jne 0x9a94
cmpq $0x0, 0x28(%rcx)
jne 0x9ab3
cmpq $0x0, 0x30(%rcx)
jne 0x9ad2
cmpq $0x1419, 0x38(%rcx)     # imm = 0x1419
jne 0x9af1
cmpq $0x0, 0x40(%rcx)
jne 0x9b10
cmpq $0x0, 0x48(%rcx)
jne 0x9b2f
cmpq $0x0, 0x50(%rcx)
jne 0x9b4e
cmpq $0x1417, 0x58(%rcx)     # imm = 0x1417
jne 0x9b6d
cmpq $0x0, 0x60(%rcx)
jne 0x9b8c
cmpq $0x0, 0x68(%rcx)
jne 0x9bab
cmpq $0x0, 0x70(%rcx)
jne 0x9bca
cmpq $0x1415, 0x78(%rcx)     # imm = 0x1415
jne 0x9be9
cmpb $0x3, 0x8(%rax)
jne 0x9c08
movq 0x20(%rax), %rcx
testq %rcx, %rcx
je 0x9c27
cmpq $0x20, 0x10(%rax)
jne 0x9c46
movq 0x18(%rax), %rdx
movq 0x11(%rdx), %rsi
xorq 0x21(%rsp), %rsi
movq 0x18(%rdx), %rdx
xorq 0x28(%rsp), %rdx
orq %rsi, %rdx
jne 0x9c65
movq (%rax), %rax
cmpq $0x0, (%rax)
jne 0x9c84
cmpq $0x0, 0x8(%rax)
jne 0x9ca3
cmpq $0x0, 0x10(%rax)
jne 0x9cc2
cmpq $0x1b01, 0x18(%rax)     # imm = 0x1B01
jne 0x9ce1
cmpq $0x0, 0x20(%rax)
jne 0x9d00
cmpq $0x0, 0x28(%rax)
jne 0x9d1f
cmpq $0x0, 0x30(%rax)
jne 0x9d3e
cmpq $0x1aff, 0x38(%rax)     # imm = 0x1AFF
jne 0x9d5d
cmpq $0x0, 0x40(%rax)
jne 0x9d7c
cmpq $0x0, 0x48(%rax)
jne 0x9d9b
cmpq $0x0, 0x50(%rax)
jne 0x9dba
cmpq $0x1afd, 0x58(%rax)     # imm = 0x1AFD
jne 0x9dd9
cmpb $0x2, 0x8(%rcx)
jne 0x9df8
movq 0x20(%rcx), %rax
testq %rax, %rax
je 0x9e17
cmpq $0x20, 0x10(%rcx)
jne 0x9e36
movq 0x18(%rcx), %rdx
movq 0x11(%rdx), %rsi
xorq 0x21(%rsp), %rsi
movq 0x18(%rdx), %rdx
xorq 0x28(%rsp), %rdx
orq %rsi, %rdx
jne 0x9e55
movq (%rcx), %rcx
cmpq $0x0, (%rcx)
jne 0x9e74
cmpq $0x0, 0x8(%rcx)
jne 0x9e93
cmpq $0x0, 0x10(%rcx)
jne 0x9eb2
cmpq $0x206e, 0x18(%rcx)     # imm = 0x206E
jne 0x9ed1
cmpq $0x0, 0x20(%rcx)
jne 0x9ef0
cmpq $0x0, 0x28(%rcx)
jne 0x9f0f
cmpq $0x0, 0x30(%rcx)
jne 0x9f2e
cmpq $0x206c, 0x38(%rcx)     # imm = 0x206C
jne 0x9f4d
cmpb $0x1, 0x8(%rax)
jne 0x9f6c
movq 0x20(%rax), %rcx
testq %rcx, %rcx
je 0x9f8b
cmpq $0x20, 0x10(%rax)
jne 0x9faa
movq 0x18(%rax), %rdx
movq 0x11(%rdx), %rsi
xorq 0x21(%rsp), %rsi
movq 0x18(%rdx), %rdx
xorq 0x28(%rsp), %rdx
orq %rsi, %rdx
jne 0x9fc9
movq (%rax), %rax
cmpq $0x0, (%rax)
jne 0x9fe8
cmpq $0x0, 0x8(%rax)
jne 0xa007
cmpq $0x0, 0x10(%rax)
jne 0xa026
cmpq $0x2462, 0x18(%rax)     # imm = 0x2462
jne 0xa045
cmpb $0x0, 0x8(%rcx)
jne 0xa064
cmpq $0x0, 0x20(%rcx)
jne 0xa083
cmpq $0x0, (%rcx)
jne 0xa0a2
cmpq $0x20, 0x10(%rcx)
jne 0xa0c1
movq 0x18(%rcx), %rax
movq 0x11(%rax), %rcx
xorq 0x21(%rsp), %rcx
movq 0x18(%rax), %rax
xorq 0x28(%rsp), %rax
orq %rcx, %rax
jne 0xa0e0
cmpq $0x0, 0x98(%rsp)
jne 0xa0ff
xorl %eax, %eax
callq 0xcd49
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa7b2(%rip), %rdi      # 0x1409b
leaq 0xa7cc(%rip), %rsi      # 0x140bc
leaq 0xbeb6(%rip), %rcx      # 0x157ad
movl $0x5fc, %edx            # imm = 0x5FC
callq 0x3040
leaq 0xa7cf(%rip), %rdi      # 0x140d7
leaq 0xa7ad(%rip), %rsi      # 0x140bc
leaq 0xbe97(%rip), %rcx      # 0x157ad
movl $0x5fd, %edx            # imm = 0x5FD
callq 0x3040
leaq 0xa7da(%rip), %rdi      # 0x14101
leaq 0xa78e(%rip), %rsi      # 0x140bc
leaq 0xbe78(%rip), %rcx      # 0x157ad
movl $0x5fe, %edx            # imm = 0x5FE
callq 0x3040
leaq 0xa7ed(%rip), %rdi      # 0x14133
leaq 0xa76f(%rip), %rsi      # 0x140bc
leaq 0xbe59(%rip), %rcx      # 0x157ad
movl $0x5ff, %edx            # imm = 0x5FF
callq 0x3040
leaq 0xbe58(%rip), %rdi      # 0x157bd
leaq 0xa750(%rip), %rsi      # 0x140bc
leaq 0xbe3a(%rip), %rcx      # 0x157ad
movl $0x601, %edx            # imm = 0x601
callq 0x3040
leaq 0xbe55(%rip), %rdi      # 0x157d9
leaq 0xa731(%rip), %rsi      # 0x140bc
leaq 0xbe1b(%rip), %rcx      # 0x157ad
movl $0x603, %edx            # imm = 0x603
callq 0x3040
leaq 0xbe57(%rip), %rdi      # 0x157fa
leaq 0xa712(%rip), %rsi      # 0x140bc
leaq 0xbdfc(%rip), %rcx      # 0x157ad
movl $0x606, %edx            # imm = 0x606
callq 0x3040
leaq 0xbe4e(%rip), %rdi      # 0x15810
leaq 0xa6f3(%rip), %rsi      # 0x140bc
leaq 0xbddd(%rip), %rcx      # 0x157ad
movl $0x607, %edx            # imm = 0x607
callq 0x3040
leaq 0xbe42(%rip), %rdi      # 0x15823
leaq 0xa6d4(%rip), %rsi      # 0x140bc
leaq 0xbdbe(%rip), %rcx      # 0x157ad
movl $0x608, %edx            # imm = 0x608
callq 0x3040
leaq 0xbe39(%rip), %rdi      # 0x15839
leaq 0xa6b5(%rip), %rsi      # 0x140bc
leaq 0xbd9f(%rip), %rcx      # 0x157ad
movl $0x609, %edx            # imm = 0x609
callq 0x3040
leaq 0xbe50(%rip), %rdi      # 0x1586f
leaq 0xa696(%rip), %rsi      # 0x140bc
leaq 0xbd80(%rip), %rcx      # 0x157ad
movl $0x60a, %edx            # imm = 0x60A
callq 0x3040
leaq 0xbe54(%rip), %rdi      # 0x15892
leaq 0xa677(%rip), %rsi      # 0x140bc
leaq 0xbd61(%rip), %rcx      # 0x157ad
movl $0x60b, %edx            # imm = 0x60B
callq 0x3040
leaq 0xbe58(%rip), %rdi      # 0x158b5
leaq 0xa658(%rip), %rsi      # 0x140bc
leaq 0xbd42(%rip), %rcx      # 0x157ad
movl $0x60c, %edx            # imm = 0x60C
callq 0x3040
leaq 0xbe5c(%rip), %rdi      # 0x158d8
leaq 0xa639(%rip), %rsi      # 0x140bc
leaq 0xbd23(%rip), %rcx      # 0x157ad
movl $0x60d, %edx            # imm = 0x60D
callq 0x3040
leaq 0xbe65(%rip), %rdi      # 0x15900
leaq 0xa61a(%rip), %rsi      # 0x140bc
leaq 0xbd04(%rip), %rcx      # 0x157ad
movl $0x60e, %edx            # imm = 0x60E
callq 0x3040
leaq 0xbe69(%rip), %rdi      # 0x15923
leaq 0xa5fb(%rip), %rsi      # 0x140bc
leaq 0xbce5(%rip), %rcx      # 0x157ad
movl $0x60f, %edx            # imm = 0x60F
callq 0x3040
leaq 0xbe6d(%rip), %rdi      # 0x15946
leaq 0xa5dc(%rip), %rsi      # 0x140bc
leaq 0xbcc6(%rip), %rcx      # 0x157ad
movl $0x610, %edx            # imm = 0x610
callq 0x3040
leaq 0xbe71(%rip), %rdi      # 0x15969
leaq 0xa5bd(%rip), %rsi      # 0x140bc
leaq 0xbca7(%rip), %rcx      # 0x157ad
movl $0x611, %edx            # imm = 0x611
callq 0x3040
leaq 0xbe7a(%rip), %rdi      # 0x15991
leaq 0xa59e(%rip), %rsi      # 0x140bc
leaq 0xbc88(%rip), %rcx      # 0x157ad
movl $0x612, %edx            # imm = 0x612
callq 0x3040
leaq 0xbe7e(%rip), %rdi      # 0x159b4
leaq 0xa57f(%rip), %rsi      # 0x140bc
leaq 0xbc69(%rip), %rcx      # 0x157ad
movl $0x613, %edx            # imm = 0x613
callq 0x3040
leaq 0xbe82(%rip), %rdi      # 0x159d7
leaq 0xa560(%rip), %rsi      # 0x140bc
leaq 0xbc4a(%rip), %rcx      # 0x157ad
movl $0x614, %edx            # imm = 0x614
callq 0x3040
leaq 0xbe86(%rip), %rdi      # 0x159fa
leaq 0xa541(%rip), %rsi      # 0x140bc
leaq 0xbc2b(%rip), %rcx      # 0x157ad
movl $0x615, %edx            # imm = 0x615
callq 0x3040
leaq 0xbe8f(%rip), %rdi      # 0x15a22
leaq 0xa522(%rip), %rsi      # 0x140bc
leaq 0xbc0c(%rip), %rcx      # 0x157ad
movl $0x616, %edx            # imm = 0x616
callq 0x3040
leaq 0xbe93(%rip), %rdi      # 0x15a45
leaq 0xa503(%rip), %rsi      # 0x140bc
leaq 0xbbed(%rip), %rcx      # 0x157ad
movl $0x617, %edx            # imm = 0x617
callq 0x3040
leaq 0xbe97(%rip), %rdi      # 0x15a68
leaq 0xa4e4(%rip), %rsi      # 0x140bc
leaq 0xbbce(%rip), %rcx      # 0x157ad
movl $0x618, %edx            # imm = 0x618
callq 0x3040
leaq 0xbe9b(%rip), %rdi      # 0x15a8b
leaq 0xa4c5(%rip), %rsi      # 0x140bc
leaq 0xbbaf(%rip), %rcx      # 0x157ad
movl $0x619, %edx            # imm = 0x619
callq 0x3040
leaq 0xbea4(%rip), %rdi      # 0x15ab3
leaq 0xa4a6(%rip), %rsi      # 0x140bc
leaq 0xbb90(%rip), %rcx      # 0x157ad
movl $0x61c, %edx            # imm = 0x61C
callq 0x3040
leaq 0xbe9b(%rip), %rdi      # 0x15ac9
leaq 0xa487(%rip), %rsi      # 0x140bc
leaq 0xbb71(%rip), %rcx      # 0x157ad
movl $0x61d, %edx            # imm = 0x61D
callq 0x3040
leaq 0xbe8f(%rip), %rdi      # 0x15adc
leaq 0xa468(%rip), %rsi      # 0x140bc
leaq 0xbb52(%rip), %rcx      # 0x157ad
movl $0x61e, %edx            # imm = 0x61E
callq 0x3040
leaq 0xbe86(%rip), %rdi      # 0x15af2
leaq 0xa449(%rip), %rsi      # 0x140bc
leaq 0xbb33(%rip), %rcx      # 0x157ad
movl $0x61f, %edx            # imm = 0x61F
callq 0x3040
leaq 0xbe9d(%rip), %rdi      # 0x15b28
leaq 0xa42a(%rip), %rsi      # 0x140bc
leaq 0xbb14(%rip), %rcx      # 0x157ad
movl $0x620, %edx            # imm = 0x620
callq 0x3040
leaq 0xbea1(%rip), %rdi      # 0x15b4b
leaq 0xa40b(%rip), %rsi      # 0x140bc
leaq 0xbaf5(%rip), %rcx      # 0x157ad
movl $0x621, %edx            # imm = 0x621
callq 0x3040
leaq 0xbea5(%rip), %rdi      # 0x15b6e
leaq 0xa3ec(%rip), %rsi      # 0x140bc
leaq 0xbad6(%rip), %rcx      # 0x157ad
movl $0x622, %edx            # imm = 0x622
callq 0x3040
leaq 0xbea9(%rip), %rdi      # 0x15b91
leaq 0xa3cd(%rip), %rsi      # 0x140bc
leaq 0xbab7(%rip), %rcx      # 0x157ad
movl $0x623, %edx            # imm = 0x623
callq 0x3040
leaq 0xbeb2(%rip), %rdi      # 0x15bb9
leaq 0xa3ae(%rip), %rsi      # 0x140bc
leaq 0xba98(%rip), %rcx      # 0x157ad
movl $0x624, %edx            # imm = 0x624
callq 0x3040
leaq 0xbeb6(%rip), %rdi      # 0x15bdc
leaq 0xa38f(%rip), %rsi      # 0x140bc
leaq 0xba79(%rip), %rcx      # 0x157ad
movl $0x625, %edx            # imm = 0x625
callq 0x3040
leaq 0xbeba(%rip), %rdi      # 0x15bff
leaq 0xa370(%rip), %rsi      # 0x140bc
leaq 0xba5a(%rip), %rcx      # 0x157ad
movl $0x626, %edx            # imm = 0x626
callq 0x3040
leaq 0xbebe(%rip), %rdi      # 0x15c22
leaq 0xa351(%rip), %rsi      # 0x140bc
leaq 0xba3b(%rip), %rcx      # 0x157ad
movl $0x627, %edx            # imm = 0x627
callq 0x3040
leaq 0xbec7(%rip), %rdi      # 0x15c4a
leaq 0xa332(%rip), %rsi      # 0x140bc
leaq 0xba1c(%rip), %rcx      # 0x157ad
movl $0x628, %edx            # imm = 0x628
callq 0x3040
leaq 0xbecb(%rip), %rdi      # 0x15c6d
leaq 0xa313(%rip), %rsi      # 0x140bc
leaq 0xb9fd(%rip), %rcx      # 0x157ad
movl $0x629, %edx            # imm = 0x629
callq 0x3040
leaq 0xbecf(%rip), %rdi      # 0x15c90
leaq 0xa2f4(%rip), %rsi      # 0x140bc
leaq 0xb9de(%rip), %rcx      # 0x157ad
movl $0x62a, %edx            # imm = 0x62A
callq 0x3040
leaq 0xbed3(%rip), %rdi      # 0x15cb3
leaq 0xa2d5(%rip), %rsi      # 0x140bc
leaq 0xb9bf(%rip), %rcx      # 0x157ad
movl $0x62b, %edx            # imm = 0x62B
callq 0x3040
leaq 0xbedc(%rip), %rdi      # 0x15cdb
leaq 0xa2b6(%rip), %rsi      # 0x140bc
leaq 0xb9a0(%rip), %rcx      # 0x157ad
movl $0x62e, %edx            # imm = 0x62E
callq 0x3040
leaq 0xbed3(%rip), %rdi      # 0x15cf1
leaq 0xa297(%rip), %rsi      # 0x140bc
leaq 0xb981(%rip), %rcx      # 0x157ad
movl $0x62f, %edx            # imm = 0x62F
callq 0x3040
leaq 0xbec7(%rip), %rdi      # 0x15d04
leaq 0xa278(%rip), %rsi      # 0x140bc
leaq 0xb962(%rip), %rcx      # 0x157ad
movl $0x630, %edx            # imm = 0x630
callq 0x3040
leaq 0xbebe(%rip), %rdi      # 0x15d1a
leaq 0xa259(%rip), %rsi      # 0x140bc
leaq 0xb943(%rip), %rcx      # 0x157ad
movl $0x631, %edx            # imm = 0x631
callq 0x3040
leaq 0xbed5(%rip), %rdi      # 0x15d50
leaq 0xa23a(%rip), %rsi      # 0x140bc
leaq 0xb924(%rip), %rcx      # 0x157ad
movl $0x632, %edx            # imm = 0x632
callq 0x3040
leaq 0xbed9(%rip), %rdi      # 0x15d73
leaq 0xa21b(%rip), %rsi      # 0x140bc
leaq 0xb905(%rip), %rcx      # 0x157ad
movl $0x633, %edx            # imm = 0x633
callq 0x3040
leaq 0xbedd(%rip), %rdi      # 0x15d96
leaq 0xa1fc(%rip), %rsi      # 0x140bc
leaq 0xb8e6(%rip), %rcx      # 0x157ad
movl $0x634, %edx            # imm = 0x634
callq 0x3040
leaq 0xbee1(%rip), %rdi      # 0x15db9
leaq 0xa1dd(%rip), %rsi      # 0x140bc
leaq 0xb8c7(%rip), %rcx      # 0x157ad
movl $0x635, %edx            # imm = 0x635
callq 0x3040
leaq 0xbeea(%rip), %rdi      # 0x15de1
leaq 0xa1be(%rip), %rsi      # 0x140bc
leaq 0xb8a8(%rip), %rcx      # 0x157ad
movl $0x636, %edx            # imm = 0x636
callq 0x3040
leaq 0xbeee(%rip), %rdi      # 0x15e04
leaq 0xa19f(%rip), %rsi      # 0x140bc
leaq 0xb889(%rip), %rcx      # 0x157ad
movl $0x637, %edx            # imm = 0x637
callq 0x3040
leaq 0xbef2(%rip), %rdi      # 0x15e27
leaq 0xa180(%rip), %rsi      # 0x140bc
leaq 0xb86a(%rip), %rcx      # 0x157ad
movl $0x638, %edx            # imm = 0x638
callq 0x3040
leaq 0xbef6(%rip), %rdi      # 0x15e4a
leaq 0xa161(%rip), %rsi      # 0x140bc
leaq 0xb84b(%rip), %rcx      # 0x157ad
movl $0x639, %edx            # imm = 0x639
callq 0x3040
leaq 0xbeff(%rip), %rdi      # 0x15e72
leaq 0xa142(%rip), %rsi      # 0x140bc
leaq 0xb82c(%rip), %rcx      # 0x157ad
movl $0x63c, %edx            # imm = 0x63C
callq 0x3040
leaq 0xbef6(%rip), %rdi      # 0x15e88
leaq 0xa123(%rip), %rsi      # 0x140bc
leaq 0xb80d(%rip), %rcx      # 0x157ad
movl $0x63d, %edx            # imm = 0x63D
callq 0x3040
leaq 0xbeea(%rip), %rdi      # 0x15e9b
leaq 0xa104(%rip), %rsi      # 0x140bc
leaq 0xb7ee(%rip), %rcx      # 0x157ad
movl $0x63e, %edx            # imm = 0x63E
callq 0x3040
leaq 0xbee1(%rip), %rdi      # 0x15eb1
leaq 0xa0e5(%rip), %rsi      # 0x140bc
leaq 0xb7cf(%rip), %rcx      # 0x157ad
movl $0x63f, %edx            # imm = 0x63F
callq 0x3040
leaq 0xbef8(%rip), %rdi      # 0x15ee7
leaq 0xa0c6(%rip), %rsi      # 0x140bc
leaq 0xb7b0(%rip), %rcx      # 0x157ad
movl $0x640, %edx            # imm = 0x640
callq 0x3040
leaq 0xbefc(%rip), %rdi      # 0x15f0a
leaq 0xa0a7(%rip), %rsi      # 0x140bc
leaq 0xb791(%rip), %rcx      # 0x157ad
movl $0x641, %edx            # imm = 0x641
callq 0x3040
leaq 0xbf00(%rip), %rdi      # 0x15f2d
leaq 0xa088(%rip), %rsi      # 0x140bc
leaq 0xb772(%rip), %rcx      # 0x157ad
movl $0x642, %edx            # imm = 0x642
callq 0x3040
leaq 0xbf04(%rip), %rdi      # 0x15f50
leaq 0xa069(%rip), %rsi      # 0x140bc
leaq 0xb753(%rip), %rcx      # 0x157ad
movl $0x643, %edx            # imm = 0x643
callq 0x3040
leaq 0xbf0d(%rip), %rdi      # 0x15f78
leaq 0xa04a(%rip), %rsi      # 0x140bc
leaq 0xb734(%rip), %rcx      # 0x157ad
movl $0x646, %edx            # imm = 0x646
callq 0x3040
leaq 0xbf04(%rip), %rdi      # 0x15f8e
leaq 0xa02b(%rip), %rsi      # 0x140bc
leaq 0xb715(%rip), %rcx      # 0x157ad
movl $0x647, %edx            # imm = 0x647
callq 0x3040
leaq 0xbef8(%rip), %rdi      # 0x15fa1
leaq 0xa00c(%rip), %rsi      # 0x140bc
leaq 0xb6f6(%rip), %rcx      # 0x157ad
movl $0x648, %edx            # imm = 0x648
callq 0x3040
leaq 0xbeee(%rip), %rdi      # 0x15fb6
leaq 0x9fed(%rip), %rsi      # 0x140bc
leaq 0xb6d7(%rip), %rcx      # 0x157ad
movl $0x649, %edx            # imm = 0x649
callq 0x3040
leaq 0xbee5(%rip), %rdi      # 0x15fcc
leaq 0x9fce(%rip), %rsi      # 0x140bc
leaq 0xb6b8(%rip), %rcx      # 0x157ad
movl $0x64a, %edx            # imm = 0x64A
callq 0x3040
leaq 0xa07b(%rip), %rdi      # 0x14181
leaq 0x9faf(%rip), %rsi      # 0x140bc
leaq 0xb699(%rip), %rcx      # 0x157ad
movl $0x64c, %edx            # imm = 0x64C
callq 0x3040