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


    // 363d3d37363df3
#define PROGRAM_ECHO \
        CALLDATASIZE, RETURNDATASIZE, RETURNDATASIZE, CALLDATACOPY, \
        CALLDATASIZE, RETURNDATASIZE, RETURN
    op_t echo[] = {
        PROGRAM_ECHO
    };
    // 66363d3d37363df33d5260076019f3
    op_t createEcho[] = {
        PUSH7, PROGRAM_ECHO, RETURNDATASIZE, MSTORE,
        PUSH1, 7, PUSH1, 25, RETURN
    };
#undef PROGRAM_ECHO
    address_t from = AddressFromHex42("0x4a6f6B9fF1fc974096f9063a45Fd12bD5B928AD1");
    uint64_t gas = 54659;
    val_t value;
    value[0] = 0;
    value[1] = 0;
    value[2] = 0;

    data_t input;
    input.content = createEcho;
    input.size = sizeof(createEcho);

    result_t createResult = txCreate(from, gas, value, input);
    assert(UPPER(UPPER(createResult.status)) == 0);
    assert(LOWER(UPPER(createResult.status)) == 0x80d9b122);
    assert(UPPER(LOWER(createResult.status)) == 0xdc3a16fdc41f96cf);
    assert(LOWER(LOWER(createResult.status)) == 0x010ffe7e38d227c3);
    assert(createResult.returnData.size == sizeof(echo));
    assert(memcmp(createResult.returnData.content, echo, sizeof(echo)) == 0);
    assert(createResult.gasRemaining == 0);

    gas = 57035;
    // 385952385f59395f353b5f595f353c595ff3
#define PROGRAM_EXTCODECOPY \
    CODESIZE, MSIZE, MSTORE, \
    CODESIZE, PUSH0, MSIZE, CODECOPY, \
    PUSH0, CALLDATALOAD, EXTCODESIZE, PUSH0, MSIZE, PUSH0, CALLDATALOAD, EXTCODECOPY, \
    MSIZE, PUSH0, RETURN
    op_t extcodecopy[] = {
        PROGRAM_EXTCODECOPY
    };
    // 71385952385f59395f353b5f595f353c595ff33d526012600ef3
    op_t createExtCodeCopy[] = {
        PUSH18, PROGRAM_EXTCODECOPY,
        RETURNDATASIZE, MSTORE,
        PUSH1, 18, PUSH1, 14, RETURN
    };
