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

    // 595f205952595f205952596020205952595ff3
    op_t sha3Test[] = {
        MSIZE, PUSH0, SHA3, MSIZE, MSTORE,
        MSIZE, PUSH0, SHA3, MSIZE, MSTORE,
        MSIZE, PUSH1, 32, SHA3, MSIZE, MSTORE,
        MSIZE, PUSH0, RETURN
    };

    address_t from;
    uint64_t gas = 0x134d2;
    val_t value;
    value[0] = value[1] = value[2] = 0;
    data_t input;
    input.size = sizeof(sha3Test);
    input.content = sha3Test;
    result_t result = txCreate(from, gas, value, input);

    // c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47010ca3eff73ebec87d2394fc58560afeab86dac7a21f5e402ea0a55e5c8a6758f0000000000000000000000000000000000000000000000000000000000000000ec10957fe1361acf6a7655b35eb00faed8b1495e58674196eaa0eb7900b213f2
    assert(result.returnData.size == 128);
    assert(result.returnData.content[0] == 0xc5);
    assert(result.returnData.content[1] == 0xd2);
    assert(result.returnData.content[2] == 0x46);
    assert(result.returnData.content[3] == 0x01);
    assert(result.returnData.content[4] == 0x86);
    assert(result.returnData.content[5] == 0xf7);
    assert(result.returnData.content[6] == 0x23);
    assert(result.returnData.content[7] == 0x3c);
    assert(result.returnData.content[8] == 0x92);
    assert(result.returnData.content[9] == 0x7e);
    assert(result.returnData.content[10] == 0x7d);
    assert(result.returnData.content[11] == 0xb2);
    assert(result.returnData.content[12] == 0xdc);
    assert(result.returnData.content[13] == 0xc7);
    assert(result.returnData.content[14] == 0x03);
    assert(result.returnData.content[15] == 0xc0);
    assert(result.returnData.content[16] == 0xe5);
    assert(result.returnData.content[17] == 0x00);
    assert(result.returnData.content[18] == 0xb6);
    assert(result.returnData.content[19] == 0x53);
    assert(result.returnData.content[20] == 0xca);
    assert(result.returnData.content[21] == 0x82);
    assert(result.returnData.content[22] == 0x27);
    assert(result.returnData.content[23] == 0x3b);
    assert(result.returnData.content[24] == 0x7b);
    assert(result.returnData.content[25] == 0xfa);
    assert(result.returnData.content[26] == 0xd8);
    assert(result.returnData.content[27] == 0x04);
    assert(result.returnData.content[28] == 0x5d);
    assert(result.returnData.content[29] == 0x85);
    assert(result.returnData.content[30] == 0xa4);
    assert(result.returnData.content[31] == 0x70);
    assert(result.returnData.content[32] == 0x10);
    assert(result.returnData.content[33] == 0xca);
    assert(result.returnData.content[34] == 0x3e);
    assert(result.returnData.content[35] == 0xff);
    assert(result.returnData.content[36] == 0x73);
    assert(result.returnData.content[37] == 0xeb);
    assert(result.returnData.content[38] == 0xec);
    assert(result.returnData.content[39] == 0x87);
    assert(result.returnData.content[40] == 0xd2);
    assert(result.returnData.content[41] == 0x39);
    assert(result.returnData.content[42] == 0x4f);
    assert(result.returnData.content[43] == 0xc5);
    assert(result.returnData.content[44] == 0x85);
    assert(result.returnData.content[45] == 0x60);
    assert(result.returnData.content[46] == 0xaf);
    assert(result.returnData.content[47] == 0xea);
    assert(result.returnData.content[48] == 0xb8);
    assert(result.returnData.content[49] == 0x6d);
    assert(result.returnData.content[50] == 0xac);
    assert(result.returnData.content[51] == 0x7a);
    assert(result.returnData.content[52] == 0x21);
    assert(result.returnData.content[53] == 0xf5);
    assert(result.returnData.content[54] == 0xe4);
    assert(result.returnData.content[55] == 0x02);
    assert(result.returnData.content[56] == 0xea);
    assert(result.returnData.content[57] == 0x0a);
    assert(result.returnData.content[58] == 0x55);
    assert(result.returnData.content[59] == 0xe5);
    assert(result.returnData.content[60] == 0xc8);
    assert(result.returnData.content[61] == 0xa6);
    assert(result.returnData.content[62] == 0x75);
    assert(result.returnData.content[63] == 0x8f);
    for (int i = 64; i < 96; i++) {
        assert(result.returnData.content[i] == 0x00);
    }
    assert(result.returnData.content[96] == 0xec);
    assert(result.returnData.content[97] == 0x10);
    assert(result.returnData.content[98] == 0x95);
    assert(result.returnData.content[99] == 0x7f);
    assert(result.returnData.content[100] == 0xe1);
    assert(result.returnData.content[101] == 0x36);
    assert(result.returnData.content[102] == 0x1a);
    assert(result.returnData.content[103] == 0xcf);
    assert(result.returnData.content[104] == 0x6a);
    assert(result.returnData.content[105] == 0x76);
    assert(result.returnData.content[106] == 0x55);
    assert(result.returnData.content[107] == 0xb3);
    assert(result.returnData.content[108] == 0x5e);
    assert(result.returnData.content[109] == 0xb0);
    assert(result.returnData.content[110] == 0x0f);
    assert(result.returnData.content[111] == 0xae);
    assert(result.returnData.content[112] == 0xd8);
    assert(result.returnData.content[113] == 0xb1);
    assert(result.returnData.content[114] == 0x49);
    assert(result.returnData.content[115] == 0x5e);
    assert(result.returnData.content[116] == 0x58);
    assert(result.returnData.content[117] == 0x67);
    assert(result.returnData.content[118] == 0x41);
    assert(result.returnData.content[119] == 0x96);
    assert(result.returnData.content[120] == 0xea);
    assert(result.returnData.content[121] == 0xa0);
    assert(result.returnData.content[122] == 0xeb);
    assert(result.returnData.content[123] == 0x79);
    assert(result.returnData.content[124] == 0x00);
    assert(result.returnData.content[125] == 0xb2);
    assert(result.returnData.content[126] == 0x13);
    assert(result.returnData.content[127] == 0xf2);
    assert(result.gasRemaining == 0);

    evmFinalize();
}

