// File: /workspace/github_c_makefile_star2_O3/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 0xca4d
movaps 0xe5cc(%rip), %xmm0     # 0x18700
leaq 0x40(%rsp), %r8
movaps %xmm0, (%r8)
movl $0xf35f5952, 0xf(%r8)   # imm = 0xF35F5952
leaq 0x34(%rsp), %rdx
movl $0x0, 0x8(%rdx)
movq $0x0, (%rdx)
movl 0x30(%rsp), %eax
movl %eax, 0x10(%rsp)
movups 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x60(%rsp), %rbx
movl $0x134d2, %esi          # imm = 0x134D2
movl $0x13, %ecx
movq %rbx, %rdi
callq 0xd683
cmpq $0x80, (%rbx)
jne 0xa5a5
movq 0x68(%rsp), %rax
cmpb $-0x3b, (%rax)
jne 0xa5c4
cmpb $-0x2e, 0x1(%rax)
jne 0xa5e3
cmpb $0x46, 0x2(%rax)
jne 0xa602
cmpb $0x1, 0x3(%rax)
jne 0xa621
cmpb $-0x7a, 0x4(%rax)
jne 0xa640
cmpb $-0x9, 0x5(%rax)
jne 0xa65f
cmpb $0x23, 0x6(%rax)
jne 0xa67e
cmpb $0x3c, 0x7(%rax)
jne 0xa69d
cmpb $-0x6e, 0x8(%rax)
jne 0xa6bc
cmpb $0x7e, 0x9(%rax)
jne 0xa6db
cmpb $0x7d, 0xa(%rax)
jne 0xa6fa
cmpb $-0x4e, 0xb(%rax)
jne 0xa719
cmpb $-0x24, 0xc(%rax)
jne 0xa738
cmpb $-0x39, 0xd(%rax)
jne 0xa757
cmpb $0x3, 0xe(%rax)
jne 0xa776
cmpb $-0x40, 0xf(%rax)
jne 0xa795
cmpb $-0x1b, 0x10(%rax)
jne 0xa7b4
cmpb $0x0, 0x11(%rax)
jne 0xa7d3
cmpb $-0x4a, 0x12(%rax)
jne 0xa7f2
cmpb $0x53, 0x13(%rax)
jne 0xa811
cmpb $-0x36, 0x14(%rax)
jne 0xa830
cmpb $-0x7e, 0x15(%rax)
jne 0xa84f
cmpb $0x27, 0x16(%rax)
jne 0xa86e
cmpb $0x3b, 0x17(%rax)
jne 0xa88d
cmpb $0x7b, 0x18(%rax)
jne 0xa8ac
cmpb $-0x6, 0x19(%rax)
jne 0xa8cb
cmpb $-0x28, 0x1a(%rax)
jne 0xa8ea
cmpb $0x4, 0x1b(%rax)
jne 0xa909
cmpb $0x5d, 0x1c(%rax)
jne 0xa928
cmpb $-0x7b, 0x1d(%rax)
jne 0xa947
cmpb $-0x5c, 0x1e(%rax)
jne 0xa966
cmpb $0x70, 0x1f(%rax)
jne 0xa985
cmpb $0x10, 0x20(%rax)
jne 0xa9a4
cmpb $-0x36, 0x21(%rax)
jne 0xa9c3
cmpb $0x3e, 0x22(%rax)
jne 0xa9e2
cmpb $-0x1, 0x23(%rax)
jne 0xaa01
cmpb $0x73, 0x24(%rax)
jne 0xaa20
cmpb $-0x15, 0x25(%rax)
jne 0xaa3f
cmpb $-0x14, 0x26(%rax)
jne 0xaa5e
cmpb $-0x79, 0x27(%rax)
jne 0xaa7d
cmpb $-0x2e, 0x28(%rax)
jne 0xaa9c
cmpb $0x39, 0x29(%rax)
jne 0xaabb
cmpb $0x4f, 0x2a(%rax)
jne 0xaada
cmpb $-0x3b, 0x2b(%rax)
jne 0xaaf9
cmpb $-0x7b, 0x2c(%rax)
jne 0xab18
cmpb $0x60, 0x2d(%rax)
jne 0xab37
cmpb $-0x51, 0x2e(%rax)
jne 0xab56
cmpb $-0x16, 0x2f(%rax)
jne 0xab75
cmpb $-0x48, 0x30(%rax)
jne 0xab94
cmpb $0x6d, 0x31(%rax)
jne 0xabb3
cmpb $-0x54, 0x32(%rax)
jne 0xabd2
cmpb $0x7a, 0x33(%rax)
jne 0xabf1
cmpb $0x21, 0x34(%rax)
jne 0xac10
cmpb $-0xb, 0x35(%rax)
jne 0xac2f
cmpb $-0x1c, 0x36(%rax)
jne 0xac4e
cmpb $0x2, 0x37(%rax)
jne 0xac6d
cmpb $-0x16, 0x38(%rax)
jne 0xac8c
cmpb $0xa, 0x39(%rax)
jne 0xacab
cmpb $0x55, 0x3a(%rax)
jne 0xacca
cmpb $-0x1b, 0x3b(%rax)
jne 0xace9
cmpb $-0x38, 0x3c(%rax)
jne 0xad08
cmpb $-0x5a, 0x3d(%rax)
jne 0xad27
cmpb $0x75, 0x3e(%rax)
jne 0xad46
cmpb $-0x71, 0x3f(%rax)
jne 0xad65
xorl %ecx, %ecx
cmpb $0x0, 0x40(%rax,%rcx)
jne 0xa586
incq %rcx
cmpq $0x20, %rcx
jne 0xa413
cmpb $-0x14, 0x60(%rax)
jne 0xad84
cmpb $0x10, 0x61(%rax)
jne 0xada3
cmpb $-0x6b, 0x62(%rax)
jne 0xadc2
cmpb $0x7f, 0x63(%rax)
jne 0xade1
cmpb $-0x1f, 0x64(%rax)
jne 0xae00
cmpb $0x36, 0x65(%rax)
jne 0xae1f
cmpb $0x1a, 0x66(%rax)
jne 0xae3e
cmpb $-0x31, 0x67(%rax)
jne 0xae5d
cmpb $0x6a, 0x68(%rax)
jne 0xae7c
cmpb $0x76, 0x69(%rax)
jne 0xae9b
cmpb $0x55, 0x6a(%rax)
jne 0xaeba
cmpb $-0x4d, 0x6b(%rax)
jne 0xaed9
cmpb $0x5e, 0x6c(%rax)
jne 0xaef8
cmpb $-0x50, 0x6d(%rax)
jne 0xaf17
cmpb $0xf, 0x6e(%rax)
jne 0xaf36
cmpb $-0x52, 0x6f(%rax)
jne 0xaf55
cmpb $-0x28, 0x70(%rax)
jne 0xaf74
cmpb $-0x4f, 0x71(%rax)
jne 0xaf93
cmpb $0x49, 0x72(%rax)
jne 0xafb2
cmpb $0x5e, 0x73(%rax)
jne 0xafd1
cmpb $0x58, 0x74(%rax)
jne 0xaff0
cmpb $0x67, 0x75(%rax)
jne 0xb00f
cmpb $0x41, 0x76(%rax)
jne 0xb02e
cmpb $-0x6a, 0x77(%rax)
jne 0xb04d
cmpb $-0x16, 0x78(%rax)
jne 0xb06c
cmpb $-0x60, 0x79(%rax)
jne 0xb08b
cmpb $-0x15, 0x7a(%rax)
jne 0xb0aa
cmpb $0x79, 0x7b(%rax)
jne 0xb0c9
cmpb $0x0, 0x7c(%rax)
jne 0xb0e8
cmpb $-0x4e, 0x7d(%rax)
jne 0xb107
cmpb $0x13, 0x7e(%rax)
jne 0xb126
cmpb $-0xe, 0x7f(%rax)
jne 0xb145
cmpq $0x0, 0x90(%rsp)
jne 0xb164
xorl %eax, %eax
callq 0xcd49
addq $0xa0, %rsp
popq %rbx
retq
leaq 0x9d0c(%rip), %rdi      # 0x14299
leaq 0x9b28(%rip), %rsi      # 0x140bc
leaq 0xba85(%rip), %rcx      # 0x16020
movl $0x6a8, %edx            # imm = 0x6A8
callq 0x3040
leaq 0xba56(%rip), %rdi      # 0x16002
leaq 0x9b09(%rip), %rsi      # 0x140bc
leaq 0xba66(%rip), %rcx      # 0x16020
movl $0x666, %edx            # imm = 0x666
callq 0x3040
leaq 0xba66(%rip), %rdi      # 0x16031
leaq 0x9aea(%rip), %rsi      # 0x140bc
leaq 0xba47(%rip), %rcx      # 0x16020
movl $0x667, %edx            # imm = 0x667
callq 0x3040
leaq 0xba6c(%rip), %rdi      # 0x16056
leaq 0x9acb(%rip), %rsi      # 0x140bc
leaq 0xba28(%rip), %rcx      # 0x16020
movl $0x668, %edx            # imm = 0x668
callq 0x3040
leaq 0xba72(%rip), %rdi      # 0x1607b
leaq 0x9aac(%rip), %rsi      # 0x140bc
leaq 0xba09(%rip), %rcx      # 0x16020
movl $0x669, %edx            # imm = 0x669
callq 0x3040
leaq 0xba78(%rip), %rdi      # 0x160a0
leaq 0x9a8d(%rip), %rsi      # 0x140bc
leaq 0xb9ea(%rip), %rcx      # 0x16020
movl $0x66a, %edx            # imm = 0x66A
callq 0x3040
leaq 0xba7e(%rip), %rdi      # 0x160c5
leaq 0x9a6e(%rip), %rsi      # 0x140bc
leaq 0xb9cb(%rip), %rcx      # 0x16020
movl $0x66b, %edx            # imm = 0x66B
callq 0x3040
leaq 0xba84(%rip), %rdi      # 0x160ea
leaq 0x9a4f(%rip), %rsi      # 0x140bc
leaq 0xb9ac(%rip), %rcx      # 0x16020
movl $0x66c, %edx            # imm = 0x66C
callq 0x3040
leaq 0xba8a(%rip), %rdi      # 0x1610f
leaq 0x9a30(%rip), %rsi      # 0x140bc
leaq 0xb98d(%rip), %rcx      # 0x16020
movl $0x66d, %edx            # imm = 0x66D
callq 0x3040
leaq 0xba90(%rip), %rdi      # 0x16134
leaq 0x9a11(%rip), %rsi      # 0x140bc
leaq 0xb96e(%rip), %rcx      # 0x16020
movl $0x66e, %edx            # imm = 0x66E
callq 0x3040
leaq 0xba96(%rip), %rdi      # 0x16159
leaq 0x99f2(%rip), %rsi      # 0x140bc
leaq 0xb94f(%rip), %rcx      # 0x16020
movl $0x66f, %edx            # imm = 0x66F
callq 0x3040
leaq 0xba9c(%rip), %rdi      # 0x1617e
leaq 0x99d3(%rip), %rsi      # 0x140bc
leaq 0xb930(%rip), %rcx      # 0x16020
movl $0x670, %edx            # imm = 0x670
callq 0x3040
leaq 0xbaa2(%rip), %rdi      # 0x161a3
leaq 0x99b4(%rip), %rsi      # 0x140bc
leaq 0xb911(%rip), %rcx      # 0x16020
movl $0x671, %edx            # imm = 0x671
callq 0x3040
leaq 0xbaa9(%rip), %rdi      # 0x161c9
leaq 0x9995(%rip), %rsi      # 0x140bc
leaq 0xb8f2(%rip), %rcx      # 0x16020
movl $0x672, %edx            # imm = 0x672
callq 0x3040
leaq 0xbab0(%rip), %rdi      # 0x161ef
leaq 0x9976(%rip), %rsi      # 0x140bc
leaq 0xb8d3(%rip), %rcx      # 0x16020
movl $0x673, %edx            # imm = 0x673
callq 0x3040
leaq 0xbab7(%rip), %rdi      # 0x16215
leaq 0x9957(%rip), %rsi      # 0x140bc
leaq 0xb8b4(%rip), %rcx      # 0x16020
movl $0x674, %edx            # imm = 0x674
callq 0x3040
leaq 0xbabe(%rip), %rdi      # 0x1623b
leaq 0x9938(%rip), %rsi      # 0x140bc
leaq 0xb895(%rip), %rcx      # 0x16020
movl $0x675, %edx            # imm = 0x675
callq 0x3040
leaq 0xbac5(%rip), %rdi      # 0x16261
leaq 0x9919(%rip), %rsi      # 0x140bc
leaq 0xb876(%rip), %rcx      # 0x16020
movl $0x676, %edx            # imm = 0x676
callq 0x3040
leaq 0xbacc(%rip), %rdi      # 0x16287
leaq 0x98fa(%rip), %rsi      # 0x140bc
leaq 0xb857(%rip), %rcx      # 0x16020
movl $0x677, %edx            # imm = 0x677
callq 0x3040
leaq 0xbad3(%rip), %rdi      # 0x162ad
leaq 0x98db(%rip), %rsi      # 0x140bc
leaq 0xb838(%rip), %rcx      # 0x16020
movl $0x678, %edx            # imm = 0x678
callq 0x3040
leaq 0xbada(%rip), %rdi      # 0x162d3
leaq 0x98bc(%rip), %rsi      # 0x140bc
leaq 0xb819(%rip), %rcx      # 0x16020
movl $0x679, %edx            # imm = 0x679
callq 0x3040
leaq 0xbae1(%rip), %rdi      # 0x162f9
leaq 0x989d(%rip), %rsi      # 0x140bc
leaq 0xb7fa(%rip), %rcx      # 0x16020
movl $0x67a, %edx            # imm = 0x67A
callq 0x3040
leaq 0xbae8(%rip), %rdi      # 0x1631f
leaq 0x987e(%rip), %rsi      # 0x140bc
leaq 0xb7db(%rip), %rcx      # 0x16020
movl $0x67b, %edx            # imm = 0x67B
callq 0x3040
leaq 0xbaef(%rip), %rdi      # 0x16345
leaq 0x985f(%rip), %rsi      # 0x140bc
leaq 0xb7bc(%rip), %rcx      # 0x16020
movl $0x67c, %edx            # imm = 0x67C
callq 0x3040
leaq 0xbaf6(%rip), %rdi      # 0x1636b
leaq 0x9840(%rip), %rsi      # 0x140bc
leaq 0xb79d(%rip), %rcx      # 0x16020
movl $0x67d, %edx            # imm = 0x67D
callq 0x3040
leaq 0xbafd(%rip), %rdi      # 0x16391
leaq 0x9821(%rip), %rsi      # 0x140bc
leaq 0xb77e(%rip), %rcx      # 0x16020
movl $0x67e, %edx            # imm = 0x67E
callq 0x3040
leaq 0xbb04(%rip), %rdi      # 0x163b7
leaq 0x9802(%rip), %rsi      # 0x140bc
leaq 0xb75f(%rip), %rcx      # 0x16020
movl $0x67f, %edx            # imm = 0x67F
callq 0x3040
leaq 0xbb0b(%rip), %rdi      # 0x163dd
leaq 0x97e3(%rip), %rsi      # 0x140bc
leaq 0xb740(%rip), %rcx      # 0x16020
movl $0x680, %edx            # imm = 0x680
callq 0x3040
leaq 0xbb12(%rip), %rdi      # 0x16403
leaq 0x97c4(%rip), %rsi      # 0x140bc
leaq 0xb721(%rip), %rcx      # 0x16020
movl $0x681, %edx            # imm = 0x681
callq 0x3040
leaq 0xbb19(%rip), %rdi      # 0x16429
leaq 0x97a5(%rip), %rsi      # 0x140bc
leaq 0xb702(%rip), %rcx      # 0x16020
movl $0x682, %edx            # imm = 0x682
callq 0x3040
leaq 0xbb20(%rip), %rdi      # 0x1644f
leaq 0x9786(%rip), %rsi      # 0x140bc
leaq 0xb6e3(%rip), %rcx      # 0x16020
movl $0x683, %edx            # imm = 0x683
callq 0x3040
leaq 0xbb27(%rip), %rdi      # 0x16475
leaq 0x9767(%rip), %rsi      # 0x140bc
leaq 0xb6c4(%rip), %rcx      # 0x16020
movl $0x684, %edx            # imm = 0x684
callq 0x3040
leaq 0xbb2e(%rip), %rdi      # 0x1649b
leaq 0x9748(%rip), %rsi      # 0x140bc
leaq 0xb6a5(%rip), %rcx      # 0x16020
movl $0x685, %edx            # imm = 0x685
callq 0x3040
leaq 0xbb35(%rip), %rdi      # 0x164c1
leaq 0x9729(%rip), %rsi      # 0x140bc
leaq 0xb686(%rip), %rcx      # 0x16020
movl $0x686, %edx            # imm = 0x686
callq 0x3040
leaq 0xbb3c(%rip), %rdi      # 0x164e7
leaq 0x970a(%rip), %rsi      # 0x140bc
leaq 0xb667(%rip), %rcx      # 0x16020
movl $0x687, %edx            # imm = 0x687
callq 0x3040
leaq 0xbb43(%rip), %rdi      # 0x1650d
leaq 0x96eb(%rip), %rsi      # 0x140bc
leaq 0xb648(%rip), %rcx      # 0x16020
movl $0x688, %edx            # imm = 0x688
callq 0x3040
leaq 0xbb4a(%rip), %rdi      # 0x16533
leaq 0x96cc(%rip), %rsi      # 0x140bc
leaq 0xb629(%rip), %rcx      # 0x16020
movl $0x689, %edx            # imm = 0x689
callq 0x3040
leaq 0xbb51(%rip), %rdi      # 0x16559
leaq 0x96ad(%rip), %rsi      # 0x140bc
leaq 0xb60a(%rip), %rcx      # 0x16020
movl $0x68a, %edx            # imm = 0x68A
callq 0x3040
leaq 0xbb58(%rip), %rdi      # 0x1657f
leaq 0x968e(%rip), %rsi      # 0x140bc
leaq 0xb5eb(%rip), %rcx      # 0x16020
movl $0x68b, %edx            # imm = 0x68B
callq 0x3040
leaq 0xbb5f(%rip), %rdi      # 0x165a5
leaq 0x966f(%rip), %rsi      # 0x140bc
leaq 0xb5cc(%rip), %rcx      # 0x16020
movl $0x68c, %edx            # imm = 0x68C
callq 0x3040
leaq 0xbb66(%rip), %rdi      # 0x165cb
leaq 0x9650(%rip), %rsi      # 0x140bc
leaq 0xb5ad(%rip), %rcx      # 0x16020
movl $0x68d, %edx            # imm = 0x68D
callq 0x3040
leaq 0xbb6d(%rip), %rdi      # 0x165f1
leaq 0x9631(%rip), %rsi      # 0x140bc
leaq 0xb58e(%rip), %rcx      # 0x16020
movl $0x68e, %edx            # imm = 0x68E
callq 0x3040
leaq 0xbb74(%rip), %rdi      # 0x16617
leaq 0x9612(%rip), %rsi      # 0x140bc
leaq 0xb56f(%rip), %rcx      # 0x16020
movl $0x68f, %edx            # imm = 0x68F
callq 0x3040
leaq 0xbb7b(%rip), %rdi      # 0x1663d
leaq 0x95f3(%rip), %rsi      # 0x140bc
leaq 0xb550(%rip), %rcx      # 0x16020
movl $0x690, %edx            # imm = 0x690
callq 0x3040
leaq 0xbb82(%rip), %rdi      # 0x16663
leaq 0x95d4(%rip), %rsi      # 0x140bc
leaq 0xb531(%rip), %rcx      # 0x16020
movl $0x691, %edx            # imm = 0x691
callq 0x3040
leaq 0xbb89(%rip), %rdi      # 0x16689
leaq 0x95b5(%rip), %rsi      # 0x140bc
leaq 0xb512(%rip), %rcx      # 0x16020
movl $0x692, %edx            # imm = 0x692
callq 0x3040
leaq 0xbb90(%rip), %rdi      # 0x166af
leaq 0x9596(%rip), %rsi      # 0x140bc
leaq 0xb4f3(%rip), %rcx      # 0x16020
movl $0x693, %edx            # imm = 0x693
callq 0x3040
leaq 0xbb97(%rip), %rdi      # 0x166d5
leaq 0x9577(%rip), %rsi      # 0x140bc
leaq 0xb4d4(%rip), %rcx      # 0x16020
movl $0x694, %edx            # imm = 0x694
callq 0x3040
leaq 0xbb9e(%rip), %rdi      # 0x166fb
leaq 0x9558(%rip), %rsi      # 0x140bc
leaq 0xb4b5(%rip), %rcx      # 0x16020
movl $0x695, %edx            # imm = 0x695
callq 0x3040
leaq 0xbba5(%rip), %rdi      # 0x16721
leaq 0x9539(%rip), %rsi      # 0x140bc
leaq 0xb496(%rip), %rcx      # 0x16020
movl $0x696, %edx            # imm = 0x696
callq 0x3040
leaq 0xbbac(%rip), %rdi      # 0x16747
leaq 0x951a(%rip), %rsi      # 0x140bc
leaq 0xb477(%rip), %rcx      # 0x16020
movl $0x697, %edx            # imm = 0x697
callq 0x3040
leaq 0xbbb3(%rip), %rdi      # 0x1676d
leaq 0x94fb(%rip), %rsi      # 0x140bc
leaq 0xb458(%rip), %rcx      # 0x16020
movl $0x698, %edx            # imm = 0x698
callq 0x3040
leaq 0xbbba(%rip), %rdi      # 0x16793
leaq 0x94dc(%rip), %rsi      # 0x140bc
leaq 0xb439(%rip), %rcx      # 0x16020
movl $0x699, %edx            # imm = 0x699
callq 0x3040
leaq 0xbbc1(%rip), %rdi      # 0x167b9
leaq 0x94bd(%rip), %rsi      # 0x140bc
leaq 0xb41a(%rip), %rcx      # 0x16020
movl $0x69a, %edx            # imm = 0x69A
callq 0x3040
leaq 0xbbc8(%rip), %rdi      # 0x167df
leaq 0x949e(%rip), %rsi      # 0x140bc
leaq 0xb3fb(%rip), %rcx      # 0x16020
movl $0x69b, %edx            # imm = 0x69B
callq 0x3040
leaq 0xbbcf(%rip), %rdi      # 0x16805
leaq 0x947f(%rip), %rsi      # 0x140bc
leaq 0xb3dc(%rip), %rcx      # 0x16020
movl $0x69c, %edx            # imm = 0x69C
callq 0x3040
leaq 0xbbd6(%rip), %rdi      # 0x1682b
leaq 0x9460(%rip), %rsi      # 0x140bc
leaq 0xb3bd(%rip), %rcx      # 0x16020
movl $0x69d, %edx            # imm = 0x69D
callq 0x3040
leaq 0xbbdd(%rip), %rdi      # 0x16851
leaq 0x9441(%rip), %rsi      # 0x140bc
leaq 0xb39e(%rip), %rcx      # 0x16020
movl $0x69e, %edx            # imm = 0x69E
callq 0x3040
leaq 0xbbe4(%rip), %rdi      # 0x16877
leaq 0x9422(%rip), %rsi      # 0x140bc
leaq 0xb37f(%rip), %rcx      # 0x16020
movl $0x69f, %edx            # imm = 0x69F
callq 0x3040
leaq 0xbbeb(%rip), %rdi      # 0x1689d
leaq 0x9403(%rip), %rsi      # 0x140bc
leaq 0xb360(%rip), %rcx      # 0x16020
movl $0x6a0, %edx            # imm = 0x6A0
callq 0x3040
leaq 0xbbf2(%rip), %rdi      # 0x168c3
leaq 0x93e4(%rip), %rsi      # 0x140bc
leaq 0xb341(%rip), %rcx      # 0x16020
movl $0x6a1, %edx            # imm = 0x6A1
callq 0x3040
leaq 0xbbf9(%rip), %rdi      # 0x168e9
leaq 0x93c5(%rip), %rsi      # 0x140bc
leaq 0xb322(%rip), %rcx      # 0x16020
movl $0x6a2, %edx            # imm = 0x6A2
callq 0x3040
leaq 0xbc00(%rip), %rdi      # 0x1690f
leaq 0x93a6(%rip), %rsi      # 0x140bc
leaq 0xb303(%rip), %rcx      # 0x16020
movl $0x6a3, %edx            # imm = 0x6A3
callq 0x3040
leaq 0xbc07(%rip), %rdi      # 0x16935
leaq 0x9387(%rip), %rsi      # 0x140bc
leaq 0xb2e4(%rip), %rcx      # 0x16020
movl $0x6a4, %edx            # imm = 0x6A4
callq 0x3040
leaq 0xbc0e(%rip), %rdi      # 0x1695b
leaq 0x9368(%rip), %rsi      # 0x140bc
leaq 0xb2c5(%rip), %rcx      # 0x16020
movl $0x6a5, %edx            # imm = 0x6A5
callq 0x3040
leaq 0xbc15(%rip), %rdi      # 0x16981
leaq 0x9349(%rip), %rsi      # 0x140bc
leaq 0xb2a6(%rip), %rcx      # 0x16020
movl $0x6a6, %edx            # imm = 0x6A6
callq 0x3040
leaq 0xbc1c(%rip), %rdi      # 0x169a7
leaq 0x932a(%rip), %rsi      # 0x140bc
leaq 0xb287(%rip), %rcx      # 0x16020
movl $0x6aa, %edx            # imm = 0x6AA
callq 0x3040
leaq 0xbc23(%rip), %rdi      # 0x169cd
leaq 0x930b(%rip), %rsi      # 0x140bc
leaq 0xb268(%rip), %rcx      # 0x16020
movl $0x6ab, %edx            # imm = 0x6AB
callq 0x3040
leaq 0xbc2a(%rip), %rdi      # 0x169f3
leaq 0x92ec(%rip), %rsi      # 0x140bc
leaq 0xb249(%rip), %rcx      # 0x16020
movl $0x6ac, %edx            # imm = 0x6AC
callq 0x3040
leaq 0xbc31(%rip), %rdi      # 0x16a19
leaq 0x92cd(%rip), %rsi      # 0x140bc
leaq 0xb22a(%rip), %rcx      # 0x16020
movl $0x6ad, %edx            # imm = 0x6AD
callq 0x3040
leaq 0xbc38(%rip), %rdi      # 0x16a3f
leaq 0x92ae(%rip), %rsi      # 0x140bc
leaq 0xb20b(%rip), %rcx      # 0x16020
movl $0x6ae, %edx            # imm = 0x6AE
callq 0x3040
leaq 0xbc40(%rip), %rdi      # 0x16a66
leaq 0x928f(%rip), %rsi      # 0x140bc
leaq 0xb1ec(%rip), %rcx      # 0x16020
movl $0x6af, %edx            # imm = 0x6AF
callq 0x3040
leaq 0xbc48(%rip), %rdi      # 0x16a8d
leaq 0x9270(%rip), %rsi      # 0x140bc
leaq 0xb1cd(%rip), %rcx      # 0x16020
movl $0x6b0, %edx            # imm = 0x6B0
callq 0x3040
leaq 0xbc50(%rip), %rdi      # 0x16ab4
leaq 0x9251(%rip), %rsi      # 0x140bc
leaq 0xb1ae(%rip), %rcx      # 0x16020
movl $0x6b1, %edx            # imm = 0x6B1
callq 0x3040
leaq 0xbc58(%rip), %rdi      # 0x16adb
leaq 0x9232(%rip), %rsi      # 0x140bc
leaq 0xb18f(%rip), %rcx      # 0x16020
movl $0x6b2, %edx            # imm = 0x6B2
callq 0x3040
leaq 0xbc60(%rip), %rdi      # 0x16b02
leaq 0x9213(%rip), %rsi      # 0x140bc
leaq 0xb170(%rip), %rcx      # 0x16020
movl $0x6b3, %edx            # imm = 0x6B3
callq 0x3040
leaq 0xbc68(%rip), %rdi      # 0x16b29
leaq 0x91f4(%rip), %rsi      # 0x140bc
leaq 0xb151(%rip), %rcx      # 0x16020
movl $0x6b4, %edx            # imm = 0x6B4
callq 0x3040
leaq 0xbc70(%rip), %rdi      # 0x16b50
leaq 0x91d5(%rip), %rsi      # 0x140bc
leaq 0xb132(%rip), %rcx      # 0x16020
movl $0x6b5, %edx            # imm = 0x6B5
callq 0x3040
leaq 0xbc78(%rip), %rdi      # 0x16b77
leaq 0x91b6(%rip), %rsi      # 0x140bc
leaq 0xb113(%rip), %rcx      # 0x16020
movl $0x6b6, %edx            # imm = 0x6B6
callq 0x3040
leaq 0xbc80(%rip), %rdi      # 0x16b9e
leaq 0x9197(%rip), %rsi      # 0x140bc
leaq 0xb0f4(%rip), %rcx      # 0x16020
movl $0x6b7, %edx            # imm = 0x6B7
callq 0x3040
leaq 0xbc88(%rip), %rdi      # 0x16bc5
leaq 0x9178(%rip), %rsi      # 0x140bc
leaq 0xb0d5(%rip), %rcx      # 0x16020
movl $0x6b8, %edx            # imm = 0x6B8
callq 0x3040
leaq 0xbc90(%rip), %rdi      # 0x16bec
leaq 0x9159(%rip), %rsi      # 0x140bc
leaq 0xb0b6(%rip), %rcx      # 0x16020
movl $0x6b9, %edx            # imm = 0x6B9
callq 0x3040
leaq 0xbc98(%rip), %rdi      # 0x16c13
leaq 0x913a(%rip), %rsi      # 0x140bc
leaq 0xb097(%rip), %rcx      # 0x16020
movl $0x6ba, %edx            # imm = 0x6BA
callq 0x3040
leaq 0xbca0(%rip), %rdi      # 0x16c3a
leaq 0x911b(%rip), %rsi      # 0x140bc
leaq 0xb078(%rip), %rcx      # 0x16020
movl $0x6bb, %edx            # imm = 0x6BB
callq 0x3040
leaq 0xbca8(%rip), %rdi      # 0x16c61
leaq 0x90fc(%rip), %rsi      # 0x140bc
leaq 0xb059(%rip), %rcx      # 0x16020
movl $0x6bc, %edx            # imm = 0x6BC
callq 0x3040
leaq 0xbcb0(%rip), %rdi      # 0x16c88
leaq 0x90dd(%rip), %rsi      # 0x140bc
leaq 0xb03a(%rip), %rcx      # 0x16020
movl $0x6bd, %edx            # imm = 0x6BD
callq 0x3040
leaq 0xbcb8(%rip), %rdi      # 0x16caf
leaq 0x90be(%rip), %rsi      # 0x140bc
leaq 0xb01b(%rip), %rcx      # 0x16020
movl $0x6be, %edx            # imm = 0x6BE
callq 0x3040
leaq 0xbcc0(%rip), %rdi      # 0x16cd6
leaq 0x909f(%rip), %rsi      # 0x140bc
leaq 0xaffc(%rip), %rcx      # 0x16020
movl $0x6bf, %edx            # imm = 0x6BF
callq 0x3040
leaq 0xbcc8(%rip), %rdi      # 0x16cfd
leaq 0x9080(%rip), %rsi      # 0x140bc
leaq 0xafdd(%rip), %rcx      # 0x16020
movl $0x6c0, %edx            # imm = 0x6C0
callq 0x3040
leaq 0xbcd0(%rip), %rdi      # 0x16d24
leaq 0x9061(%rip), %rsi      # 0x140bc
leaq 0xafbe(%rip), %rcx      # 0x16020
movl $0x6c1, %edx            # imm = 0x6C1
callq 0x3040
leaq 0xbcd8(%rip), %rdi      # 0x16d4b
leaq 0x9042(%rip), %rsi      # 0x140bc
leaq 0xaf9f(%rip), %rcx      # 0x16020
movl $0x6c2, %edx            # imm = 0x6C2
callq 0x3040
leaq 0xbce0(%rip), %rdi      # 0x16d72
leaq 0x9023(%rip), %rsi      # 0x140bc
leaq 0xaf80(%rip), %rcx      # 0x16020
movl $0x6c3, %edx            # imm = 0x6C3
callq 0x3040
leaq 0xbce8(%rip), %rdi      # 0x16d99
leaq 0x9004(%rip), %rsi      # 0x140bc
leaq 0xaf61(%rip), %rcx      # 0x16020
movl $0x6c4, %edx            # imm = 0x6C4
callq 0x3040
leaq 0xbcf0(%rip), %rdi      # 0x16dc0
leaq 0x8fe5(%rip), %rsi      # 0x140bc
leaq 0xaf42(%rip), %rcx      # 0x16020
movl $0x6c5, %edx            # imm = 0x6C5
callq 0x3040
leaq 0xbcf8(%rip), %rdi      # 0x16de7
leaq 0x8fc6(%rip), %rsi      # 0x140bc
leaq 0xaf23(%rip), %rcx      # 0x16020
movl $0x6c6, %edx            # imm = 0x6C6
callq 0x3040
leaq 0xbd00(%rip), %rdi      # 0x16e0e
leaq 0x8fa7(%rip), %rsi      # 0x140bc
leaq 0xaf04(%rip), %rcx      # 0x16020
movl $0x6c7, %edx            # imm = 0x6C7
callq 0x3040
leaq 0xbd08(%rip), %rdi      # 0x16e35
leaq 0x8f88(%rip), %rsi      # 0x140bc
leaq 0xaee5(%rip), %rcx      # 0x16020
movl $0x6c8, %edx            # imm = 0x6C8
callq 0x3040
leaq 0xbd10(%rip), %rdi      # 0x16e5c
leaq 0x8f69(%rip), %rsi      # 0x140bc
leaq 0xaec6(%rip), %rcx      # 0x16020
movl $0x6c9, %edx            # imm = 0x6C9
callq 0x3040
leaq 0x9016(%rip), %rdi      # 0x14181
leaq 0x8f4a(%rip), %rsi      # 0x140bc
leaq 0xaea7(%rip), %rcx      # 0x16020
movl $0x6ca, %edx            # imm = 0x6CA
callq 0x3040