#undef PROGRAM_EXTCODECOPY
    input.size = sizeof(createExtCodeCopy);
    input.content = createExtCodeCopy;
    result_t secondCreateResult = txCreate(from, gas, value, input);
    assert(memcmp(secondCreateResult.returnData.content, extcodecopy, sizeof(extcodecopy)) == 0);
    assert(UPPER(UPPER(secondCreateResult.status)) == 0);
    assert(LOWER(UPPER(secondCreateResult.status)) == 0x47784b21);
    assert(UPPER(LOWER(secondCreateResult.status)) == 0x780d1e1d5efcd005);
    assert(LOWER(LOWER(secondCreateResult.status)) == 0xc5fe542813b6d71e);
    assert(secondCreateResult.gasRemaining == 0);

    // ensure upper bytes of upcoming calldata are zero
    address_t locations[4];
    bzero(locations, sizeof(locations));
    address_t echoAddress = locations[1] = AddressFromUint256(&createResult.status);
    address_t extcodecopyAddress = locations[3] = AddressFromUint256(&secondCreateResult.status);

    address_t to = extcodecopyAddress;

    input.size = 32;

    gas = 24117;
    input.content = locations[1].address - 12;
    result_t examineFirstAccount = txCall(from, gas, to, value, input, NULL);
    assert(UPPER(UPPER(examineFirstAccount.status)) == 0);
    assert(LOWER(UPPER(examineFirstAccount.status)) == 0);
    assert(UPPER(LOWER(examineFirstAccount.status)) == 0);
    assert(LOWER(LOWER(examineFirstAccount.status)) == 1);
    assert(examineFirstAccount.returnData.size == 96);
    for (int i = 0; i < 31; i++) {
        assert(examineFirstAccount.returnData.content[i] == 0);
    }
    assert(examineFirstAccount.returnData.content[31] == sizeof(extcodecopy));
    assert(memcmp(examineFirstAccount.returnData.content+32, extcodecopy, sizeof(extcodecopy)) == 0);
    for (int i = 32 + sizeof(extcodecopy); i < 64; i++) {
        assert(examineFirstAccount.returnData.content[i] == 0);
    }
    assert(memcmp(examineFirstAccount.returnData.content+64, echo, sizeof(echo)) == 0);
    for (int i = 64 + sizeof(echo); i < 96; i++) {
        assert(examineFirstAccount.returnData.content[i] == 0);
    }
    assert(examineFirstAccount.gasRemaining == 0);

    gas = 21617;
    input.content = locations[3].address - 12;
    result_t examineSecondAccount = txCall(from, gas, to, value, input, NULL);
    assert(UPPER(UPPER(examineSecondAccount.status)) == 0);
    assert(LOWER(UPPER(examineSecondAccount.status)) == 0);
    assert(UPPER(LOWER(examineSecondAccount.status)) == 0);
    assert(LOWER(LOWER(examineSecondAccount.status)) == 1);
    assert(examineSecondAccount.returnData.size == 96);
    for (int i = 0; i < 31; i++) {
        assert(examineSecondAccount.returnData.content[i] == 0);
    }
    assert(examineSecondAccount.returnData.content[31] == sizeof(extcodecopy));
    assert(memcmp(examineSecondAccount.returnData.content+32, extcodecopy, sizeof(extcodecopy)) == 0);
    for (int i = 32 + sizeof(extcodecopy); i < 64; i++) {
        assert(examineSecondAccount.returnData.content[i] == 0);
    }
    assert(memcmp(examineSecondAccount.returnData.content+64, extcodecopy, sizeof(extcodecopy)) == 0);
    for (int i = 64 + sizeof(extcodecopy); i < 96; i++) {
        assert(examineSecondAccount.returnData.content[i] == 0);
    }
    assert(examineSecondAccount.gasRemaining == 0);

    evmFinalize();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x208, %rsp            # imm = 0x208