// Assembly:
pushq %rbx
subq $0xa0, %rsp
xorl %eax, %eax
callq 0xaa8d
movaps 0xd373(%rip), %xmm0     # 0x156a0
leaq 0x40(%rsp), %r8
movaps %xmm0, (%r8)
leaq 0x34(%rsp), %rdx
andl $0x0, 0x8(%rdx)
movl $0xf35f5952, 0xf(%r8)   # imm = 0xF35F5952
andq $0x0, (%rdx)
movl 0x30(%rsp), %eax
movl %eax, 0x10(%rsp)
movups 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x60(%rsp), %rbx
pushq $0x13
popq %rcx
movl $0x134d2, %esi          # imm = 0x134D2
movq %rbx, %rdi
callq 0xb68f
cmpq $0x80, (%rbx)
jne 0x8793
movq 0x68(%rsp), %rax
cmpb $-0x3b, (%rax)
jne 0x87b2
cmpb $-0x2e, 0x1(%rax)
jne 0x87d1
cmpb $0x46, 0x2(%rax)
jne 0x87f0
cmpb $0x1, 0x3(%rax)
jne 0x880f
cmpb $-0x7a, 0x4(%rax)
jne 0x882e
cmpb $-0x9, 0x5(%rax)
jne 0x884d
cmpb $0x23, 0x6(%rax)
jne 0x886c
cmpb $0x3c, 0x7(%rax)
jne 0x888b
cmpb $-0x6e, 0x8(%rax)
jne 0x88aa
cmpb $0x7e, 0x9(%rax)
jne 0x88c9
cmpb $0x7d, 0xa(%rax)
jne 0x88e8
cmpb $-0x4e, 0xb(%rax)
jne 0x8907
cmpb $-0x24, 0xc(%rax)
jne 0x8926
cmpb $-0x39, 0xd(%rax)
jne 0x8945
cmpb $0x3, 0xe(%rax)
jne 0x8964
cmpb $-0x40, 0xf(%rax)
jne 0x8983
cmpb $-0x1b, 0x10(%rax)
jne 0x89a2
cmpb $0x0, 0x11(%rax)
jne 0x89c1
cmpb $-0x4a, 0x12(%rax)
jne 0x89e0
cmpb $0x53, 0x13(%rax)
jne 0x89ff
cmpb $-0x36, 0x14(%rax)
jne 0x8a1e
cmpb $-0x7e, 0x15(%rax)
jne 0x8a3d
cmpb $0x27, 0x16(%rax)
jne 0x8a5c
cmpb $0x3b, 0x17(%rax)
jne 0x8a7b
cmpb $0x7b, 0x18(%rax)
jne 0x8a9a
cmpb $-0x6, 0x19(%rax)
jne 0x8ab9
cmpb $-0x28, 0x1a(%rax)
jne 0x8ad8
cmpb $0x4, 0x1b(%rax)
jne 0x8af7
cmpb $0x5d, 0x1c(%rax)
jne 0x8b16
cmpb $-0x7b, 0x1d(%rax)
jne 0x8b35
cmpb $-0x5c, 0x1e(%rax)
jne 0x8b54
cmpb $0x70, 0x1f(%rax)
jne 0x8b73
cmpb $0x10, 0x20(%rax)
jne 0x8b92
cmpb $-0x36, 0x21(%rax)
jne 0x8bb1
cmpb $0x3e, 0x22(%rax)
jne 0x8bd0
cmpb $-0x1, 0x23(%rax)
jne 0x8bef
cmpb $0x73, 0x24(%rax)
jne 0x8c0e
cmpb $-0x15, 0x25(%rax)
jne 0x8c2d
cmpb $-0x14, 0x26(%rax)
jne 0x8c4c
cmpb $-0x79, 0x27(%rax)
jne 0x8c6b
cmpb $-0x2e, 0x28(%rax)
jne 0x8c8a
cmpb $0x39, 0x29(%rax)
jne 0x8ca9
cmpb $0x4f, 0x2a(%rax)
jne 0x8cc8
cmpb $-0x3b, 0x2b(%rax)
jne 0x8ce7
cmpb $-0x7b, 0x2c(%rax)
jne 0x8d06
cmpb $0x60, 0x2d(%rax)
jne 0x8d25
cmpb $-0x51, 0x2e(%rax)
jne 0x8d44
cmpb $-0x16, 0x2f(%rax)
jne 0x8d63
cmpb $-0x48, 0x30(%rax)
jne 0x8d82
cmpb $0x6d, 0x31(%rax)
jne 0x8da1
cmpb $-0x54, 0x32(%rax)
jne 0x8dc0
cmpb $0x7a, 0x33(%rax)
jne 0x8ddf
cmpb $0x21, 0x34(%rax)
jne 0x8dfe
cmpb $-0xb, 0x35(%rax)
jne 0x8e1d
cmpb $-0x1c, 0x36(%rax)
jne 0x8e3c
cmpb $0x2, 0x37(%rax)
jne 0x8e5b
cmpb $-0x16, 0x38(%rax)
jne 0x8e7a
cmpb $0xa, 0x39(%rax)
jne 0x8e99
cmpb $0x55, 0x3a(%rax)
jne 0x8eb8
cmpb $-0x1b, 0x3b(%rax)
jne 0x8ed7
cmpb $-0x38, 0x3c(%rax)
jne 0x8ef6
cmpb $-0x5a, 0x3d(%rax)
jne 0x8f15
cmpb $0x75, 0x3e(%rax)
jne 0x8f34
cmpb $-0x71, 0x3f(%rax)
jne 0x8f53
xorl %ecx, %ecx
cmpq $0x20, %rcx
je 0x8634
cmpb $0x0, 0x40(%rax,%rcx)
leaq 0x1(%rcx), %rcx
je 0x8604
leaq 0x8c11(%rip), %rdi      # 0x1122d
leaq 0x8a2d(%rip), %rsi      # 0x11050
leaq 0xa98a(%rip), %rcx      # 0x12fb4
movl $0x6a8, %edx            # imm = 0x6A8
callq 0x3040
cmpb $-0x14, 0x60(%rax)
jne 0x8f72
cmpb $0x10, 0x61(%rax)
jne 0x8f91
cmpb $-0x6b, 0x62(%rax)
jne 0x8fb0
cmpb $0x7f, 0x63(%rax)
jne 0x8fcf
cmpb $-0x1f, 0x64(%rax)
jne 0x8fee
cmpb $0x36, 0x65(%rax)
jne 0x900d
cmpb $0x1a, 0x66(%rax)
jne 0x902c
cmpb $-0x31, 0x67(%rax)
jne 0x904b
cmpb $0x6a, 0x68(%rax)
jne 0x906a
cmpb $0x76, 0x69(%rax)
jne 0x9089
cmpb $0x55, 0x6a(%rax)
jne 0x90a8
cmpb $-0x4d, 0x6b(%rax)
jne 0x90c7
cmpb $0x5e, 0x6c(%rax)
jne 0x90e6
cmpb $-0x50, 0x6d(%rax)
jne 0x9105
cmpb $0xf, 0x6e(%rax)
jne 0x9124
cmpb $-0x52, 0x6f(%rax)
jne 0x9143
cmpb $-0x28, 0x70(%rax)
jne 0x9162
cmpb $-0x4f, 0x71(%rax)
jne 0x9181
cmpb $0x49, 0x72(%rax)
jne 0x91a0
cmpb $0x5e, 0x73(%rax)
jne 0x91bf
cmpb $0x58, 0x74(%rax)
jne 0x91de
cmpb $0x67, 0x75(%rax)
jne 0x91fd
cmpb $0x41, 0x76(%rax)
jne 0x921c
cmpb $-0x6a, 0x77(%rax)
jne 0x923b
cmpb $-0x16, 0x78(%rax)
jne 0x925a
cmpb $-0x60, 0x79(%rax)
jne 0x9279
cmpb $-0x15, 0x7a(%rax)
jne 0x9298
cmpb $0x79, 0x7b(%rax)
jne 0x92b7
cmpb $0x0, 0x7c(%rax)
jne 0x92d6
cmpb $-0x4e, 0x7d(%rax)
jne 0x92f5
cmpb $0x13, 0x7e(%rax)
jne 0x9314
cmpb $-0xe, 0x7f(%rax)
jne 0x9333
cmpq $0x0, 0x90(%rsp)
jne 0x9352
xorl %eax, %eax
callq 0xada8
addq $0xa0, %rsp
popq %rbx
retq
leaq 0xa7fc(%rip), %rdi      # 0x12f96
leaq 0x88af(%rip), %rsi      # 0x11050
leaq 0xa80c(%rip), %rcx      # 0x12fb4
movl $0x666, %edx            # imm = 0x666
callq 0x3040
leaq 0xa80c(%rip), %rdi      # 0x12fc5
leaq 0x8890(%rip), %rsi      # 0x11050
leaq 0xa7ed(%rip), %rcx      # 0x12fb4
movl $0x667, %edx            # imm = 0x667
callq 0x3040
leaq 0xa812(%rip), %rdi      # 0x12fea
leaq 0x8871(%rip), %rsi      # 0x11050
leaq 0xa7ce(%rip), %rcx      # 0x12fb4
movl $0x668, %edx            # imm = 0x668
callq 0x3040
leaq 0xa818(%rip), %rdi      # 0x1300f
leaq 0x8852(%rip), %rsi      # 0x11050
leaq 0xa7af(%rip), %rcx      # 0x12fb4
movl $0x669, %edx            # imm = 0x669
callq 0x3040
leaq 0xa81e(%rip), %rdi      # 0x13034
leaq 0x8833(%rip), %rsi      # 0x11050
leaq 0xa790(%rip), %rcx      # 0x12fb4
movl $0x66a, %edx            # imm = 0x66A
callq 0x3040
leaq 0xa824(%rip), %rdi      # 0x13059
leaq 0x8814(%rip), %rsi      # 0x11050
leaq 0xa771(%rip), %rcx      # 0x12fb4
movl $0x66b, %edx            # imm = 0x66B
callq 0x3040
leaq 0xa82a(%rip), %rdi      # 0x1307e
leaq 0x87f5(%rip), %rsi      # 0x11050
leaq 0xa752(%rip), %rcx      # 0x12fb4
movl $0x66c, %edx            # imm = 0x66C
callq 0x3040
leaq 0xa830(%rip), %rdi      # 0x130a3
leaq 0x87d6(%rip), %rsi      # 0x11050
leaq 0xa733(%rip), %rcx      # 0x12fb4
movl $0x66d, %edx            # imm = 0x66D
callq 0x3040
leaq 0xa836(%rip), %rdi      # 0x130c8
leaq 0x87b7(%rip), %rsi      # 0x11050
leaq 0xa714(%rip), %rcx      # 0x12fb4
movl $0x66e, %edx            # imm = 0x66E
callq 0x3040
leaq 0xa83c(%rip), %rdi      # 0x130ed
leaq 0x8798(%rip), %rsi      # 0x11050
leaq 0xa6f5(%rip), %rcx      # 0x12fb4
movl $0x66f, %edx            # imm = 0x66F
callq 0x3040
leaq 0xa842(%rip), %rdi      # 0x13112
leaq 0x8779(%rip), %rsi      # 0x11050
leaq 0xa6d6(%rip), %rcx      # 0x12fb4
movl $0x670, %edx            # imm = 0x670
callq 0x3040
leaq 0xa848(%rip), %rdi      # 0x13137
leaq 0x875a(%rip), %rsi      # 0x11050
leaq 0xa6b7(%rip), %rcx      # 0x12fb4
movl $0x671, %edx            # imm = 0x671
callq 0x3040
leaq 0xa84f(%rip), %rdi      # 0x1315d
leaq 0x873b(%rip), %rsi      # 0x11050
leaq 0xa698(%rip), %rcx      # 0x12fb4
movl $0x672, %edx            # imm = 0x672
callq 0x3040
leaq 0xa856(%rip), %rdi      # 0x13183
leaq 0x871c(%rip), %rsi      # 0x11050
leaq 0xa679(%rip), %rcx      # 0x12fb4
movl $0x673, %edx            # imm = 0x673
callq 0x3040
leaq 0xa85d(%rip), %rdi      # 0x131a9
leaq 0x86fd(%rip), %rsi      # 0x11050
leaq 0xa65a(%rip), %rcx      # 0x12fb4
movl $0x674, %edx            # imm = 0x674
callq 0x3040
leaq 0xa864(%rip), %rdi      # 0x131cf
leaq 0x86de(%rip), %rsi      # 0x11050
leaq 0xa63b(%rip), %rcx      # 0x12fb4
movl $0x675, %edx            # imm = 0x675
callq 0x3040
leaq 0xa86b(%rip), %rdi      # 0x131f5
leaq 0x86bf(%rip), %rsi      # 0x11050
leaq 0xa61c(%rip), %rcx      # 0x12fb4
movl $0x676, %edx            # imm = 0x676
callq 0x3040
leaq 0xa872(%rip), %rdi      # 0x1321b
leaq 0x86a0(%rip), %rsi      # 0x11050
leaq 0xa5fd(%rip), %rcx      # 0x12fb4
movl $0x677, %edx            # imm = 0x677
callq 0x3040
leaq 0xa879(%rip), %rdi      # 0x13241
leaq 0x8681(%rip), %rsi      # 0x11050
leaq 0xa5de(%rip), %rcx      # 0x12fb4
movl $0x678, %edx            # imm = 0x678
callq 0x3040
leaq 0xa880(%rip), %rdi      # 0x13267
leaq 0x8662(%rip), %rsi      # 0x11050
leaq 0xa5bf(%rip), %rcx      # 0x12fb4
movl $0x679, %edx            # imm = 0x679
callq 0x3040
leaq 0xa887(%rip), %rdi      # 0x1328d
leaq 0x8643(%rip), %rsi      # 0x11050
leaq 0xa5a0(%rip), %rcx      # 0x12fb4
movl $0x67a, %edx            # imm = 0x67A
callq 0x3040
leaq 0xa88e(%rip), %rdi      # 0x132b3
leaq 0x8624(%rip), %rsi      # 0x11050
leaq 0xa581(%rip), %rcx      # 0x12fb4
movl $0x67b, %edx            # imm = 0x67B
callq 0x3040
leaq 0xa895(%rip), %rdi      # 0x132d9
leaq 0x8605(%rip), %rsi      # 0x11050
leaq 0xa562(%rip), %rcx      # 0x12fb4
movl $0x67c, %edx            # imm = 0x67C
callq 0x3040
leaq 0xa89c(%rip), %rdi      # 0x132ff
leaq 0x85e6(%rip), %rsi      # 0x11050
leaq 0xa543(%rip), %rcx      # 0x12fb4
movl $0x67d, %edx            # imm = 0x67D
callq 0x3040
leaq 0xa8a3(%rip), %rdi      # 0x13325
leaq 0x85c7(%rip), %rsi      # 0x11050
leaq 0xa524(%rip), %rcx      # 0x12fb4
movl $0x67e, %edx            # imm = 0x67E
callq 0x3040
leaq 0xa8aa(%rip), %rdi      # 0x1334b
leaq 0x85a8(%rip), %rsi      # 0x11050
leaq 0xa505(%rip), %rcx      # 0x12fb4
movl $0x67f, %edx            # imm = 0x67F
callq 0x3040
leaq 0xa8b1(%rip), %rdi      # 0x13371
leaq 0x8589(%rip), %rsi      # 0x11050
leaq 0xa4e6(%rip), %rcx      # 0x12fb4
movl $0x680, %edx            # imm = 0x680
callq 0x3040
leaq 0xa8b8(%rip), %rdi      # 0x13397
leaq 0x856a(%rip), %rsi      # 0x11050
leaq 0xa4c7(%rip), %rcx      # 0x12fb4
movl $0x681, %edx            # imm = 0x681
callq 0x3040
leaq 0xa8bf(%rip), %rdi      # 0x133bd
leaq 0x854b(%rip), %rsi      # 0x11050
leaq 0xa4a8(%rip), %rcx      # 0x12fb4
movl $0x682, %edx            # imm = 0x682
callq 0x3040
leaq 0xa8c6(%rip), %rdi      # 0x133e3
leaq 0x852c(%rip), %rsi      # 0x11050
leaq 0xa489(%rip), %rcx      # 0x12fb4
movl $0x683, %edx            # imm = 0x683
callq 0x3040
leaq 0xa8cd(%rip), %rdi      # 0x13409
leaq 0x850d(%rip), %rsi      # 0x11050
leaq 0xa46a(%rip), %rcx      # 0x12fb4
movl $0x684, %edx            # imm = 0x684
callq 0x3040
leaq 0xa8d4(%rip), %rdi      # 0x1342f
leaq 0x84ee(%rip), %rsi      # 0x11050
leaq 0xa44b(%rip), %rcx      # 0x12fb4
movl $0x685, %edx            # imm = 0x685
callq 0x3040
leaq 0xa8db(%rip), %rdi      # 0x13455
leaq 0x84cf(%rip), %rsi      # 0x11050
leaq 0xa42c(%rip), %rcx      # 0x12fb4
movl $0x686, %edx            # imm = 0x686
callq 0x3040
leaq 0xa8e2(%rip), %rdi      # 0x1347b
leaq 0x84b0(%rip), %rsi      # 0x11050
leaq 0xa40d(%rip), %rcx      # 0x12fb4
movl $0x687, %edx            # imm = 0x687
callq 0x3040
leaq 0xa8e9(%rip), %rdi      # 0x134a1
leaq 0x8491(%rip), %rsi      # 0x11050
leaq 0xa3ee(%rip), %rcx      # 0x12fb4
movl $0x688, %edx            # imm = 0x688
callq 0x3040
leaq 0xa8f0(%rip), %rdi      # 0x134c7
leaq 0x8472(%rip), %rsi      # 0x11050
leaq 0xa3cf(%rip), %rcx      # 0x12fb4
movl $0x689, %edx            # imm = 0x689
callq 0x3040
leaq 0xa8f7(%rip), %rdi      # 0x134ed
leaq 0x8453(%rip), %rsi      # 0x11050
leaq 0xa3b0(%rip), %rcx      # 0x12fb4
movl $0x68a, %edx            # imm = 0x68A
callq 0x3040
leaq 0xa8fe(%rip), %rdi      # 0x13513
leaq 0x8434(%rip), %rsi      # 0x11050
leaq 0xa391(%rip), %rcx      # 0x12fb4
movl $0x68b, %edx            # imm = 0x68B
callq 0x3040
leaq 0xa905(%rip), %rdi      # 0x13539
leaq 0x8415(%rip), %rsi      # 0x11050
leaq 0xa372(%rip), %rcx      # 0x12fb4
movl $0x68c, %edx            # imm = 0x68C
callq 0x3040
leaq 0xa90c(%rip), %rdi      # 0x1355f
leaq 0x83f6(%rip), %rsi      # 0x11050
leaq 0xa353(%rip), %rcx      # 0x12fb4
movl $0x68d, %edx            # imm = 0x68D
callq 0x3040
leaq 0xa913(%rip), %rdi      # 0x13585
leaq 0x83d7(%rip), %rsi      # 0x11050
leaq 0xa334(%rip), %rcx      # 0x12fb4
movl $0x68e, %edx            # imm = 0x68E
callq 0x3040
leaq 0xa91a(%rip), %rdi      # 0x135ab
leaq 0x83b8(%rip), %rsi      # 0x11050
leaq 0xa315(%rip), %rcx      # 0x12fb4
movl $0x68f, %edx            # imm = 0x68F
callq 0x3040
leaq 0xa921(%rip), %rdi      # 0x135d1
leaq 0x8399(%rip), %rsi      # 0x11050
leaq 0xa2f6(%rip), %rcx      # 0x12fb4
movl $0x690, %edx            # imm = 0x690
callq 0x3040
leaq 0xa928(%rip), %rdi      # 0x135f7
leaq 0x837a(%rip), %rsi      # 0x11050
leaq 0xa2d7(%rip), %rcx      # 0x12fb4
movl $0x691, %edx            # imm = 0x691
callq 0x3040
leaq 0xa92f(%rip), %rdi      # 0x1361d
leaq 0x835b(%rip), %rsi      # 0x11050
leaq 0xa2b8(%rip), %rcx      # 0x12fb4
movl $0x692, %edx            # imm = 0x692
callq 0x3040
leaq 0xa936(%rip), %rdi      # 0x13643
leaq 0x833c(%rip), %rsi      # 0x11050
leaq 0xa299(%rip), %rcx      # 0x12fb4
movl $0x693, %edx            # imm = 0x693
callq 0x3040
leaq 0xa93d(%rip), %rdi      # 0x13669
leaq 0x831d(%rip), %rsi      # 0x11050
leaq 0xa27a(%rip), %rcx      # 0x12fb4
movl $0x694, %edx            # imm = 0x694
callq 0x3040
leaq 0xa944(%rip), %rdi      # 0x1368f
leaq 0x82fe(%rip), %rsi      # 0x11050
leaq 0xa25b(%rip), %rcx      # 0x12fb4
movl $0x695, %edx            # imm = 0x695
callq 0x3040
leaq 0xa94b(%rip), %rdi      # 0x136b5
leaq 0x82df(%rip), %rsi      # 0x11050
leaq 0xa23c(%rip), %rcx      # 0x12fb4
movl $0x696, %edx            # imm = 0x696
callq 0x3040
leaq 0xa952(%rip), %rdi      # 0x136db
leaq 0x82c0(%rip), %rsi      # 0x11050
leaq 0xa21d(%rip), %rcx      # 0x12fb4
movl $0x697, %edx            # imm = 0x697
callq 0x3040
leaq 0xa959(%rip), %rdi      # 0x13701
leaq 0x82a1(%rip), %rsi      # 0x11050
leaq 0xa1fe(%rip), %rcx      # 0x12fb4
movl $0x698, %edx            # imm = 0x698
callq 0x3040
leaq 0xa960(%rip), %rdi      # 0x13727
leaq 0x8282(%rip), %rsi      # 0x11050
leaq 0xa1df(%rip), %rcx      # 0x12fb4
movl $0x699, %edx            # imm = 0x699
callq 0x3040
leaq 0xa967(%rip), %rdi      # 0x1374d
leaq 0x8263(%rip), %rsi      # 0x11050
leaq 0xa1c0(%rip), %rcx      # 0x12fb4
movl $0x69a, %edx            # imm = 0x69A
callq 0x3040
leaq 0xa96e(%rip), %rdi      # 0x13773
leaq 0x8244(%rip), %rsi      # 0x11050
leaq 0xa1a1(%rip), %rcx      # 0x12fb4
movl $0x69b, %edx            # imm = 0x69B
callq 0x3040
leaq 0xa975(%rip), %rdi      # 0x13799
leaq 0x8225(%rip), %rsi      # 0x11050
leaq 0xa182(%rip), %rcx      # 0x12fb4
movl $0x69c, %edx            # imm = 0x69C
callq 0x3040
leaq 0xa97c(%rip), %rdi      # 0x137bf
leaq 0x8206(%rip), %rsi      # 0x11050
leaq 0xa163(%rip), %rcx      # 0x12fb4
movl $0x69d, %edx            # imm = 0x69D
callq 0x3040
leaq 0xa983(%rip), %rdi      # 0x137e5
leaq 0x81e7(%rip), %rsi      # 0x11050
leaq 0xa144(%rip), %rcx      # 0x12fb4
movl $0x69e, %edx            # imm = 0x69E
callq 0x3040
leaq 0xa98a(%rip), %rdi      # 0x1380b
leaq 0x81c8(%rip), %rsi      # 0x11050
leaq 0xa125(%rip), %rcx      # 0x12fb4
movl $0x69f, %edx            # imm = 0x69F
callq 0x3040
leaq 0xa991(%rip), %rdi      # 0x13831
leaq 0x81a9(%rip), %rsi      # 0x11050
leaq 0xa106(%rip), %rcx      # 0x12fb4
movl $0x6a0, %edx            # imm = 0x6A0
callq 0x3040
leaq 0xa998(%rip), %rdi      # 0x13857
leaq 0x818a(%rip), %rsi      # 0x11050
leaq 0xa0e7(%rip), %rcx      # 0x12fb4
movl $0x6a1, %edx            # imm = 0x6A1
callq 0x3040
leaq 0xa99f(%rip), %rdi      # 0x1387d
leaq 0x816b(%rip), %rsi      # 0x11050
leaq 0xa0c8(%rip), %rcx      # 0x12fb4
movl $0x6a2, %edx            # imm = 0x6A2
callq 0x3040
leaq 0xa9a6(%rip), %rdi      # 0x138a3
leaq 0x814c(%rip), %rsi      # 0x11050
leaq 0xa0a9(%rip), %rcx      # 0x12fb4
movl $0x6a3, %edx            # imm = 0x6A3
callq 0x3040
leaq 0xa9ad(%rip), %rdi      # 0x138c9
leaq 0x812d(%rip), %rsi      # 0x11050
leaq 0xa08a(%rip), %rcx      # 0x12fb4
movl $0x6a4, %edx            # imm = 0x6A4
callq 0x3040
leaq 0xa9b4(%rip), %rdi      # 0x138ef
leaq 0x810e(%rip), %rsi      # 0x11050
leaq 0xa06b(%rip), %rcx      # 0x12fb4
movl $0x6a5, %edx            # imm = 0x6A5
callq 0x3040
leaq 0xa9bb(%rip), %rdi      # 0x13915
leaq 0x80ef(%rip), %rsi      # 0x11050
leaq 0xa04c(%rip), %rcx      # 0x12fb4
movl $0x6a6, %edx            # imm = 0x6A6
callq 0x3040
leaq 0xa9c2(%rip), %rdi      # 0x1393b
leaq 0x80d0(%rip), %rsi      # 0x11050
leaq 0xa02d(%rip), %rcx      # 0x12fb4
movl $0x6aa, %edx            # imm = 0x6AA
callq 0x3040
leaq 0xa9c9(%rip), %rdi      # 0x13961
leaq 0x80b1(%rip), %rsi      # 0x11050
leaq 0xa00e(%rip), %rcx      # 0x12fb4
movl $0x6ab, %edx            # imm = 0x6AB
callq 0x3040
leaq 0xa9d0(%rip), %rdi      # 0x13987
leaq 0x8092(%rip), %rsi      # 0x11050
leaq 0x9fef(%rip), %rcx      # 0x12fb4
movl $0x6ac, %edx            # imm = 0x6AC
callq 0x3040
leaq 0xa9d7(%rip), %rdi      # 0x139ad
leaq 0x8073(%rip), %rsi      # 0x11050
leaq 0x9fd0(%rip), %rcx      # 0x12fb4
movl $0x6ad, %edx            # imm = 0x6AD
callq 0x3040
leaq 0xa9de(%rip), %rdi      # 0x139d3
leaq 0x8054(%rip), %rsi      # 0x11050
leaq 0x9fb1(%rip), %rcx      # 0x12fb4
movl $0x6ae, %edx            # imm = 0x6AE
callq 0x3040
leaq 0xa9e6(%rip), %rdi      # 0x139fa
leaq 0x8035(%rip), %rsi      # 0x11050
leaq 0x9f92(%rip), %rcx      # 0x12fb4
movl $0x6af, %edx            # imm = 0x6AF
callq 0x3040
leaq 0xa9ee(%rip), %rdi      # 0x13a21
leaq 0x8016(%rip), %rsi      # 0x11050
leaq 0x9f73(%rip), %rcx      # 0x12fb4
movl $0x6b0, %edx            # imm = 0x6B0
callq 0x3040
leaq 0xa9f6(%rip), %rdi      # 0x13a48
leaq 0x7ff7(%rip), %rsi      # 0x11050
leaq 0x9f54(%rip), %rcx      # 0x12fb4
movl $0x6b1, %edx            # imm = 0x6B1
callq 0x3040
leaq 0xa9fe(%rip), %rdi      # 0x13a6f
leaq 0x7fd8(%rip), %rsi      # 0x11050
leaq 0x9f35(%rip), %rcx      # 0x12fb4
movl $0x6b2, %edx            # imm = 0x6B2
callq 0x3040
leaq 0xaa06(%rip), %rdi      # 0x13a96
leaq 0x7fb9(%rip), %rsi      # 0x11050
leaq 0x9f16(%rip), %rcx      # 0x12fb4
movl $0x6b3, %edx            # imm = 0x6B3
callq 0x3040
leaq 0xaa0e(%rip), %rdi      # 0x13abd
leaq 0x7f9a(%rip), %rsi      # 0x11050
leaq 0x9ef7(%rip), %rcx      # 0x12fb4
movl $0x6b4, %edx            # imm = 0x6B4
callq 0x3040
leaq 0xaa16(%rip), %rdi      # 0x13ae4
leaq 0x7f7b(%rip), %rsi      # 0x11050
leaq 0x9ed8(%rip), %rcx      # 0x12fb4
movl $0x6b5, %edx            # imm = 0x6B5
callq 0x3040
leaq 0xaa1e(%rip), %rdi      # 0x13b0b
leaq 0x7f5c(%rip), %rsi      # 0x11050
leaq 0x9eb9(%rip), %rcx      # 0x12fb4
movl $0x6b6, %edx            # imm = 0x6B6
callq 0x3040
leaq 0xaa26(%rip), %rdi      # 0x13b32
leaq 0x7f3d(%rip), %rsi      # 0x11050
leaq 0x9e9a(%rip), %rcx      # 0x12fb4
movl $0x6b7, %edx            # imm = 0x6B7
callq 0x3040
leaq 0xaa2e(%rip), %rdi      # 0x13b59
leaq 0x7f1e(%rip), %rsi      # 0x11050
leaq 0x9e7b(%rip), %rcx      # 0x12fb4
movl $0x6b8, %edx            # imm = 0x6B8
callq 0x3040
leaq 0xaa36(%rip), %rdi      # 0x13b80
leaq 0x7eff(%rip), %rsi      # 0x11050
leaq 0x9e5c(%rip), %rcx      # 0x12fb4
movl $0x6b9, %edx            # imm = 0x6B9
callq 0x3040
leaq 0xaa3e(%rip), %rdi      # 0x13ba7
leaq 0x7ee0(%rip), %rsi      # 0x11050
leaq 0x9e3d(%rip), %rcx      # 0x12fb4
movl $0x6ba, %edx            # imm = 0x6BA
callq 0x3040
leaq 0xaa46(%rip), %rdi      # 0x13bce
leaq 0x7ec1(%rip), %rsi      # 0x11050
leaq 0x9e1e(%rip), %rcx      # 0x12fb4
movl $0x6bb, %edx            # imm = 0x6BB
callq 0x3040
leaq 0xaa4e(%rip), %rdi      # 0x13bf5
leaq 0x7ea2(%rip), %rsi      # 0x11050
leaq 0x9dff(%rip), %rcx      # 0x12fb4
movl $0x6bc, %edx            # imm = 0x6BC
callq 0x3040
leaq 0xaa56(%rip), %rdi      # 0x13c1c
leaq 0x7e83(%rip), %rsi      # 0x11050
leaq 0x9de0(%rip), %rcx      # 0x12fb4
movl $0x6bd, %edx            # imm = 0x6BD
callq 0x3040
leaq 0xaa5e(%rip), %rdi      # 0x13c43
leaq 0x7e64(%rip), %rsi      # 0x11050
leaq 0x9dc1(%rip), %rcx      # 0x12fb4
movl $0x6be, %edx            # imm = 0x6BE
callq 0x3040
leaq 0xaa66(%rip), %rdi      # 0x13c6a
leaq 0x7e45(%rip), %rsi      # 0x11050
leaq 0x9da2(%rip), %rcx      # 0x12fb4
movl $0x6bf, %edx            # imm = 0x6BF
callq 0x3040
leaq 0xaa6e(%rip), %rdi      # 0x13c91
leaq 0x7e26(%rip), %rsi      # 0x11050
leaq 0x9d83(%rip), %rcx      # 0x12fb4
movl $0x6c0, %edx            # imm = 0x6C0
callq 0x3040
leaq 0xaa76(%rip), %rdi      # 0x13cb8
leaq 0x7e07(%rip), %rsi      # 0x11050
leaq 0x9d64(%rip), %rcx      # 0x12fb4
movl $0x6c1, %edx            # imm = 0x6C1
callq 0x3040
leaq 0xaa7e(%rip), %rdi      # 0x13cdf
leaq 0x7de8(%rip), %rsi      # 0x11050
leaq 0x9d45(%rip), %rcx      # 0x12fb4
movl $0x6c2, %edx            # imm = 0x6C2
callq 0x3040
leaq 0xaa86(%rip), %rdi      # 0x13d06
leaq 0x7dc9(%rip), %rsi      # 0x11050
leaq 0x9d26(%rip), %rcx      # 0x12fb4
movl $0x6c3, %edx            # imm = 0x6C3
callq 0x3040
leaq 0xaa8e(%rip), %rdi      # 0x13d2d
leaq 0x7daa(%rip), %rsi      # 0x11050
leaq 0x9d07(%rip), %rcx      # 0x12fb4
movl $0x6c4, %edx            # imm = 0x6C4
callq 0x3040
leaq 0xaa96(%rip), %rdi      # 0x13d54
leaq 0x7d8b(%rip), %rsi      # 0x11050
leaq 0x9ce8(%rip), %rcx      # 0x12fb4
movl $0x6c5, %edx            # imm = 0x6C5
callq 0x3040
leaq 0xaa9e(%rip), %rdi      # 0x13d7b
leaq 0x7d6c(%rip), %rsi      # 0x11050
leaq 0x9cc9(%rip), %rcx      # 0x12fb4
movl $0x6c6, %edx            # imm = 0x6C6
callq 0x3040
leaq 0xaaa6(%rip), %rdi      # 0x13da2
leaq 0x7d4d(%rip), %rsi      # 0x11050
leaq 0x9caa(%rip), %rcx      # 0x12fb4
movl $0x6c7, %edx            # imm = 0x6C7
callq 0x3040
leaq 0xaaae(%rip), %rdi      # 0x13dc9
leaq 0x7d2e(%rip), %rsi      # 0x11050
leaq 0x9c8b(%rip), %rcx      # 0x12fb4
movl $0x6c8, %edx            # imm = 0x6C8
callq 0x3040
leaq 0xaab6(%rip), %rdi      # 0x13df0
leaq 0x7d0f(%rip), %rsi      # 0x11050
leaq 0x9c6c(%rip), %rcx      # 0x12fb4
movl $0x6c9, %edx            # imm = 0x6C9
callq 0x3040
leaq 0x7dbc(%rip), %rdi      # 0x11115
leaq 0x7cf0(%rip), %rsi      # 0x11050
leaq 0x9c4d(%rip), %rcx      # 0x12fb4
movl $0x6ca, %edx            # imm = 0x6CA
callq 0x3040