// File: /workspace/github_c_makefile_star2_O2/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 %r15
pushq %r14
pushq %rbx
subq $0xb0, %rsp
xorl %eax, %eax
callq 0xaa8d
movaps 0xdfbc(%rip), %xmm0     # 0x15690
leaq 0x80(%rsp), %rbx
movaps %xmm0, 0x20(%rbx)
movaps 0xdf99(%rip), %xmm0     # 0x15680
movaps %xmm0, 0x10(%rbx)
movaps 0xdf7e(%rip), %xmm0     # 0x15670
movaps %xmm0, (%rbx)
leaq 0x68(%rsp), %r14
movq %r14, %rdi
callq 0x332c
leaq 0x5c(%rsp), %rdx
andq $0x0, (%rdx)
andl $0x0, 0x8(%rdx)
movl 0x10(%r14), %eax
movl %eax, 0x10(%rsp)
movups (%r14), %xmm0
movups %xmm0, (%rsp)
leaq 0x18(%rsp), %r14
pushq $0x30
popq %rcx
movl $0xf8f6, %esi           # imm = 0xF8F6
movq %r14, %rdi
movq %rbx, %r8
callq 0xb68f
cmpq $0x0, 0x10(%r14)
jne 0x7adb
movl $0x80d9b122, %eax       # imm = 0x80D9B122
cmpq %rax, 0x30(%rsp)
jne 0x7afa
movabsq $-0x23c5e9023be06931, %rax # imm = 0xDC3A16FDC41F96CF
cmpq %rax, 0x38(%rsp)
jne 0x7b19
movabsq $0x10ffe7e38d227c3, %rax # imm = 0x10FFE7E38D227C3
cmpq %rax, 0x40(%rsp)
jne 0x7b38
movq 0x50(%rsp), %rax
testq %rax, %rax
je 0x7b57
movq 0x18(%rax), %r15
testq %r15, %r15
je 0x7b76
cmpb $0x4, 0x8(%r15)
jne 0x7b95
movq 0x20(%r15), %r14
testq %r14, %r14
je 0x7bb4
cmpq $0x20, 0x10(%r15)
jne 0x7bd3
movq 0x18(%r15), %rdi
addq $0x11, %rdi
leaq 0x81(%rsp), %rbx
pushq $0xf
popq %rdx
movq %rbx, %rsi
callq 0x30d0
testl %eax, %eax
jne 0x7bf2
movq (%r15), %rax
cmpq $0x0, (%rax)
jne 0x7c11
cmpq $0x0, 0x8(%rax)
jne 0x7c30
cmpq $0x0, 0x10(%rax)
jne 0x7c4f
cmpq $0x141b, 0x18(%rax)     # imm = 0x141B
jne 0x7c6e
cmpq $0x0, 0x20(%rax)
jne 0x7c8d
cmpq $0x0, 0x28(%rax)
jne 0x7cac
cmpq $0x0, 0x30(%rax)
jne 0x7ccb
cmpq $0x1419, 0x38(%rax)     # imm = 0x1419
jne 0x7cea
cmpq $0x0, 0x40(%rax)
jne 0x7d09
cmpq $0x0, 0x48(%rax)
jne 0x7d28
cmpq $0x0, 0x50(%rax)
jne 0x7d47
cmpq $0x1417, 0x58(%rax)     # imm = 0x1417
jne 0x7d66
cmpq $0x0, 0x60(%rax)
jne 0x7d85
cmpq $0x0, 0x68(%rax)
jne 0x7da4
cmpq $0x0, 0x70(%rax)
jne 0x7dc3
cmpq $0x1415, 0x78(%rax)     # imm = 0x1415
jne 0x7de2
cmpb $0x3, 0x8(%r14)
jne 0x7e01
movq 0x20(%r14), %r15
testq %r15, %r15
je 0x7e20
cmpq $0x20, 0x10(%r14)
jne 0x7e3f
movq 0x18(%r14), %rdi
addq $0x11, %rdi
pushq $0xf
popq %rdx
movq %rbx, %rsi
callq 0x30d0
testl %eax, %eax
jne 0x7e5e
movq (%r14), %rax
cmpq $0x0, (%rax)
jne 0x7e7d
cmpq $0x0, 0x8(%rax)
jne 0x7e9c
cmpq $0x0, 0x10(%rax)
jne 0x7ebb
cmpq $0x1b01, 0x18(%rax)     # imm = 0x1B01
jne 0x7eda
cmpq $0x0, 0x20(%rax)
jne 0x7ef9
cmpq $0x0, 0x28(%rax)
jne 0x7f18
cmpq $0x0, 0x30(%rax)
jne 0x7f37
cmpq $0x1aff, 0x38(%rax)     # imm = 0x1AFF
jne 0x7f56
cmpq $0x0, 0x40(%rax)
jne 0x7f75
cmpq $0x0, 0x48(%rax)
jne 0x7f94
cmpq $0x0, 0x50(%rax)
jne 0x7fb3
cmpq $0x1afd, 0x58(%rax)     # imm = 0x1AFD
jne 0x7fd2
cmpb $0x2, 0x8(%r15)
jne 0x7ff1
movq 0x20(%r15), %r14
testq %r14, %r14
je 0x8010
cmpq $0x20, 0x10(%r15)
jne 0x802f
movq 0x18(%r15), %rdi
addq $0x11, %rdi
pushq $0xf
popq %rdx
movq %rbx, %rsi
callq 0x30d0
testl %eax, %eax
jne 0x804e
movq (%r15), %rax
cmpq $0x0, (%rax)
jne 0x806d
cmpq $0x0, 0x8(%rax)
jne 0x808c
cmpq $0x0, 0x10(%rax)
jne 0x80ab
cmpq $0x206e, 0x18(%rax)     # imm = 0x206E
jne 0x80ca
cmpq $0x0, 0x20(%rax)
jne 0x80e9
cmpq $0x0, 0x28(%rax)
jne 0x8108
cmpq $0x0, 0x30(%rax)
jne 0x8127
cmpq $0x206c, 0x38(%rax)     # imm = 0x206C
jne 0x8146
cmpb $0x1, 0x8(%r14)
jne 0x8165
movq 0x20(%r14), %r15
testq %r15, %r15
je 0x8184
cmpq $0x20, 0x10(%r14)
jne 0x81a3
movq 0x18(%r14), %rdi
addq $0x11, %rdi
pushq $0xf
popq %rdx
movq %rbx, %rsi
callq 0x30d0
testl %eax, %eax
jne 0x81c2
movq (%r14), %rax
cmpq $0x0, (%rax)
jne 0x81e1
cmpq $0x0, 0x8(%rax)
jne 0x8200
cmpq $0x0, 0x10(%rax)
jne 0x821f
cmpq $0x2462, 0x18(%rax)     # imm = 0x2462
jne 0x823e
cmpb $0x0, 0x8(%r15)
jne 0x825d
cmpq $0x0, 0x20(%r15)
jne 0x827c
cmpq $0x0, (%r15)
jne 0x829b
cmpq $0x20, 0x10(%r15)
jne 0x82ba
movq 0x18(%r15), %rdi
addq $0x11, %rdi
pushq $0xf
popq %rdx
movq %rbx, %rsi
callq 0x30d0
testl %eax, %eax
jne 0x82d9
cmpq $0x0, 0x48(%rsp)
jne 0x82f8
xorl %eax, %eax
callq 0xada8
addq $0xb0, %rsp
popq %rbx
popq %r14
popq %r15
retq
leaq 0x954d(%rip), %rdi      # 0x1102f
leaq 0x9567(%rip), %rsi      # 0x11050
leaq 0xac51(%rip), %rcx      # 0x12741
movl $0x5fc, %edx            # imm = 0x5FC
callq 0x3040
leaq 0x956a(%rip), %rdi      # 0x1106b
leaq 0x9548(%rip), %rsi      # 0x11050
leaq 0xac32(%rip), %rcx      # 0x12741
movl $0x5fd, %edx            # imm = 0x5FD
callq 0x3040
leaq 0x9575(%rip), %rdi      # 0x11095
leaq 0x9529(%rip), %rsi      # 0x11050
leaq 0xac13(%rip), %rcx      # 0x12741
movl $0x5fe, %edx            # imm = 0x5FE
callq 0x3040
leaq 0x9588(%rip), %rdi      # 0x110c7
leaq 0x950a(%rip), %rsi      # 0x11050
leaq 0xabf4(%rip), %rcx      # 0x12741
movl $0x5ff, %edx            # imm = 0x5FF
callq 0x3040
leaq 0xabf3(%rip), %rdi      # 0x12751
leaq 0x94eb(%rip), %rsi      # 0x11050
leaq 0xabd5(%rip), %rcx      # 0x12741
movl $0x601, %edx            # imm = 0x601
callq 0x3040
leaq 0xabf0(%rip), %rdi      # 0x1276d
leaq 0x94cc(%rip), %rsi      # 0x11050
leaq 0xabb6(%rip), %rcx      # 0x12741
movl $0x603, %edx            # imm = 0x603
callq 0x3040
leaq 0xabf2(%rip), %rdi      # 0x1278e
leaq 0x94ad(%rip), %rsi      # 0x11050
leaq 0xab97(%rip), %rcx      # 0x12741
movl $0x606, %edx            # imm = 0x606
callq 0x3040
leaq 0xabe9(%rip), %rdi      # 0x127a4
leaq 0x948e(%rip), %rsi      # 0x11050
leaq 0xab78(%rip), %rcx      # 0x12741
movl $0x607, %edx            # imm = 0x607
callq 0x3040
leaq 0xabdd(%rip), %rdi      # 0x127b7
leaq 0x946f(%rip), %rsi      # 0x11050
leaq 0xab59(%rip), %rcx      # 0x12741
movl $0x608, %edx            # imm = 0x608
callq 0x3040
leaq 0xabd4(%rip), %rdi      # 0x127cd
leaq 0x9450(%rip), %rsi      # 0x11050
leaq 0xab3a(%rip), %rcx      # 0x12741
movl $0x609, %edx            # imm = 0x609
callq 0x3040
leaq 0xabeb(%rip), %rdi      # 0x12803
leaq 0x9431(%rip), %rsi      # 0x11050
leaq 0xab1b(%rip), %rcx      # 0x12741
movl $0x60a, %edx            # imm = 0x60A
callq 0x3040
leaq 0xabef(%rip), %rdi      # 0x12826
leaq 0x9412(%rip), %rsi      # 0x11050
leaq 0xaafc(%rip), %rcx      # 0x12741
movl $0x60b, %edx            # imm = 0x60B
callq 0x3040
leaq 0xabf3(%rip), %rdi      # 0x12849
leaq 0x93f3(%rip), %rsi      # 0x11050
leaq 0xaadd(%rip), %rcx      # 0x12741
movl $0x60c, %edx            # imm = 0x60C
callq 0x3040
leaq 0xabf7(%rip), %rdi      # 0x1286c
leaq 0x93d4(%rip), %rsi      # 0x11050
leaq 0xaabe(%rip), %rcx      # 0x12741
movl $0x60d, %edx            # imm = 0x60D
callq 0x3040
leaq 0xac00(%rip), %rdi      # 0x12894
leaq 0x93b5(%rip), %rsi      # 0x11050
leaq 0xaa9f(%rip), %rcx      # 0x12741
movl $0x60e, %edx            # imm = 0x60E
callq 0x3040
leaq 0xac04(%rip), %rdi      # 0x128b7
leaq 0x9396(%rip), %rsi      # 0x11050
leaq 0xaa80(%rip), %rcx      # 0x12741
movl $0x60f, %edx            # imm = 0x60F
callq 0x3040
leaq 0xac08(%rip), %rdi      # 0x128da
leaq 0x9377(%rip), %rsi      # 0x11050
leaq 0xaa61(%rip), %rcx      # 0x12741
movl $0x610, %edx            # imm = 0x610
callq 0x3040
leaq 0xac0c(%rip), %rdi      # 0x128fd
leaq 0x9358(%rip), %rsi      # 0x11050
leaq 0xaa42(%rip), %rcx      # 0x12741
movl $0x611, %edx            # imm = 0x611
callq 0x3040
leaq 0xac15(%rip), %rdi      # 0x12925
leaq 0x9339(%rip), %rsi      # 0x11050
leaq 0xaa23(%rip), %rcx      # 0x12741
movl $0x612, %edx            # imm = 0x612
callq 0x3040
leaq 0xac19(%rip), %rdi      # 0x12948
leaq 0x931a(%rip), %rsi      # 0x11050
leaq 0xaa04(%rip), %rcx      # 0x12741
movl $0x613, %edx            # imm = 0x613
callq 0x3040
leaq 0xac1d(%rip), %rdi      # 0x1296b
leaq 0x92fb(%rip), %rsi      # 0x11050
leaq 0xa9e5(%rip), %rcx      # 0x12741
movl $0x614, %edx            # imm = 0x614
callq 0x3040
leaq 0xac21(%rip), %rdi      # 0x1298e
leaq 0x92dc(%rip), %rsi      # 0x11050
leaq 0xa9c6(%rip), %rcx      # 0x12741
movl $0x615, %edx            # imm = 0x615
callq 0x3040
leaq 0xac2a(%rip), %rdi      # 0x129b6
leaq 0x92bd(%rip), %rsi      # 0x11050
leaq 0xa9a7(%rip), %rcx      # 0x12741
movl $0x616, %edx            # imm = 0x616
callq 0x3040
leaq 0xac2e(%rip), %rdi      # 0x129d9
leaq 0x929e(%rip), %rsi      # 0x11050
leaq 0xa988(%rip), %rcx      # 0x12741
movl $0x617, %edx            # imm = 0x617
callq 0x3040
leaq 0xac32(%rip), %rdi      # 0x129fc
leaq 0x927f(%rip), %rsi      # 0x11050
leaq 0xa969(%rip), %rcx      # 0x12741
movl $0x618, %edx            # imm = 0x618
callq 0x3040
leaq 0xac36(%rip), %rdi      # 0x12a1f
leaq 0x9260(%rip), %rsi      # 0x11050
leaq 0xa94a(%rip), %rcx      # 0x12741
movl $0x619, %edx            # imm = 0x619
callq 0x3040
leaq 0xac3f(%rip), %rdi      # 0x12a47
leaq 0x9241(%rip), %rsi      # 0x11050
leaq 0xa92b(%rip), %rcx      # 0x12741
movl $0x61c, %edx            # imm = 0x61C
callq 0x3040
leaq 0xac36(%rip), %rdi      # 0x12a5d
leaq 0x9222(%rip), %rsi      # 0x11050
leaq 0xa90c(%rip), %rcx      # 0x12741
movl $0x61d, %edx            # imm = 0x61D
callq 0x3040
leaq 0xac2a(%rip), %rdi      # 0x12a70
leaq 0x9203(%rip), %rsi      # 0x11050
leaq 0xa8ed(%rip), %rcx      # 0x12741
movl $0x61e, %edx            # imm = 0x61E
callq 0x3040
leaq 0xac21(%rip), %rdi      # 0x12a86
leaq 0x91e4(%rip), %rsi      # 0x11050
leaq 0xa8ce(%rip), %rcx      # 0x12741
movl $0x61f, %edx            # imm = 0x61F
callq 0x3040
leaq 0xac38(%rip), %rdi      # 0x12abc
leaq 0x91c5(%rip), %rsi      # 0x11050
leaq 0xa8af(%rip), %rcx      # 0x12741
movl $0x620, %edx            # imm = 0x620
callq 0x3040
leaq 0xac3c(%rip), %rdi      # 0x12adf
leaq 0x91a6(%rip), %rsi      # 0x11050
leaq 0xa890(%rip), %rcx      # 0x12741
movl $0x621, %edx            # imm = 0x621
callq 0x3040
leaq 0xac40(%rip), %rdi      # 0x12b02
leaq 0x9187(%rip), %rsi      # 0x11050
leaq 0xa871(%rip), %rcx      # 0x12741
movl $0x622, %edx            # imm = 0x622
callq 0x3040
leaq 0xac44(%rip), %rdi      # 0x12b25
leaq 0x9168(%rip), %rsi      # 0x11050
leaq 0xa852(%rip), %rcx      # 0x12741
movl $0x623, %edx            # imm = 0x623
callq 0x3040
leaq 0xac4d(%rip), %rdi      # 0x12b4d
leaq 0x9149(%rip), %rsi      # 0x11050
leaq 0xa833(%rip), %rcx      # 0x12741
movl $0x624, %edx            # imm = 0x624
callq 0x3040
leaq 0xac51(%rip), %rdi      # 0x12b70
leaq 0x912a(%rip), %rsi      # 0x11050
leaq 0xa814(%rip), %rcx      # 0x12741
movl $0x625, %edx            # imm = 0x625
callq 0x3040
leaq 0xac55(%rip), %rdi      # 0x12b93
leaq 0x910b(%rip), %rsi      # 0x11050
leaq 0xa7f5(%rip), %rcx      # 0x12741
movl $0x626, %edx            # imm = 0x626
callq 0x3040
leaq 0xac59(%rip), %rdi      # 0x12bb6
leaq 0x90ec(%rip), %rsi      # 0x11050
leaq 0xa7d6(%rip), %rcx      # 0x12741
movl $0x627, %edx            # imm = 0x627
callq 0x3040
leaq 0xac62(%rip), %rdi      # 0x12bde
leaq 0x90cd(%rip), %rsi      # 0x11050
leaq 0xa7b7(%rip), %rcx      # 0x12741
movl $0x628, %edx            # imm = 0x628
callq 0x3040
leaq 0xac66(%rip), %rdi      # 0x12c01
leaq 0x90ae(%rip), %rsi      # 0x11050
leaq 0xa798(%rip), %rcx      # 0x12741
movl $0x629, %edx            # imm = 0x629
callq 0x3040
leaq 0xac6a(%rip), %rdi      # 0x12c24
leaq 0x908f(%rip), %rsi      # 0x11050
leaq 0xa779(%rip), %rcx      # 0x12741
movl $0x62a, %edx            # imm = 0x62A
callq 0x3040
leaq 0xac6e(%rip), %rdi      # 0x12c47
leaq 0x9070(%rip), %rsi      # 0x11050
leaq 0xa75a(%rip), %rcx      # 0x12741
movl $0x62b, %edx            # imm = 0x62B
callq 0x3040
leaq 0xac77(%rip), %rdi      # 0x12c6f
leaq 0x9051(%rip), %rsi      # 0x11050
leaq 0xa73b(%rip), %rcx      # 0x12741
movl $0x62e, %edx            # imm = 0x62E
callq 0x3040
leaq 0xac6e(%rip), %rdi      # 0x12c85
leaq 0x9032(%rip), %rsi      # 0x11050
leaq 0xa71c(%rip), %rcx      # 0x12741
movl $0x62f, %edx            # imm = 0x62F
callq 0x3040
leaq 0xac62(%rip), %rdi      # 0x12c98
leaq 0x9013(%rip), %rsi      # 0x11050
leaq 0xa6fd(%rip), %rcx      # 0x12741
movl $0x630, %edx            # imm = 0x630
callq 0x3040
leaq 0xac59(%rip), %rdi      # 0x12cae
leaq 0x8ff4(%rip), %rsi      # 0x11050
leaq 0xa6de(%rip), %rcx      # 0x12741
movl $0x631, %edx            # imm = 0x631
callq 0x3040
leaq 0xac70(%rip), %rdi      # 0x12ce4
leaq 0x8fd5(%rip), %rsi      # 0x11050
leaq 0xa6bf(%rip), %rcx      # 0x12741
movl $0x632, %edx            # imm = 0x632
callq 0x3040
leaq 0xac74(%rip), %rdi      # 0x12d07
leaq 0x8fb6(%rip), %rsi      # 0x11050
leaq 0xa6a0(%rip), %rcx      # 0x12741
movl $0x633, %edx            # imm = 0x633
callq 0x3040
leaq 0xac78(%rip), %rdi      # 0x12d2a
leaq 0x8f97(%rip), %rsi      # 0x11050
leaq 0xa681(%rip), %rcx      # 0x12741
movl $0x634, %edx            # imm = 0x634
callq 0x3040
leaq 0xac7c(%rip), %rdi      # 0x12d4d
leaq 0x8f78(%rip), %rsi      # 0x11050
leaq 0xa662(%rip), %rcx      # 0x12741
movl $0x635, %edx            # imm = 0x635
callq 0x3040
leaq 0xac85(%rip), %rdi      # 0x12d75
leaq 0x8f59(%rip), %rsi      # 0x11050
leaq 0xa643(%rip), %rcx      # 0x12741
movl $0x636, %edx            # imm = 0x636
callq 0x3040
leaq 0xac89(%rip), %rdi      # 0x12d98
leaq 0x8f3a(%rip), %rsi      # 0x11050
leaq 0xa624(%rip), %rcx      # 0x12741
movl $0x637, %edx            # imm = 0x637
callq 0x3040
leaq 0xac8d(%rip), %rdi      # 0x12dbb
leaq 0x8f1b(%rip), %rsi      # 0x11050
leaq 0xa605(%rip), %rcx      # 0x12741
movl $0x638, %edx            # imm = 0x638
callq 0x3040
leaq 0xac91(%rip), %rdi      # 0x12dde
leaq 0x8efc(%rip), %rsi      # 0x11050
leaq 0xa5e6(%rip), %rcx      # 0x12741
movl $0x639, %edx            # imm = 0x639
callq 0x3040
leaq 0xac9a(%rip), %rdi      # 0x12e06
leaq 0x8edd(%rip), %rsi      # 0x11050
leaq 0xa5c7(%rip), %rcx      # 0x12741
movl $0x63c, %edx            # imm = 0x63C
callq 0x3040
leaq 0xac91(%rip), %rdi      # 0x12e1c
leaq 0x8ebe(%rip), %rsi      # 0x11050
leaq 0xa5a8(%rip), %rcx      # 0x12741
movl $0x63d, %edx            # imm = 0x63D
callq 0x3040
leaq 0xac85(%rip), %rdi      # 0x12e2f
leaq 0x8e9f(%rip), %rsi      # 0x11050
leaq 0xa589(%rip), %rcx      # 0x12741
movl $0x63e, %edx            # imm = 0x63E
callq 0x3040
leaq 0xac7c(%rip), %rdi      # 0x12e45
leaq 0x8e80(%rip), %rsi      # 0x11050
leaq 0xa56a(%rip), %rcx      # 0x12741
movl $0x63f, %edx            # imm = 0x63F
callq 0x3040
leaq 0xac93(%rip), %rdi      # 0x12e7b
leaq 0x8e61(%rip), %rsi      # 0x11050
leaq 0xa54b(%rip), %rcx      # 0x12741
movl $0x640, %edx            # imm = 0x640
callq 0x3040
leaq 0xac97(%rip), %rdi      # 0x12e9e
leaq 0x8e42(%rip), %rsi      # 0x11050
leaq 0xa52c(%rip), %rcx      # 0x12741
movl $0x641, %edx            # imm = 0x641
callq 0x3040
leaq 0xac9b(%rip), %rdi      # 0x12ec1
leaq 0x8e23(%rip), %rsi      # 0x11050
leaq 0xa50d(%rip), %rcx      # 0x12741
movl $0x642, %edx            # imm = 0x642
callq 0x3040
leaq 0xac9f(%rip), %rdi      # 0x12ee4
leaq 0x8e04(%rip), %rsi      # 0x11050
leaq 0xa4ee(%rip), %rcx      # 0x12741
movl $0x643, %edx            # imm = 0x643
callq 0x3040
leaq 0xaca8(%rip), %rdi      # 0x12f0c
leaq 0x8de5(%rip), %rsi      # 0x11050
leaq 0xa4cf(%rip), %rcx      # 0x12741
movl $0x646, %edx            # imm = 0x646
callq 0x3040
leaq 0xac9f(%rip), %rdi      # 0x12f22
leaq 0x8dc6(%rip), %rsi      # 0x11050
leaq 0xa4b0(%rip), %rcx      # 0x12741
movl $0x647, %edx            # imm = 0x647
callq 0x3040
leaq 0xac93(%rip), %rdi      # 0x12f35
leaq 0x8da7(%rip), %rsi      # 0x11050
leaq 0xa491(%rip), %rcx      # 0x12741
movl $0x648, %edx            # imm = 0x648
callq 0x3040
leaq 0xac89(%rip), %rdi      # 0x12f4a
leaq 0x8d88(%rip), %rsi      # 0x11050
leaq 0xa472(%rip), %rcx      # 0x12741
movl $0x649, %edx            # imm = 0x649
callq 0x3040
leaq 0xac80(%rip), %rdi      # 0x12f60
leaq 0x8d69(%rip), %rsi      # 0x11050
leaq 0xa453(%rip), %rcx      # 0x12741
movl $0x64a, %edx            # imm = 0x64A
callq 0x3040
leaq 0x8e16(%rip), %rdi      # 0x11115
leaq 0x8d4a(%rip), %rsi      # 0x11050
leaq 0xa434(%rip), %rcx      # 0x12741
movl $0x64c, %edx            # imm = 0x64C
callq 0x3040