xorl %eax, %eax
callq 0xca4d
movabsq $-0xce69ff89fadc20d, %rax # imm = 0xF319600760523DF3
movq %rax, 0x77(%rsp)
movabsq $-0xcc2c9c8c2c2c99a, %rax # imm = 0xF33D36373D3D3666
movq %rax, 0x70(%rsp)
movq $-0x2, %r14
leaq 0x50(%rsp), %r15
leaq 0xd200(%rip), %r12      # 0x14070
movq 0x17181(%rip), %r13     # 0x1dff8
leaq 0x1025f(%rip), %rbx     # 0x170dd
movzbl 0x4(%r14,%r12), %ecx
leal -0x30(%rcx), %ebp
cmpb $0xa, %bpl
jb 0x6ea5
leal -0x61(%rcx), %eax
cmpb $0x5, %al
ja 0x6e99
addb $-0x57, %cl
jmp 0x6ea3
leal -0x41(%rcx), %eax
cmpb $0x5, %al
ja 0x6ee3
addb $-0x37, %cl
movl %ecx, %ebp
movzbl 0x5(%r14,%r12), %ecx
leal -0x30(%rcx), %eax
cmpb $0xa, %al
jb 0x6eca
leal -0x61(%rcx), %eax
cmpb $0x5, %al
ja 0x6ebe
addb $-0x57, %cl
jmp 0x6ec8
leal -0x41(%rcx), %eax
cmpb $0x5, %al
ja 0x6ef8
addb $-0x37, %cl
movl %ecx, %eax
shlb $0x4, %bpl
addb %al, %bpl
movb %bpl, (%r15)
addq $0x2, %r14
incq %r15
cmpq $0x26, %r14
jb 0x6e7e
jmp 0x6f0c
movq (%r13), %rdi
movq %rbx, %rsi
movl %ecx, %edx
xorl %eax, %eax
callq 0x30a0
movb $-0x1, %bpl
jmp 0x6ea5
movq (%r13), %rdi
movq %rbx, %rsi
movl %ecx, %edx
xorl %eax, %eax
callq 0x30a0
movb $-0x1, %al
jmp 0x6eca
leaq 0x64(%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 0x80(%rsp), %rbx
leaq 0x70(%rsp), %r8
movl $0xd583, %esi           # imm = 0xD583
movl $0xf, %ecx
movq %rbx, %rdi
callq 0xd683
cmpq $0x0, 0x10(%rbx)
jne 0x75d1
movl $0x80d9b122, %eax       # imm = 0x80D9B122
cmpq %rax, 0x98(%rsp)
jne 0x75f0
movabsq $-0x23c5e9023be06931, %rax # imm = 0xDC3A16FDC41F96CF
cmpq %rax, 0xa0(%rsp)
jne 0x760f
movabsq $0x10ffe7e38d227c3, %rax # imm = 0x10FFE7E38D227C3
cmpq %rax, 0xa8(%rsp)
jne 0x762e
cmpq $0x7, 0x80(%rsp)
jne 0x764d
movq 0x88(%rsp), %rax
movl $0x373d3d36, %ecx       # imm = 0x373D3D36
xorl (%rax), %ecx
movl $0xf33d3637, %edx       # imm = 0xF33D3637
xorl 0x3(%rax), %edx
orl %ecx, %edx
jne 0x766c
cmpq $0x0, 0xb0(%rsp)
jne 0x768b
movups 0x11489(%rip), %xmm0    # 0x1846a
leaq 0x1e0(%rsp), %r8
movups %xmm0, 0xa(%r8)
movaps 0x1146b(%rip), %xmm0    # 0x18460
movaps %xmm0, (%r8)
movl 0x60(%rsp), %eax
movl %eax, 0x10(%rsp)
movups 0x50(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x150(%rsp), %rbx
leaq 0x64(%rsp), %rdx
movl $0xdecb, %esi           # imm = 0xDECB
movl $0x1a, %ecx
movq %rbx, %rdi
callq 0xd683
movq 0x8(%rbx), %rax
movdqu (%rax), %xmm0
movzwl 0x10(%rax), %eax
movd %eax, %xmm1
pcmpeqb 0xcfcf(%rip), %xmm0     # 0x14010
pcmpeqb 0xcfd7(%rip), %xmm1     # 0x14020
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
jne 0x76aa
cmpq $0x0, 0x160(%rsp)
jne 0x76c9
cmpq $0x47784b21, 0x168(%rsp) # imm = 0x47784B21
jne 0x76e8
movabsq $0x780d1e1d5efcd005, %rax # imm = 0x780D1E1D5EFCD005
cmpq %rax, 0x170(%rsp)
jne 0x7707
movabsq $-0x3a01abd7ec4928e2, %rax # imm = 0xC5FE542813B6D71E
cmpq %rax, 0x178(%rsp)
jne 0x7726
cmpq $0x0, 0x180(%rsp)
jne 0x7745
pxor %xmm0, %xmm0
leaq 0x198(%rsp), %r8
movdqa %xmm0, 0x8(%r8)
movdqa %xmm0, 0x18(%r8)
movdqa %xmm0, 0x28(%r8)
movdqa %xmm0, -0x8(%r8)
movq 0x98(%rsp), %rax
movl %eax, %ecx
shrl $0x18, %ecx
movb %cl, 0xc(%r8)
movl %eax, %ecx
shrl $0x10, %ecx
movb %cl, 0xd(%r8)
movq 0xa0(%rsp), %rcx
movb %ah, 0x1a6(%rsp)
movb %al, 0xf(%r8)
movq %rcx, %rax
shrq $0x38, %rax
movb %al, 0x10(%r8)
movq %rcx, %rax
shrq $0x30, %rax
movb %al, 0x11(%r8)
movq %rcx, %rax
shrq $0x28, %rax
movb %al, 0x12(%r8)
movq %rcx, %rax
shrq $0x20, %rax
movb %al, 0x13(%r8)
movl %ecx, %eax
shrl $0x18, %eax
movb %al, 0x14(%r8)
movl %ecx, %eax
shrl $0x10, %eax
movb %al, 0x15(%r8)
movq 0xa8(%rsp), %rax
movb %ch, 0x1ae(%rsp)
movb %cl, 0x17(%r8)
movq %rax, %rcx
shrq $0x38, %rcx
movb %cl, 0x18(%r8)
movq %rax, %rcx
shrq $0x30, %rcx
movb %cl, 0x19(%r8)
movq %rax, %rcx
shrq $0x28, %rcx
movb %cl, 0x1a(%r8)
movq %rax, %rcx
shrq $0x20, %rcx
movb %cl, 0x1b(%r8)
movl %eax, %ecx
shrl $0x18, %ecx
movb %cl, 0x1c(%r8)
movl %eax, %ecx
shrl $0x10, %ecx
movb %cl, 0x1d(%r8)
movb %ah, 0x1b6(%rsp)
movb %al, 0x1f(%r8)
movq 0x178(%rsp), %rax
movabsq $0x1d1e0d78214b7847, %rcx # imm = 0x1D1E0D78214B7847
movq %rcx, 0x34(%r8)
movq %rax, %rcx
shrq $0x38, %rcx
movl $0x5d0fc5e, 0x3c(%r8)   # imm = 0x5D0FC5E
movb %cl, 0x40(%r8)
movq %rax, %rcx
shrq $0x30, %rcx
movb %cl, 0x41(%r8)
movq %rax, %rcx
shrq $0x28, %rcx
movb %cl, 0x42(%r8)
movq %rax, %rcx
shrq $0x20, %rcx
movb %cl, 0x43(%r8)
movl %eax, %ecx
shrl $0x18, %ecx
movb %cl, 0x44(%r8)
movl %eax, %ecx
shrl $0x10, %ecx
movb %cl, 0x45(%r8)
movb %ah, 0x1de(%rsp)
movb %al, 0x47(%r8)
movl 0x44(%r8), %eax
movl %eax, 0x40(%rsp)
movq 0x34(%r8), %rax
movq %rax, 0x30(%rsp)
movl 0x3c(%r8), %eax
movl %eax, 0x38(%rsp)
movb 0x40(%r8), %al
movb %al, 0x3c(%rsp)
movb 0x41(%r8), %al
movb %al, 0x3d(%rsp)
movb 0x42(%r8), %al
movb %al, 0x3e(%rsp)
movb 0x43(%r8), %al
movb %al, 0x3f(%rsp)
movl 0x40(%rsp), %eax
movl %eax, 0x28(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movl 0x60(%rsp), %eax
movl %eax, 0x10(%rsp)
movups 0x50(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x110(%rsp), %rbx
leaq 0x64(%rsp), %rdx
movl $0x5e35, %esi           # imm = 0x5E35
movl $0x20, %ecx
movq %rbx, %rdi
xorl %r9d, %r9d
callq 0xd126
cmpq $0x0, 0x10(%rbx)
jne 0x7764
cmpq $0x0, 0x128(%rsp)
jne 0x7783
cmpq $0x0, 0x130(%rsp)
jne 0x77a2
cmpq $0x1, 0x138(%rsp)
jne 0x77c1
cmpq $0x60, 0x110(%rsp)
jne 0x77e0
movabsq $0x593c355f595f3b35, %rcx # imm = 0x593C355F595F3B35
movabsq $0x5f39595f38525938, %rdx # imm = 0x5F39595F38525938
movq 0x118(%rsp), %rax
xorl %esi, %esi
cmpb $0x0, (%rax,%rsi)
jne 0x7517
incq %rsi
cmpq $0x1f, %rsi
jne 0x72f1
cmpb $0x12, 0x1f(%rax)
jne 0x77ff
movdqu 0x20(%rax), %xmm0
movq %rdx, %xmm2
movq %rcx, %xmm1
punpcklqdq %xmm1, %xmm2    # xmm2 = xmm2[0],xmm1[0]
movzwl 0x30(%rax), %ecx
movd %ecx, %xmm1
pcmpeqb 0xccef(%rip), %xmm1     # 0x14020
pcmpeqb %xmm2, %xmm0
pand %xmm0, %xmm1
pmovmskb %xmm1, %ecx
cmpl $0xffff, %ecx           # imm = 0xFFFF
jne 0x781e
xorl %ecx, %ecx
cmpb $0x0, 0x32(%rax,%rcx)
jne 0x7536
incq %rcx
cmpq $0xe, %rcx
jne 0x734b
movl $0x373d3d36, %ecx       # imm = 0x373D3D36
xorl 0x40(%rax), %ecx
movl $0xf33d3637, %edx       # imm = 0xF33D3637
xorl 0x43(%rax), %edx
orl %ecx, %edx
jne 0x783d
xorl %ecx, %ecx
cmpb $0x0, 0x47(%rax,%rcx)
jne 0x7555
incq %rcx
cmpq $0x19, %rcx
jne 0x7379
movdqa %xmm2, 0xc0(%rsp)
cmpq $0x0, 0x140(%rsp)
jne 0x785c
leaq 0x1c0(%rsp), %r8
movl 0x40(%rsp), %eax
movl %eax, 0x28(%rsp)
movaps 0x30(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movl 0x60(%rsp), %eax
movl %eax, 0x10(%rsp)
movups 0x50(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0xd0(%rsp), %rbx
leaq 0x64(%rsp), %rdx
movl $0x5471, %esi           # imm = 0x5471
movl $0x20, %ecx
movq %rbx, %rdi
xorl %r9d, %r9d
callq 0xd126
cmpq $0x0, 0x10(%rbx)
jne 0x787b
cmpq $0x0, 0xe8(%rsp)
jne 0x789a
cmpq $0x0, 0xf0(%rsp)
movdqa 0xc0(%rsp), %xmm2
jne 0x78b9
cmpq $0x1, 0xf8(%rsp)
jne 0x78d8
cmpq $0x60, 0xd0(%rsp)
jne 0x78f7
movq 0xd8(%rsp), %rax
xorl %ecx, %ecx
cmpb $0x0, (%rax,%rcx)
jne 0x7574
incq %rcx
cmpq $0x1f, %rcx
jne 0x744c
cmpb $0x12, 0x1f(%rax)
jne 0x7916
movdqu 0x20(%rax), %xmm0
movzwl 0x30(%rax), %ecx
movd %ecx, %xmm1
pcmpeqb 0xcba2(%rip), %xmm1     # 0x14020
pcmpeqb %xmm2, %xmm0
pand %xmm0, %xmm1
pmovmskb %xmm1, %ecx
cmpl $0xffff, %ecx           # imm = 0xFFFF
jne 0x7935
xorl %ecx, %ecx
cmpb $0x0, 0x32(%rax,%rcx)
jne 0x7593
incq %rcx
cmpq $0xe, %rcx
jne 0x7498
movdqu 0x40(%rax), %xmm0
movzwl 0x50(%rax), %ecx
movd %ecx, %xmm1
pcmpeqb 0xcb5f(%rip), %xmm1     # 0x14020
pcmpeqb %xmm2, %xmm0
pand %xmm0, %xmm1
pmovmskb %xmm1, %ecx
cmpl $0xffff, %ecx           # imm = 0xFFFF
jne 0x7954
xorl %ecx, %ecx
cmpb $0x0, 0x52(%rax,%rcx)
jne 0x75b2
incq %rcx
cmpq $0xe, %rcx
jne 0x74db
cmpq $0x0, 0x100(%rsp)
jne 0x7973
xorl %eax, %eax
callq 0xcd49
addq $0x208, %rsp            # imm = 0x208
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xd7cc(%rip), %rdi      # 0x14cea
leaq 0xcb97(%rip), %rsi      # 0x140bc
leaq 0xd43e(%rip), %rcx      # 0x1496a
movl $0x454, %edx            # imm = 0x454
callq 0x3040
leaq 0xd7ad(%rip), %rdi      # 0x14cea
leaq 0xcb78(%rip), %rsi      # 0x140bc
leaq 0xd41f(%rip), %rcx      # 0x1496a
movl $0x459, %edx            # imm = 0x459
callq 0x3040
leaq 0xd78e(%rip), %rdi      # 0x14cea
leaq 0xcb59(%rip), %rsi      # 0x140bc
leaq 0xd400(%rip), %rcx      # 0x1496a
movl $0x45d, %edx            # imm = 0x45D
callq 0x3040
leaq 0xd991(%rip), %rdi      # 0x14f0c
leaq 0xcb3a(%rip), %rsi      # 0x140bc
leaq 0xd3e1(%rip), %rcx      # 0x1496a
movl $0x46a, %edx            # imm = 0x46A
callq 0x3040
leaq 0xd972(%rip), %rdi      # 0x14f0c
leaq 0xcb1b(%rip), %rsi      # 0x140bc
leaq 0xd3c2(%rip), %rcx      # 0x1496a
movl $0x46f, %edx            # imm = 0x46F
callq 0x3040
leaq 0xd953(%rip), %rdi      # 0x14f0c
leaq 0xcafc(%rip), %rsi      # 0x140bc
leaq 0xd3a3(%rip), %rcx      # 0x1496a
movl $0x473, %edx            # imm = 0x473
callq 0x3040
leaq 0xd36b(%rip), %rdi      # 0x14943
leaq 0xcadd(%rip), %rsi      # 0x140bc
leaq 0xd384(%rip), %rcx      # 0x1496a
movl $0x41e, %edx            # imm = 0x41E
callq 0x3040
leaq 0xd38b(%rip), %rdi      # 0x14982
leaq 0xcabe(%rip), %rsi      # 0x140bc
leaq 0xd365(%rip), %rcx      # 0x1496a
movl $0x41f, %edx            # imm = 0x41F
callq 0x3040
leaq 0xd39c(%rip), %rdi      # 0x149b2
leaq 0xca9f(%rip), %rsi      # 0x140bc
leaq 0xd346(%rip), %rcx      # 0x1496a
movl $0x420, %edx            # imm = 0x420
callq 0x3040
leaq 0xd3b5(%rip), %rdi      # 0x149ea
leaq 0xca80(%rip), %rsi      # 0x140bc
leaq 0xd327(%rip), %rcx      # 0x1496a
movl $0x421, %edx            # imm = 0x421
callq 0x3040
leaq 0xd3ce(%rip), %rdi      # 0x14a22
leaq 0xca61(%rip), %rsi      # 0x140bc
leaq 0xd308(%rip), %rcx      # 0x1496a
movl $0x422, %edx            # imm = 0x422
callq 0x3040
leaq 0xd3dc(%rip), %rdi      # 0x14a4f
leaq 0xca42(%rip), %rsi      # 0x140bc
leaq 0xd2e9(%rip), %rcx      # 0x1496a
movl $0x423, %edx            # imm = 0x423
callq 0x3040
leaq 0xd3fe(%rip), %rdi      # 0x14a90
leaq 0xca23(%rip), %rsi      # 0x140bc
leaq 0xd2ca(%rip), %rcx      # 0x1496a
movl $0x424, %edx            # imm = 0x424
callq 0x3040
leaq 0xd3fe(%rip), %rdi      # 0x14aaf
leaq 0xca04(%rip), %rsi      # 0x140bc
leaq 0xd2ab(%rip), %rcx      # 0x1496a
movl $0x43a, %edx            # imm = 0x43A
callq 0x3040
leaq 0xd434(%rip), %rdi      # 0x14b04
leaq 0xc9e5(%rip), %rsi      # 0x140bc
leaq 0xd28c(%rip), %rcx      # 0x1496a
movl $0x43b, %edx            # imm = 0x43B
callq 0x3040
leaq 0xd442(%rip), %rdi      # 0x14b31
leaq 0xc9c6(%rip), %rsi      # 0x140bc
leaq 0xd26d(%rip), %rcx      # 0x1496a
movl $0x43c, %edx            # imm = 0x43C
callq 0x3040
leaq 0xd459(%rip), %rdi      # 0x14b67
leaq 0xc9a7(%rip), %rsi      # 0x140bc
leaq 0xd24e(%rip), %rcx      # 0x1496a
movl $0x43d, %edx            # imm = 0x43D
callq 0x3040
leaq 0xd478(%rip), %rdi      # 0x14ba5
leaq 0xc988(%rip), %rsi      # 0x140bc
leaq 0xd22f(%rip), %rcx      # 0x1496a
movl $0x43e, %edx            # imm = 0x43E
callq 0x3040
leaq 0xd497(%rip), %rdi      # 0x14be3
leaq 0xc969(%rip), %rsi      # 0x140bc
leaq 0xd210(%rip), %rcx      # 0x1496a
movl $0x43f, %edx            # imm = 0x43F
callq 0x3040
leaq 0xd49d(%rip), %rdi      # 0x14c08
leaq 0xc94a(%rip), %rsi      # 0x140bc
leaq 0xd1f1(%rip), %rcx      # 0x1496a
movl $0x44e, %edx            # imm = 0x44E
callq 0x3040
leaq 0xd4ac(%rip), %rdi      # 0x14c36
leaq 0xc92b(%rip), %rsi      # 0x140bc
leaq 0xd1d2(%rip), %rcx      # 0x1496a
movl $0x44f, %edx            # imm = 0x44F
callq 0x3040
leaq 0xd4bb(%rip), %rdi      # 0x14c64
leaq 0xc90c(%rip), %rsi      # 0x140bc
leaq 0xd1b3(%rip), %rcx      # 0x1496a
movl $0x450, %edx            # imm = 0x450
callq 0x3040
leaq 0xd4ca(%rip), %rdi      # 0x14c92
leaq 0xc8ed(%rip), %rsi      # 0x140bc
leaq 0xd194(%rip), %rcx      # 0x1496a
movl $0x451, %edx            # imm = 0x451
callq 0x3040
leaq 0xd4d9(%rip), %rdi      # 0x14cc0
leaq 0xc8ce(%rip), %rsi      # 0x140bc
leaq 0xd175(%rip), %rcx      # 0x1496a
movl $0x452, %edx            # imm = 0x452
callq 0x3040
leaq 0xd513(%rip), %rdi      # 0x14d19
leaq 0xc8af(%rip), %rsi      # 0x140bc
leaq 0xd156(%rip), %rcx      # 0x1496a
movl $0x456, %edx            # imm = 0x456
callq 0x3040
leaq 0xd536(%rip), %rdi      # 0x14d5b
leaq 0xc890(%rip), %rsi      # 0x140bc
leaq 0xd137(%rip), %rcx      # 0x1496a
movl $0x457, %edx            # imm = 0x457
callq 0x3040
leaq 0xd570(%rip), %rdi      # 0x14db4
leaq 0xc871(%rip), %rsi      # 0x140bc
leaq 0xd118(%rip), %rcx      # 0x1496a
movl $0x45b, %edx            # imm = 0x45B
callq 0x3040
leaq 0xd59c(%rip), %rdi      # 0x14dff
leaq 0xc852(%rip), %rsi      # 0x140bc
leaq 0xd0f9(%rip), %rcx      # 0x1496a
movl $0x45f, %edx            # imm = 0x45F
callq 0x3040
leaq 0xd5a3(%rip), %rdi      # 0x14e25
leaq 0xc833(%rip), %rsi      # 0x140bc
leaq 0xd0da(%rip), %rcx      # 0x1496a
movl $0x464, %edx            # imm = 0x464
callq 0x3040
leaq 0xd5b3(%rip), %rdi      # 0x14e54
leaq 0xc814(%rip), %rsi      # 0x140bc
leaq 0xd0bb(%rip), %rcx      # 0x1496a
movl $0x465, %edx            # imm = 0x465
callq 0x3040
leaq 0xd5c3(%rip), %rdi      # 0x14e83
leaq 0xc7f5(%rip), %rsi      # 0x140bc
leaq 0xd09c(%rip), %rcx      # 0x1496a
movl $0x466, %edx            # imm = 0x466
callq 0x3040
leaq 0xd5d3(%rip), %rdi      # 0x14eb2
leaq 0xc7d6(%rip), %rsi      # 0x140bc
leaq 0xd07d(%rip), %rcx      # 0x1496a
movl $0x467, %edx            # imm = 0x467
callq 0x3040
leaq 0xd5e3(%rip), %rdi      # 0x14ee1
leaq 0xc7b7(%rip), %rsi      # 0x140bc
leaq 0xd05e(%rip), %rcx      # 0x1496a
movl $0x468, %edx            # imm = 0x468
callq 0x3040
leaq 0xd61f(%rip), %rdi      # 0x14f3c
leaq 0xc798(%rip), %rsi      # 0x140bc
leaq 0xd03f(%rip), %rcx      # 0x1496a
movl $0x46c, %edx            # imm = 0x46C
callq 0x3040
leaq 0xd643(%rip), %rdi      # 0x14f7f
leaq 0xc779(%rip), %rsi      # 0x140bc
leaq 0xd020(%rip), %rcx      # 0x1496a
movl $0x46d, %edx            # imm = 0x46D
callq 0x3040
leaq 0xd67e(%rip), %rdi      # 0x14fd9
leaq 0xc75a(%rip), %rsi      # 0x140bc
leaq 0xd001(%rip), %rcx      # 0x1496a
movl $0x471, %edx            # imm = 0x471
callq 0x3040
leaq 0xd6b9(%rip), %rdi      # 0x15033
leaq 0xc73b(%rip), %rsi      # 0x140bc
leaq 0xcfe2(%rip), %rcx      # 0x1496a
movl $0x475, %edx            # imm = 0x475
callq 0x3040