// File: /workspace/github_c_makefile_star2_O1/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 0xca7b
movaps 0xe590(%rip), %xmm0     # 0x186e0
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 0xd845
cmpq $0x80, (%rbx)
jne 0xa5c1
movq 0x68(%rsp), %rax
cmpb $-0x3b, (%rax)
jne 0xa5e0
cmpb $-0x2e, 0x1(%rax)
jne 0xa5ff
cmpb $0x46, 0x2(%rax)
jne 0xa61e
cmpb $0x1, 0x3(%rax)
jne 0xa63d
cmpb $-0x7a, 0x4(%rax)
jne 0xa65c
cmpb $-0x9, 0x5(%rax)
jne 0xa67b
cmpb $0x23, 0x6(%rax)
jne 0xa69a
cmpb $0x3c, 0x7(%rax)
jne 0xa6b9
cmpb $-0x6e, 0x8(%rax)
jne 0xa6d8
cmpb $0x7e, 0x9(%rax)
jne 0xa6f7
cmpb $0x7d, 0xa(%rax)
jne 0xa716
cmpb $-0x4e, 0xb(%rax)
jne 0xa735
cmpb $-0x24, 0xc(%rax)
jne 0xa754
cmpb $-0x39, 0xd(%rax)
jne 0xa773
cmpb $0x3, 0xe(%rax)
jne 0xa792
cmpb $-0x40, 0xf(%rax)
jne 0xa7b1
cmpb $-0x1b, 0x10(%rax)
jne 0xa7d0
cmpb $0x0, 0x11(%rax)
jne 0xa7ef
cmpb $-0x4a, 0x12(%rax)
jne 0xa80e
cmpb $0x53, 0x13(%rax)
jne 0xa82d
cmpb $-0x36, 0x14(%rax)
jne 0xa84c
cmpb $-0x7e, 0x15(%rax)
jne 0xa86b
cmpb $0x27, 0x16(%rax)
jne 0xa88a
cmpb $0x3b, 0x17(%rax)
jne 0xa8a9
cmpb $0x7b, 0x18(%rax)
jne 0xa8c8
cmpb $-0x6, 0x19(%rax)
jne 0xa8e7
cmpb $-0x28, 0x1a(%rax)
jne 0xa906
cmpb $0x4, 0x1b(%rax)
jne 0xa925
cmpb $0x5d, 0x1c(%rax)
jne 0xa944
cmpb $-0x7b, 0x1d(%rax)
jne 0xa963
cmpb $-0x5c, 0x1e(%rax)
jne 0xa982
cmpb $0x70, 0x1f(%rax)
jne 0xa9a1
cmpb $0x10, 0x20(%rax)
jne 0xa9c0
cmpb $-0x36, 0x21(%rax)
jne 0xa9df
cmpb $0x3e, 0x22(%rax)
jne 0xa9fe
cmpb $-0x1, 0x23(%rax)
jne 0xaa1d
cmpb $0x73, 0x24(%rax)
jne 0xaa3c
cmpb $-0x15, 0x25(%rax)
jne 0xaa5b
cmpb $-0x14, 0x26(%rax)
jne 0xaa7a
cmpb $-0x79, 0x27(%rax)
jne 0xaa99
cmpb $-0x2e, 0x28(%rax)
jne 0xaab8
cmpb $0x39, 0x29(%rax)
jne 0xaad7
cmpb $0x4f, 0x2a(%rax)
jne 0xaaf6
cmpb $-0x3b, 0x2b(%rax)
jne 0xab15
cmpb $-0x7b, 0x2c(%rax)
jne 0xab34
cmpb $0x60, 0x2d(%rax)
jne 0xab53
cmpb $-0x51, 0x2e(%rax)
jne 0xab72
cmpb $-0x16, 0x2f(%rax)
jne 0xab91
cmpb $-0x48, 0x30(%rax)
jne 0xabb0
cmpb $0x6d, 0x31(%rax)
jne 0xabcf
cmpb $-0x54, 0x32(%rax)
jne 0xabee
cmpb $0x7a, 0x33(%rax)
jne 0xac0d
cmpb $0x21, 0x34(%rax)
jne 0xac2c
cmpb $-0xb, 0x35(%rax)
jne 0xac4b
cmpb $-0x1c, 0x36(%rax)
jne 0xac6a
cmpb $0x2, 0x37(%rax)
jne 0xac89
cmpb $-0x16, 0x38(%rax)
jne 0xaca8
cmpb $0xa, 0x39(%rax)
jne 0xacc7
cmpb $0x55, 0x3a(%rax)
jne 0xace6
cmpb $-0x1b, 0x3b(%rax)
jne 0xad05
cmpb $-0x38, 0x3c(%rax)
jne 0xad24
cmpb $-0x5a, 0x3d(%rax)
jne 0xad43
cmpb $0x75, 0x3e(%rax)
jne 0xad62
cmpb $-0x71, 0x3f(%rax)
jne 0xad81
xorl %ecx, %ecx
cmpb $0x0, 0x40(%rax,%rcx)
jne 0xa5a2
incq %rcx
cmpq $0x20, %rcx
jne 0xa42f
cmpb $-0x14, 0x60(%rax)
jne 0xada0
cmpb $0x10, 0x61(%rax)
jne 0xadbf
cmpb $-0x6b, 0x62(%rax)
jne 0xadde
cmpb $0x7f, 0x63(%rax)
jne 0xadfd
cmpb $-0x1f, 0x64(%rax)
jne 0xae1c
cmpb $0x36, 0x65(%rax)
jne 0xae3b
cmpb $0x1a, 0x66(%rax)
jne 0xae5a
cmpb $-0x31, 0x67(%rax)
jne 0xae79
cmpb $0x6a, 0x68(%rax)
jne 0xae98
cmpb $0x76, 0x69(%rax)
jne 0xaeb7
cmpb $0x55, 0x6a(%rax)
jne 0xaed6
cmpb $-0x4d, 0x6b(%rax)
jne 0xaef5
cmpb $0x5e, 0x6c(%rax)
jne 0xaf14
cmpb $-0x50, 0x6d(%rax)
jne 0xaf33
cmpb $0xf, 0x6e(%rax)
jne 0xaf52
cmpb $-0x52, 0x6f(%rax)
jne 0xaf71
cmpb $-0x28, 0x70(%rax)
jne 0xaf90
cmpb $-0x4f, 0x71(%rax)
jne 0xafaf
cmpb $0x49, 0x72(%rax)
jne 0xafce
cmpb $0x5e, 0x73(%rax)
jne 0xafed
cmpb $0x58, 0x74(%rax)
jne 0xb00c
cmpb $0x67, 0x75(%rax)
jne 0xb02b
cmpb $0x41, 0x76(%rax)
jne 0xb04a
cmpb $-0x6a, 0x77(%rax)
jne 0xb069
cmpb $-0x16, 0x78(%rax)
jne 0xb088
cmpb $-0x60, 0x79(%rax)
jne 0xb0a7
cmpb $-0x15, 0x7a(%rax)
jne 0xb0c6
cmpb $0x79, 0x7b(%rax)
jne 0xb0e5
cmpb $0x0, 0x7c(%rax)
jne 0xb104
cmpb $-0x4e, 0x7d(%rax)
jne 0xb123
cmpb $0x13, 0x7e(%rax)
jne 0xb142
cmpb $-0xe, 0x7f(%rax)
jne 0xb161
cmpq $0x0, 0x90(%rsp)
jne 0xb180
xorl %eax, %eax
callq 0xcf29
addq $0xa0, %rsp
popq %rbx
retq
leaq 0x9cd0(%rip), %rdi      # 0x14279
leaq 0x9aec(%rip), %rsi      # 0x1409c
leaq 0xba49(%rip), %rcx      # 0x16000
movl $0x6a8, %edx            # imm = 0x6A8
callq 0x3040
leaq 0xba1a(%rip), %rdi      # 0x15fe2
leaq 0x9acd(%rip), %rsi      # 0x1409c
leaq 0xba2a(%rip), %rcx      # 0x16000
movl $0x666, %edx            # imm = 0x666
callq 0x3040
leaq 0xba2a(%rip), %rdi      # 0x16011
leaq 0x9aae(%rip), %rsi      # 0x1409c
leaq 0xba0b(%rip), %rcx      # 0x16000
movl $0x667, %edx            # imm = 0x667
callq 0x3040
leaq 0xba30(%rip), %rdi      # 0x16036
leaq 0x9a8f(%rip), %rsi      # 0x1409c
leaq 0xb9ec(%rip), %rcx      # 0x16000
movl $0x668, %edx            # imm = 0x668
callq 0x3040
leaq 0xba36(%rip), %rdi      # 0x1605b
leaq 0x9a70(%rip), %rsi      # 0x1409c
leaq 0xb9cd(%rip), %rcx      # 0x16000
movl $0x669, %edx            # imm = 0x669
callq 0x3040
leaq 0xba3c(%rip), %rdi      # 0x16080
leaq 0x9a51(%rip), %rsi      # 0x1409c
leaq 0xb9ae(%rip), %rcx      # 0x16000
movl $0x66a, %edx            # imm = 0x66A
callq 0x3040
leaq 0xba42(%rip), %rdi      # 0x160a5
leaq 0x9a32(%rip), %rsi      # 0x1409c
leaq 0xb98f(%rip), %rcx      # 0x16000
movl $0x66b, %edx            # imm = 0x66B
callq 0x3040
leaq 0xba48(%rip), %rdi      # 0x160ca
leaq 0x9a13(%rip), %rsi      # 0x1409c
leaq 0xb970(%rip), %rcx      # 0x16000
movl $0x66c, %edx            # imm = 0x66C
callq 0x3040
leaq 0xba4e(%rip), %rdi      # 0x160ef
leaq 0x99f4(%rip), %rsi      # 0x1409c
leaq 0xb951(%rip), %rcx      # 0x16000
movl $0x66d, %edx            # imm = 0x66D
callq 0x3040
leaq 0xba54(%rip), %rdi      # 0x16114
leaq 0x99d5(%rip), %rsi      # 0x1409c
leaq 0xb932(%rip), %rcx      # 0x16000
movl $0x66e, %edx            # imm = 0x66E
callq 0x3040
leaq 0xba5a(%rip), %rdi      # 0x16139
leaq 0x99b6(%rip), %rsi      # 0x1409c
leaq 0xb913(%rip), %rcx      # 0x16000
movl $0x66f, %edx            # imm = 0x66F
callq 0x3040
leaq 0xba60(%rip), %rdi      # 0x1615e
leaq 0x9997(%rip), %rsi      # 0x1409c
leaq 0xb8f4(%rip), %rcx      # 0x16000
movl $0x670, %edx            # imm = 0x670
callq 0x3040
leaq 0xba66(%rip), %rdi      # 0x16183
leaq 0x9978(%rip), %rsi      # 0x1409c
leaq 0xb8d5(%rip), %rcx      # 0x16000
movl $0x671, %edx            # imm = 0x671
callq 0x3040
leaq 0xba6d(%rip), %rdi      # 0x161a9
leaq 0x9959(%rip), %rsi      # 0x1409c
leaq 0xb8b6(%rip), %rcx      # 0x16000
movl $0x672, %edx            # imm = 0x672
callq 0x3040
leaq 0xba74(%rip), %rdi      # 0x161cf
leaq 0x993a(%rip), %rsi      # 0x1409c
leaq 0xb897(%rip), %rcx      # 0x16000
movl $0x673, %edx            # imm = 0x673
callq 0x3040
leaq 0xba7b(%rip), %rdi      # 0x161f5
leaq 0x991b(%rip), %rsi      # 0x1409c
leaq 0xb878(%rip), %rcx      # 0x16000
movl $0x674, %edx            # imm = 0x674
callq 0x3040
leaq 0xba82(%rip), %rdi      # 0x1621b
leaq 0x98fc(%rip), %rsi      # 0x1409c
leaq 0xb859(%rip), %rcx      # 0x16000
movl $0x675, %edx            # imm = 0x675
callq 0x3040
leaq 0xba89(%rip), %rdi      # 0x16241
leaq 0x98dd(%rip), %rsi      # 0x1409c
leaq 0xb83a(%rip), %rcx      # 0x16000
movl $0x676, %edx            # imm = 0x676
callq 0x3040
leaq 0xba90(%rip), %rdi      # 0x16267
leaq 0x98be(%rip), %rsi      # 0x1409c
leaq 0xb81b(%rip), %rcx      # 0x16000
movl $0x677, %edx            # imm = 0x677
callq 0x3040
leaq 0xba97(%rip), %rdi      # 0x1628d
leaq 0x989f(%rip), %rsi      # 0x1409c
leaq 0xb7fc(%rip), %rcx      # 0x16000
movl $0x678, %edx            # imm = 0x678
callq 0x3040
leaq 0xba9e(%rip), %rdi      # 0x162b3
leaq 0x9880(%rip), %rsi      # 0x1409c
leaq 0xb7dd(%rip), %rcx      # 0x16000
movl $0x679, %edx            # imm = 0x679
callq 0x3040
leaq 0xbaa5(%rip), %rdi      # 0x162d9
leaq 0x9861(%rip), %rsi      # 0x1409c
leaq 0xb7be(%rip), %rcx      # 0x16000
movl $0x67a, %edx            # imm = 0x67A
callq 0x3040
leaq 0xbaac(%rip), %rdi      # 0x162ff
leaq 0x9842(%rip), %rsi      # 0x1409c
leaq 0xb79f(%rip), %rcx      # 0x16000
movl $0x67b, %edx            # imm = 0x67B
callq 0x3040
leaq 0xbab3(%rip), %rdi      # 0x16325
leaq 0x9823(%rip), %rsi      # 0x1409c
leaq 0xb780(%rip), %rcx      # 0x16000
movl $0x67c, %edx            # imm = 0x67C
callq 0x3040
leaq 0xbaba(%rip), %rdi      # 0x1634b
leaq 0x9804(%rip), %rsi      # 0x1409c
leaq 0xb761(%rip), %rcx      # 0x16000
movl $0x67d, %edx            # imm = 0x67D
callq 0x3040
leaq 0xbac1(%rip), %rdi      # 0x16371
leaq 0x97e5(%rip), %rsi      # 0x1409c
leaq 0xb742(%rip), %rcx      # 0x16000
movl $0x67e, %edx            # imm = 0x67E
callq 0x3040
leaq 0xbac8(%rip), %rdi      # 0x16397
leaq 0x97c6(%rip), %rsi      # 0x1409c
leaq 0xb723(%rip), %rcx      # 0x16000
movl $0x67f, %edx            # imm = 0x67F
callq 0x3040
leaq 0xbacf(%rip), %rdi      # 0x163bd
leaq 0x97a7(%rip), %rsi      # 0x1409c
leaq 0xb704(%rip), %rcx      # 0x16000
movl $0x680, %edx            # imm = 0x680
callq 0x3040
leaq 0xbad6(%rip), %rdi      # 0x163e3
leaq 0x9788(%rip), %rsi      # 0x1409c
leaq 0xb6e5(%rip), %rcx      # 0x16000
movl $0x681, %edx            # imm = 0x681
callq 0x3040
leaq 0xbadd(%rip), %rdi      # 0x16409
leaq 0x9769(%rip), %rsi      # 0x1409c
leaq 0xb6c6(%rip), %rcx      # 0x16000
movl $0x682, %edx            # imm = 0x682
callq 0x3040
leaq 0xbae4(%rip), %rdi      # 0x1642f
leaq 0x974a(%rip), %rsi      # 0x1409c
leaq 0xb6a7(%rip), %rcx      # 0x16000
movl $0x683, %edx            # imm = 0x683
callq 0x3040
leaq 0xbaeb(%rip), %rdi      # 0x16455
leaq 0x972b(%rip), %rsi      # 0x1409c
leaq 0xb688(%rip), %rcx      # 0x16000
movl $0x684, %edx            # imm = 0x684
callq 0x3040
leaq 0xbaf2(%rip), %rdi      # 0x1647b
leaq 0x970c(%rip), %rsi      # 0x1409c
leaq 0xb669(%rip), %rcx      # 0x16000
movl $0x685, %edx            # imm = 0x685
callq 0x3040
leaq 0xbaf9(%rip), %rdi      # 0x164a1
leaq 0x96ed(%rip), %rsi      # 0x1409c
leaq 0xb64a(%rip), %rcx      # 0x16000
movl $0x686, %edx            # imm = 0x686
callq 0x3040
leaq 0xbb00(%rip), %rdi      # 0x164c7
leaq 0x96ce(%rip), %rsi      # 0x1409c
leaq 0xb62b(%rip), %rcx      # 0x16000
movl $0x687, %edx            # imm = 0x687
callq 0x3040
leaq 0xbb07(%rip), %rdi      # 0x164ed
leaq 0x96af(%rip), %rsi      # 0x1409c
leaq 0xb60c(%rip), %rcx      # 0x16000
movl $0x688, %edx            # imm = 0x688
callq 0x3040
leaq 0xbb0e(%rip), %rdi      # 0x16513
leaq 0x9690(%rip), %rsi      # 0x1409c
leaq 0xb5ed(%rip), %rcx      # 0x16000
movl $0x689, %edx            # imm = 0x689
callq 0x3040
leaq 0xbb15(%rip), %rdi      # 0x16539
leaq 0x9671(%rip), %rsi      # 0x1409c
leaq 0xb5ce(%rip), %rcx      # 0x16000
movl $0x68a, %edx            # imm = 0x68A
callq 0x3040
leaq 0xbb1c(%rip), %rdi      # 0x1655f
leaq 0x9652(%rip), %rsi      # 0x1409c
leaq 0xb5af(%rip), %rcx      # 0x16000
movl $0x68b, %edx            # imm = 0x68B
callq 0x3040
leaq 0xbb23(%rip), %rdi      # 0x16585
leaq 0x9633(%rip), %rsi      # 0x1409c
leaq 0xb590(%rip), %rcx      # 0x16000
movl $0x68c, %edx            # imm = 0x68C
callq 0x3040
leaq 0xbb2a(%rip), %rdi      # 0x165ab
leaq 0x9614(%rip), %rsi      # 0x1409c
leaq 0xb571(%rip), %rcx      # 0x16000
movl $0x68d, %edx            # imm = 0x68D
callq 0x3040
leaq 0xbb31(%rip), %rdi      # 0x165d1
leaq 0x95f5(%rip), %rsi      # 0x1409c
leaq 0xb552(%rip), %rcx      # 0x16000
movl $0x68e, %edx            # imm = 0x68E
callq 0x3040
leaq 0xbb38(%rip), %rdi      # 0x165f7
leaq 0x95d6(%rip), %rsi      # 0x1409c
leaq 0xb533(%rip), %rcx      # 0x16000
movl $0x68f, %edx            # imm = 0x68F
callq 0x3040
leaq 0xbb3f(%rip), %rdi      # 0x1661d
leaq 0x95b7(%rip), %rsi      # 0x1409c
leaq 0xb514(%rip), %rcx      # 0x16000
movl $0x690, %edx            # imm = 0x690
callq 0x3040
leaq 0xbb46(%rip), %rdi      # 0x16643
leaq 0x9598(%rip), %rsi      # 0x1409c
leaq 0xb4f5(%rip), %rcx      # 0x16000
movl $0x691, %edx            # imm = 0x691
callq 0x3040
leaq 0xbb4d(%rip), %rdi      # 0x16669
leaq 0x9579(%rip), %rsi      # 0x1409c
leaq 0xb4d6(%rip), %rcx      # 0x16000
movl $0x692, %edx            # imm = 0x692
callq 0x3040
leaq 0xbb54(%rip), %rdi      # 0x1668f
leaq 0x955a(%rip), %rsi      # 0x1409c
leaq 0xb4b7(%rip), %rcx      # 0x16000
movl $0x693, %edx            # imm = 0x693
callq 0x3040
leaq 0xbb5b(%rip), %rdi      # 0x166b5
leaq 0x953b(%rip), %rsi      # 0x1409c
leaq 0xb498(%rip), %rcx      # 0x16000
movl $0x694, %edx            # imm = 0x694
callq 0x3040
leaq 0xbb62(%rip), %rdi      # 0x166db
leaq 0x951c(%rip), %rsi      # 0x1409c
leaq 0xb479(%rip), %rcx      # 0x16000
movl $0x695, %edx            # imm = 0x695
callq 0x3040
leaq 0xbb69(%rip), %rdi      # 0x16701
leaq 0x94fd(%rip), %rsi      # 0x1409c
leaq 0xb45a(%rip), %rcx      # 0x16000
movl $0x696, %edx            # imm = 0x696
callq 0x3040
leaq 0xbb70(%rip), %rdi      # 0x16727
leaq 0x94de(%rip), %rsi      # 0x1409c
leaq 0xb43b(%rip), %rcx      # 0x16000
movl $0x697, %edx            # imm = 0x697
callq 0x3040
leaq 0xbb77(%rip), %rdi      # 0x1674d
leaq 0x94bf(%rip), %rsi      # 0x1409c
leaq 0xb41c(%rip), %rcx      # 0x16000
movl $0x698, %edx            # imm = 0x698
callq 0x3040
leaq 0xbb7e(%rip), %rdi      # 0x16773
leaq 0x94a0(%rip), %rsi      # 0x1409c
leaq 0xb3fd(%rip), %rcx      # 0x16000
movl $0x699, %edx            # imm = 0x699
callq 0x3040
leaq 0xbb85(%rip), %rdi      # 0x16799
leaq 0x9481(%rip), %rsi      # 0x1409c
leaq 0xb3de(%rip), %rcx      # 0x16000
movl $0x69a, %edx            # imm = 0x69A
callq 0x3040
leaq 0xbb8c(%rip), %rdi      # 0x167bf
leaq 0x9462(%rip), %rsi      # 0x1409c
leaq 0xb3bf(%rip), %rcx      # 0x16000
movl $0x69b, %edx            # imm = 0x69B
callq 0x3040
leaq 0xbb93(%rip), %rdi      # 0x167e5
leaq 0x9443(%rip), %rsi      # 0x1409c
leaq 0xb3a0(%rip), %rcx      # 0x16000
movl $0x69c, %edx            # imm = 0x69C
callq 0x3040
leaq 0xbb9a(%rip), %rdi      # 0x1680b
leaq 0x9424(%rip), %rsi      # 0x1409c
leaq 0xb381(%rip), %rcx      # 0x16000
movl $0x69d, %edx            # imm = 0x69D
callq 0x3040
leaq 0xbba1(%rip), %rdi      # 0x16831
leaq 0x9405(%rip), %rsi      # 0x1409c
leaq 0xb362(%rip), %rcx      # 0x16000
movl $0x69e, %edx            # imm = 0x69E
callq 0x3040
leaq 0xbba8(%rip), %rdi      # 0x16857
leaq 0x93e6(%rip), %rsi      # 0x1409c
leaq 0xb343(%rip), %rcx      # 0x16000
movl $0x69f, %edx            # imm = 0x69F
callq 0x3040
leaq 0xbbaf(%rip), %rdi      # 0x1687d
leaq 0x93c7(%rip), %rsi      # 0x1409c
leaq 0xb324(%rip), %rcx      # 0x16000
movl $0x6a0, %edx            # imm = 0x6A0
callq 0x3040
leaq 0xbbb6(%rip), %rdi      # 0x168a3
leaq 0x93a8(%rip), %rsi      # 0x1409c
leaq 0xb305(%rip), %rcx      # 0x16000
movl $0x6a1, %edx            # imm = 0x6A1
callq 0x3040
leaq 0xbbbd(%rip), %rdi      # 0x168c9
leaq 0x9389(%rip), %rsi      # 0x1409c
leaq 0xb2e6(%rip), %rcx      # 0x16000
movl $0x6a2, %edx            # imm = 0x6A2
callq 0x3040
leaq 0xbbc4(%rip), %rdi      # 0x168ef
leaq 0x936a(%rip), %rsi      # 0x1409c
leaq 0xb2c7(%rip), %rcx      # 0x16000
movl $0x6a3, %edx            # imm = 0x6A3
callq 0x3040
leaq 0xbbcb(%rip), %rdi      # 0x16915
leaq 0x934b(%rip), %rsi      # 0x1409c
leaq 0xb2a8(%rip), %rcx      # 0x16000
movl $0x6a4, %edx            # imm = 0x6A4
callq 0x3040
leaq 0xbbd2(%rip), %rdi      # 0x1693b
leaq 0x932c(%rip), %rsi      # 0x1409c
leaq 0xb289(%rip), %rcx      # 0x16000
movl $0x6a5, %edx            # imm = 0x6A5
callq 0x3040
leaq 0xbbd9(%rip), %rdi      # 0x16961
leaq 0x930d(%rip), %rsi      # 0x1409c
leaq 0xb26a(%rip), %rcx      # 0x16000
movl $0x6a6, %edx            # imm = 0x6A6
callq 0x3040
leaq 0xbbe0(%rip), %rdi      # 0x16987
leaq 0x92ee(%rip), %rsi      # 0x1409c
leaq 0xb24b(%rip), %rcx      # 0x16000
movl $0x6aa, %edx            # imm = 0x6AA
callq 0x3040
leaq 0xbbe7(%rip), %rdi      # 0x169ad
leaq 0x92cf(%rip), %rsi      # 0x1409c
leaq 0xb22c(%rip), %rcx      # 0x16000
movl $0x6ab, %edx            # imm = 0x6AB
callq 0x3040
leaq 0xbbee(%rip), %rdi      # 0x169d3
leaq 0x92b0(%rip), %rsi      # 0x1409c
leaq 0xb20d(%rip), %rcx      # 0x16000
movl $0x6ac, %edx            # imm = 0x6AC
callq 0x3040
leaq 0xbbf5(%rip), %rdi      # 0x169f9
leaq 0x9291(%rip), %rsi      # 0x1409c
leaq 0xb1ee(%rip), %rcx      # 0x16000
movl $0x6ad, %edx            # imm = 0x6AD
callq 0x3040
leaq 0xbbfc(%rip), %rdi      # 0x16a1f
leaq 0x9272(%rip), %rsi      # 0x1409c
leaq 0xb1cf(%rip), %rcx      # 0x16000
movl $0x6ae, %edx            # imm = 0x6AE
callq 0x3040
leaq 0xbc04(%rip), %rdi      # 0x16a46
leaq 0x9253(%rip), %rsi      # 0x1409c
leaq 0xb1b0(%rip), %rcx      # 0x16000
movl $0x6af, %edx            # imm = 0x6AF
callq 0x3040
leaq 0xbc0c(%rip), %rdi      # 0x16a6d
leaq 0x9234(%rip), %rsi      # 0x1409c
leaq 0xb191(%rip), %rcx      # 0x16000
movl $0x6b0, %edx            # imm = 0x6B0
callq 0x3040
leaq 0xbc14(%rip), %rdi      # 0x16a94
leaq 0x9215(%rip), %rsi      # 0x1409c
leaq 0xb172(%rip), %rcx      # 0x16000
movl $0x6b1, %edx            # imm = 0x6B1
callq 0x3040
leaq 0xbc1c(%rip), %rdi      # 0x16abb
leaq 0x91f6(%rip), %rsi      # 0x1409c
leaq 0xb153(%rip), %rcx      # 0x16000
movl $0x6b2, %edx            # imm = 0x6B2
callq 0x3040
leaq 0xbc24(%rip), %rdi      # 0x16ae2
leaq 0x91d7(%rip), %rsi      # 0x1409c
leaq 0xb134(%rip), %rcx      # 0x16000
movl $0x6b3, %edx            # imm = 0x6B3
callq 0x3040
leaq 0xbc2c(%rip), %rdi      # 0x16b09
leaq 0x91b8(%rip), %rsi      # 0x1409c
leaq 0xb115(%rip), %rcx      # 0x16000
movl $0x6b4, %edx            # imm = 0x6B4
callq 0x3040
leaq 0xbc34(%rip), %rdi      # 0x16b30
leaq 0x9199(%rip), %rsi      # 0x1409c
leaq 0xb0f6(%rip), %rcx      # 0x16000
movl $0x6b5, %edx            # imm = 0x6B5
callq 0x3040
leaq 0xbc3c(%rip), %rdi      # 0x16b57
leaq 0x917a(%rip), %rsi      # 0x1409c
leaq 0xb0d7(%rip), %rcx      # 0x16000
movl $0x6b6, %edx            # imm = 0x6B6
callq 0x3040
leaq 0xbc44(%rip), %rdi      # 0x16b7e
leaq 0x915b(%rip), %rsi      # 0x1409c
leaq 0xb0b8(%rip), %rcx      # 0x16000
movl $0x6b7, %edx            # imm = 0x6B7
callq 0x3040
leaq 0xbc4c(%rip), %rdi      # 0x16ba5
leaq 0x913c(%rip), %rsi      # 0x1409c
leaq 0xb099(%rip), %rcx      # 0x16000
movl $0x6b8, %edx            # imm = 0x6B8
callq 0x3040
leaq 0xbc54(%rip), %rdi      # 0x16bcc
leaq 0x911d(%rip), %rsi      # 0x1409c
leaq 0xb07a(%rip), %rcx      # 0x16000
movl $0x6b9, %edx            # imm = 0x6B9
callq 0x3040
leaq 0xbc5c(%rip), %rdi      # 0x16bf3
leaq 0x90fe(%rip), %rsi      # 0x1409c
leaq 0xb05b(%rip), %rcx      # 0x16000
movl $0x6ba, %edx            # imm = 0x6BA
callq 0x3040
leaq 0xbc64(%rip), %rdi      # 0x16c1a
leaq 0x90df(%rip), %rsi      # 0x1409c
leaq 0xb03c(%rip), %rcx      # 0x16000
movl $0x6bb, %edx            # imm = 0x6BB
callq 0x3040
leaq 0xbc6c(%rip), %rdi      # 0x16c41
leaq 0x90c0(%rip), %rsi      # 0x1409c
leaq 0xb01d(%rip), %rcx      # 0x16000
movl $0x6bc, %edx            # imm = 0x6BC
callq 0x3040
leaq 0xbc74(%rip), %rdi      # 0x16c68
leaq 0x90a1(%rip), %rsi      # 0x1409c
leaq 0xaffe(%rip), %rcx      # 0x16000
movl $0x6bd, %edx            # imm = 0x6BD
callq 0x3040
leaq 0xbc7c(%rip), %rdi      # 0x16c8f
leaq 0x9082(%rip), %rsi      # 0x1409c
leaq 0xafdf(%rip), %rcx      # 0x16000
movl $0x6be, %edx            # imm = 0x6BE
callq 0x3040
leaq 0xbc84(%rip), %rdi      # 0x16cb6
leaq 0x9063(%rip), %rsi      # 0x1409c
leaq 0xafc0(%rip), %rcx      # 0x16000
movl $0x6bf, %edx            # imm = 0x6BF
callq 0x3040
leaq 0xbc8c(%rip), %rdi      # 0x16cdd
leaq 0x9044(%rip), %rsi      # 0x1409c
leaq 0xafa1(%rip), %rcx      # 0x16000
movl $0x6c0, %edx            # imm = 0x6C0
callq 0x3040
leaq 0xbc94(%rip), %rdi      # 0x16d04
leaq 0x9025(%rip), %rsi      # 0x1409c
leaq 0xaf82(%rip), %rcx      # 0x16000
movl $0x6c1, %edx            # imm = 0x6C1
callq 0x3040
leaq 0xbc9c(%rip), %rdi      # 0x16d2b
leaq 0x9006(%rip), %rsi      # 0x1409c
leaq 0xaf63(%rip), %rcx      # 0x16000
movl $0x6c2, %edx            # imm = 0x6C2
callq 0x3040
leaq 0xbca4(%rip), %rdi      # 0x16d52
leaq 0x8fe7(%rip), %rsi      # 0x1409c
leaq 0xaf44(%rip), %rcx      # 0x16000
movl $0x6c3, %edx            # imm = 0x6C3
callq 0x3040
leaq 0xbcac(%rip), %rdi      # 0x16d79
leaq 0x8fc8(%rip), %rsi      # 0x1409c
leaq 0xaf25(%rip), %rcx      # 0x16000
movl $0x6c4, %edx            # imm = 0x6C4
callq 0x3040
leaq 0xbcb4(%rip), %rdi      # 0x16da0
leaq 0x8fa9(%rip), %rsi      # 0x1409c
leaq 0xaf06(%rip), %rcx      # 0x16000
movl $0x6c5, %edx            # imm = 0x6C5
callq 0x3040
leaq 0xbcbc(%rip), %rdi      # 0x16dc7
leaq 0x8f8a(%rip), %rsi      # 0x1409c
leaq 0xaee7(%rip), %rcx      # 0x16000
movl $0x6c6, %edx            # imm = 0x6C6
callq 0x3040
leaq 0xbcc4(%rip), %rdi      # 0x16dee
leaq 0x8f6b(%rip), %rsi      # 0x1409c
leaq 0xaec8(%rip), %rcx      # 0x16000
movl $0x6c7, %edx            # imm = 0x6C7
callq 0x3040
leaq 0xbccc(%rip), %rdi      # 0x16e15
leaq 0x8f4c(%rip), %rsi      # 0x1409c
leaq 0xaea9(%rip), %rcx      # 0x16000
movl $0x6c8, %edx            # imm = 0x6C8
callq 0x3040
leaq 0xbcd4(%rip), %rdi      # 0x16e3c
leaq 0x8f2d(%rip), %rsi      # 0x1409c
leaq 0xae8a(%rip), %rcx      # 0x16000
movl $0x6c9, %edx            # imm = 0x6C9
callq 0x3040
leaq 0x8fda(%rip), %rdi      # 0x14161
leaq 0x8f0e(%rip), %rsi      # 0x1409c
leaq 0xae6b(%rip), %rcx      # 0x16000
movl $0x6ca, %edx            # imm = 0x6CA
callq 0x3040