// File: /workspace/github_c_makefile_star2_O0/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 %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movb $0x0, %al
callq 0xcfc0
movq 0x160c7(%rip), %rax     # 0x1f6a0
movq %rax, -0x20(%rbp)
movq 0x160c4(%rip), %rax     # 0x1f6a8
movq %rax, -0x18(%rbp)
movw 0x160c1(%rip), %ax      # 0x1f6b0
movw %ax, -0x10(%rbp)
movb 0x160b9(%rip), %al      # 0x1f6b2
movb %al, -0xe(%rbp)
movq $0x134d2, -0x40(%rbp)   # imm = 0x134D2
movl $0x0, -0x44(%rbp)
movl $0x0, -0x48(%rbp)
movl $0x0, -0x4c(%rbp)
movq $0x13, -0x60(%rbp)
leaq -0x20(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x40(%rbp), %rsi
leaq -0x4c(%rbp), %rdx
movq -0x60(%rbp), %rcx
movq -0x58(%rbp), %r8
leaq -0xa0(%rbp), %rdi
leaq -0x38(%rbp), %rax
movq (%rax), %r9
movq %r9, (%rsp)
movq 0x8(%rax), %r9
movq %r9, 0x8(%rsp)
movl 0x10(%rax), %eax
movl %eax, 0x10(%rsp)
callq 0xe270
cmpq $0x80, -0xa0(%rbp)
jne 0x966f
jmp 0x968e
leaq 0x13920(%rip), %rdi     # 0x1cf96
leaq 0x119d3(%rip), %rsi     # 0x1b050
movl $0x666, %edx            # imm = 0x666
leaq 0x1392b(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl (%rax), %eax
cmpl $0xc5, %eax
jne 0x96a1
jmp 0x96c0
leaq 0x1391d(%rip), %rdi     # 0x1cfc5
leaq 0x119a1(%rip), %rsi     # 0x1b050
movl $0x667, %edx            # imm = 0x667
leaq 0x138f9(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x1(%rax), %eax
cmpl $0xd2, %eax
jne 0x96d4
jmp 0x96f3
leaq 0x1390f(%rip), %rdi     # 0x1cfea
leaq 0x1196e(%rip), %rsi     # 0x1b050
movl $0x668, %edx            # imm = 0x668
leaq 0x138c6(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x2(%rax), %eax
cmpl $0x46, %eax
jne 0x9705
jmp 0x9724
leaq 0x13903(%rip), %rdi     # 0x1d00f
leaq 0x1193d(%rip), %rsi     # 0x1b050
movl $0x669, %edx            # imm = 0x669
leaq 0x13895(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x3(%rax), %eax
cmpl $0x1, %eax
jne 0x9736
jmp 0x9755
leaq 0x138f7(%rip), %rdi     # 0x1d034
leaq 0x1190c(%rip), %rsi     # 0x1b050
movl $0x66a, %edx            # imm = 0x66A
leaq 0x13864(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x4(%rax), %eax
cmpl $0x86, %eax
jne 0x9769
jmp 0x9788
leaq 0x138e9(%rip), %rdi     # 0x1d059
leaq 0x118d9(%rip), %rsi     # 0x1b050
movl $0x66b, %edx            # imm = 0x66B
leaq 0x13831(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x5(%rax), %eax
cmpl $0xf7, %eax
jne 0x979c
jmp 0x97bb
leaq 0x138db(%rip), %rdi     # 0x1d07e
leaq 0x118a6(%rip), %rsi     # 0x1b050
movl $0x66c, %edx            # imm = 0x66C
leaq 0x137fe(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x6(%rax), %eax
cmpl $0x23, %eax
jne 0x97cd
jmp 0x97ec
leaq 0x138cf(%rip), %rdi     # 0x1d0a3
leaq 0x11875(%rip), %rsi     # 0x1b050
movl $0x66d, %edx            # imm = 0x66D
leaq 0x137cd(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x7(%rax), %eax
cmpl $0x3c, %eax
jne 0x97fe
jmp 0x981d
leaq 0x138c3(%rip), %rdi     # 0x1d0c8
leaq 0x11844(%rip), %rsi     # 0x1b050
movl $0x66e, %edx            # imm = 0x66E
leaq 0x1379c(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x8(%rax), %eax
cmpl $0x92, %eax
jne 0x9831
jmp 0x9850
leaq 0x138b5(%rip), %rdi     # 0x1d0ed
leaq 0x11811(%rip), %rsi     # 0x1b050
movl $0x66f, %edx            # imm = 0x66F
leaq 0x13769(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x9(%rax), %eax
cmpl $0x7e, %eax
jne 0x9862
jmp 0x9881
leaq 0x138a9(%rip), %rdi     # 0x1d112
leaq 0x117e0(%rip), %rsi     # 0x1b050
movl $0x670, %edx            # imm = 0x670
leaq 0x13738(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0xa(%rax), %eax
cmpl $0x7d, %eax
jne 0x9893
jmp 0x98b2
leaq 0x1389d(%rip), %rdi     # 0x1d137
leaq 0x117af(%rip), %rsi     # 0x1b050
movl $0x671, %edx            # imm = 0x671
leaq 0x13707(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0xb(%rax), %eax
cmpl $0xb2, %eax
jne 0x98c6
jmp 0x98e5
leaq 0x13890(%rip), %rdi     # 0x1d15d
leaq 0x1177c(%rip), %rsi     # 0x1b050
movl $0x672, %edx            # imm = 0x672
leaq 0x136d4(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0xc(%rax), %eax
cmpl $0xdc, %eax
jne 0x98f9
jmp 0x9918
leaq 0x13883(%rip), %rdi     # 0x1d183
leaq 0x11749(%rip), %rsi     # 0x1b050
movl $0x673, %edx            # imm = 0x673
leaq 0x136a1(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0xd(%rax), %eax
cmpl $0xc7, %eax
jne 0x992c
jmp 0x994b
leaq 0x13876(%rip), %rdi     # 0x1d1a9
leaq 0x11716(%rip), %rsi     # 0x1b050
movl $0x674, %edx            # imm = 0x674
leaq 0x1366e(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0xe(%rax), %eax
cmpl $0x3, %eax
jne 0x995d
jmp 0x997c
leaq 0x1386b(%rip), %rdi     # 0x1d1cf
leaq 0x116e5(%rip), %rsi     # 0x1b050
movl $0x675, %edx            # imm = 0x675
leaq 0x1363d(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0xf(%rax), %eax
cmpl $0xc0, %eax
jne 0x9990
jmp 0x99af
leaq 0x1385e(%rip), %rdi     # 0x1d1f5
leaq 0x116b2(%rip), %rsi     # 0x1b050
movl $0x676, %edx            # imm = 0x676
leaq 0x1360a(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x10(%rax), %eax
cmpl $0xe5, %eax
jne 0x99c3
jmp 0x99e2
leaq 0x13851(%rip), %rdi     # 0x1d21b
leaq 0x1167f(%rip), %rsi     # 0x1b050
movl $0x677, %edx            # imm = 0x677
leaq 0x135d7(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x11(%rax), %eax
cmpl $0x0, %eax
jne 0x99f4
jmp 0x9a13
leaq 0x13846(%rip), %rdi     # 0x1d241
leaq 0x1164e(%rip), %rsi     # 0x1b050
movl $0x678, %edx            # imm = 0x678
leaq 0x135a6(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x12(%rax), %eax
cmpl $0xb6, %eax
jne 0x9a27
jmp 0x9a46
leaq 0x13839(%rip), %rdi     # 0x1d267
leaq 0x1161b(%rip), %rsi     # 0x1b050
movl $0x679, %edx            # imm = 0x679
leaq 0x13573(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x13(%rax), %eax
cmpl $0x53, %eax
jne 0x9a58
jmp 0x9a77
leaq 0x1382e(%rip), %rdi     # 0x1d28d
leaq 0x115ea(%rip), %rsi     # 0x1b050
movl $0x67a, %edx            # imm = 0x67A
leaq 0x13542(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x14(%rax), %eax
cmpl $0xca, %eax
jne 0x9a8b
jmp 0x9aaa
leaq 0x13821(%rip), %rdi     # 0x1d2b3
leaq 0x115b7(%rip), %rsi     # 0x1b050
movl $0x67b, %edx            # imm = 0x67B
leaq 0x1350f(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x15(%rax), %eax
cmpl $0x82, %eax
jne 0x9abe
jmp 0x9add
leaq 0x13814(%rip), %rdi     # 0x1d2d9
leaq 0x11584(%rip), %rsi     # 0x1b050
movl $0x67c, %edx            # imm = 0x67C
leaq 0x134dc(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x16(%rax), %eax
cmpl $0x27, %eax
jne 0x9aef
jmp 0x9b0e
leaq 0x13809(%rip), %rdi     # 0x1d2ff
leaq 0x11553(%rip), %rsi     # 0x1b050
movl $0x67d, %edx            # imm = 0x67D
leaq 0x134ab(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x17(%rax), %eax
cmpl $0x3b, %eax
jne 0x9b20
jmp 0x9b3f
leaq 0x137fe(%rip), %rdi     # 0x1d325
leaq 0x11522(%rip), %rsi     # 0x1b050
movl $0x67e, %edx            # imm = 0x67E
leaq 0x1347a(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x18(%rax), %eax
cmpl $0x7b, %eax
jne 0x9b51
jmp 0x9b70
leaq 0x137f3(%rip), %rdi     # 0x1d34b
leaq 0x114f1(%rip), %rsi     # 0x1b050
movl $0x67f, %edx            # imm = 0x67F
leaq 0x13449(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x19(%rax), %eax
cmpl $0xfa, %eax
jne 0x9b84
jmp 0x9ba3
leaq 0x137e6(%rip), %rdi     # 0x1d371
leaq 0x114be(%rip), %rsi     # 0x1b050
movl $0x680, %edx            # imm = 0x680
leaq 0x13416(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x1a(%rax), %eax
cmpl $0xd8, %eax
jne 0x9bb7
jmp 0x9bd6
leaq 0x137d9(%rip), %rdi     # 0x1d397
leaq 0x1148b(%rip), %rsi     # 0x1b050
movl $0x681, %edx            # imm = 0x681
leaq 0x133e3(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x1b(%rax), %eax
cmpl $0x4, %eax
jne 0x9be8
jmp 0x9c07
leaq 0x137ce(%rip), %rdi     # 0x1d3bd
leaq 0x1145a(%rip), %rsi     # 0x1b050
movl $0x682, %edx            # imm = 0x682
leaq 0x133b2(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x1c(%rax), %eax
cmpl $0x5d, %eax
jne 0x9c19
jmp 0x9c38
leaq 0x137c3(%rip), %rdi     # 0x1d3e3
leaq 0x11429(%rip), %rsi     # 0x1b050
movl $0x683, %edx            # imm = 0x683
leaq 0x13381(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x1d(%rax), %eax
cmpl $0x85, %eax
jne 0x9c4c
jmp 0x9c6b
leaq 0x137b6(%rip), %rdi     # 0x1d409
leaq 0x113f6(%rip), %rsi     # 0x1b050
movl $0x684, %edx            # imm = 0x684
leaq 0x1334e(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x1e(%rax), %eax
cmpl $0xa4, %eax
jne 0x9c7f
jmp 0x9c9e
leaq 0x137a9(%rip), %rdi     # 0x1d42f
leaq 0x113c3(%rip), %rsi     # 0x1b050
movl $0x685, %edx            # imm = 0x685
leaq 0x1331b(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x1f(%rax), %eax
cmpl $0x70, %eax
jne 0x9cb0
jmp 0x9ccf
leaq 0x1379e(%rip), %rdi     # 0x1d455
leaq 0x11392(%rip), %rsi     # 0x1b050
movl $0x686, %edx            # imm = 0x686
leaq 0x132ea(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x20(%rax), %eax
cmpl $0x10, %eax
jne 0x9ce1
jmp 0x9d00
leaq 0x13793(%rip), %rdi     # 0x1d47b
leaq 0x11361(%rip), %rsi     # 0x1b050
movl $0x687, %edx            # imm = 0x687
leaq 0x132b9(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x21(%rax), %eax
cmpl $0xca, %eax
jne 0x9d14
jmp 0x9d33
leaq 0x13786(%rip), %rdi     # 0x1d4a1
leaq 0x1132e(%rip), %rsi     # 0x1b050
movl $0x688, %edx            # imm = 0x688
leaq 0x13286(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x22(%rax), %eax
cmpl $0x3e, %eax
jne 0x9d45
jmp 0x9d64
leaq 0x1377b(%rip), %rdi     # 0x1d4c7
leaq 0x112fd(%rip), %rsi     # 0x1b050
movl $0x689, %edx            # imm = 0x689
leaq 0x13255(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x23(%rax), %eax
cmpl $0xff, %eax
jne 0x9d78
jmp 0x9d97
leaq 0x1376e(%rip), %rdi     # 0x1d4ed
leaq 0x112ca(%rip), %rsi     # 0x1b050
movl $0x68a, %edx            # imm = 0x68A
leaq 0x13222(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x24(%rax), %eax
cmpl $0x73, %eax
jne 0x9da9
jmp 0x9dc8
leaq 0x13763(%rip), %rdi     # 0x1d513
leaq 0x11299(%rip), %rsi     # 0x1b050
movl $0x68b, %edx            # imm = 0x68B
leaq 0x131f1(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x25(%rax), %eax
cmpl $0xeb, %eax
jne 0x9ddc
jmp 0x9dfb
leaq 0x13756(%rip), %rdi     # 0x1d539
leaq 0x11266(%rip), %rsi     # 0x1b050
movl $0x68c, %edx            # imm = 0x68C
leaq 0x131be(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x26(%rax), %eax
cmpl $0xec, %eax
jne 0x9e0f
jmp 0x9e2e
leaq 0x13749(%rip), %rdi     # 0x1d55f
leaq 0x11233(%rip), %rsi     # 0x1b050
movl $0x68d, %edx            # imm = 0x68D
leaq 0x1318b(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x27(%rax), %eax
cmpl $0x87, %eax
jne 0x9e42
jmp 0x9e61
leaq 0x1373c(%rip), %rdi     # 0x1d585
leaq 0x11200(%rip), %rsi     # 0x1b050
movl $0x68e, %edx            # imm = 0x68E
leaq 0x13158(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x28(%rax), %eax
cmpl $0xd2, %eax
jne 0x9e75
jmp 0x9e94
leaq 0x1372f(%rip), %rdi     # 0x1d5ab
leaq 0x111cd(%rip), %rsi     # 0x1b050
movl $0x68f, %edx            # imm = 0x68F
leaq 0x13125(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x29(%rax), %eax
cmpl $0x39, %eax
jne 0x9ea6
jmp 0x9ec5
leaq 0x13724(%rip), %rdi     # 0x1d5d1
leaq 0x1119c(%rip), %rsi     # 0x1b050
movl $0x690, %edx            # imm = 0x690
leaq 0x130f4(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x2a(%rax), %eax
cmpl $0x4f, %eax
jne 0x9ed7
jmp 0x9ef6
leaq 0x13719(%rip), %rdi     # 0x1d5f7
leaq 0x1116b(%rip), %rsi     # 0x1b050
movl $0x691, %edx            # imm = 0x691
leaq 0x130c3(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x2b(%rax), %eax
cmpl $0xc5, %eax
jne 0x9f0a
jmp 0x9f29
leaq 0x1370c(%rip), %rdi     # 0x1d61d
leaq 0x11138(%rip), %rsi     # 0x1b050
movl $0x692, %edx            # imm = 0x692
leaq 0x13090(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x2c(%rax), %eax
cmpl $0x85, %eax
jne 0x9f3d
jmp 0x9f5c
leaq 0x136ff(%rip), %rdi     # 0x1d643
leaq 0x11105(%rip), %rsi     # 0x1b050
movl $0x693, %edx            # imm = 0x693
leaq 0x1305d(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x2d(%rax), %eax
cmpl $0x60, %eax
jne 0x9f6e
jmp 0x9f8d
leaq 0x136f4(%rip), %rdi     # 0x1d669
leaq 0x110d4(%rip), %rsi     # 0x1b050
movl $0x694, %edx            # imm = 0x694
leaq 0x1302c(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x2e(%rax), %eax
cmpl $0xaf, %eax
jne 0x9fa1
jmp 0x9fc0
leaq 0x136e7(%rip), %rdi     # 0x1d68f
leaq 0x110a1(%rip), %rsi     # 0x1b050
movl $0x695, %edx            # imm = 0x695
leaq 0x12ff9(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x2f(%rax), %eax
cmpl $0xea, %eax
jne 0x9fd4
jmp 0x9ff3
leaq 0x136da(%rip), %rdi     # 0x1d6b5
leaq 0x1106e(%rip), %rsi     # 0x1b050
movl $0x696, %edx            # imm = 0x696
leaq 0x12fc6(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x30(%rax), %eax
cmpl $0xb8, %eax
jne 0xa007
jmp 0xa026
leaq 0x136cd(%rip), %rdi     # 0x1d6db
leaq 0x1103b(%rip), %rsi     # 0x1b050
movl $0x697, %edx            # imm = 0x697
leaq 0x12f93(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x31(%rax), %eax
cmpl $0x6d, %eax
jne 0xa038
jmp 0xa057
leaq 0x136c2(%rip), %rdi     # 0x1d701
leaq 0x1100a(%rip), %rsi     # 0x1b050
movl $0x698, %edx            # imm = 0x698
leaq 0x12f62(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x32(%rax), %eax
cmpl $0xac, %eax
jne 0xa06b
jmp 0xa08a
leaq 0x136b5(%rip), %rdi     # 0x1d727
leaq 0x10fd7(%rip), %rsi     # 0x1b050
movl $0x699, %edx            # imm = 0x699
leaq 0x12f2f(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x33(%rax), %eax
cmpl $0x7a, %eax
jne 0xa09c
jmp 0xa0bb
leaq 0x136aa(%rip), %rdi     # 0x1d74d
leaq 0x10fa6(%rip), %rsi     # 0x1b050
movl $0x69a, %edx            # imm = 0x69A
leaq 0x12efe(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x34(%rax), %eax
cmpl $0x21, %eax
jne 0xa0cd
jmp 0xa0ec
leaq 0x1369f(%rip), %rdi     # 0x1d773
leaq 0x10f75(%rip), %rsi     # 0x1b050
movl $0x69b, %edx            # imm = 0x69B
leaq 0x12ecd(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x35(%rax), %eax
cmpl $0xf5, %eax
jne 0xa100
jmp 0xa11f
leaq 0x13692(%rip), %rdi     # 0x1d799
leaq 0x10f42(%rip), %rsi     # 0x1b050
movl $0x69c, %edx            # imm = 0x69C
leaq 0x12e9a(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x36(%rax), %eax
cmpl $0xe4, %eax
jne 0xa133
jmp 0xa152
leaq 0x13685(%rip), %rdi     # 0x1d7bf
leaq 0x10f0f(%rip), %rsi     # 0x1b050
movl $0x69d, %edx            # imm = 0x69D
leaq 0x12e67(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x37(%rax), %eax
cmpl $0x2, %eax
jne 0xa164
jmp 0xa183
leaq 0x1367a(%rip), %rdi     # 0x1d7e5
leaq 0x10ede(%rip), %rsi     # 0x1b050
movl $0x69e, %edx            # imm = 0x69E
leaq 0x12e36(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x38(%rax), %eax
cmpl $0xea, %eax
jne 0xa197
jmp 0xa1b6
leaq 0x1366d(%rip), %rdi     # 0x1d80b
leaq 0x10eab(%rip), %rsi     # 0x1b050
movl $0x69f, %edx            # imm = 0x69F
leaq 0x12e03(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x39(%rax), %eax
cmpl $0xa, %eax
jne 0xa1c8
jmp 0xa1e7
leaq 0x13662(%rip), %rdi     # 0x1d831
leaq 0x10e7a(%rip), %rsi     # 0x1b050
movl $0x6a0, %edx            # imm = 0x6A0
leaq 0x12dd2(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x3a(%rax), %eax
cmpl $0x55, %eax
jne 0xa1f9
jmp 0xa218
leaq 0x13657(%rip), %rdi     # 0x1d857
leaq 0x10e49(%rip), %rsi     # 0x1b050
movl $0x6a1, %edx            # imm = 0x6A1
leaq 0x12da1(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x3b(%rax), %eax
cmpl $0xe5, %eax
jne 0xa22c
jmp 0xa24b
leaq 0x1364a(%rip), %rdi     # 0x1d87d
leaq 0x10e16(%rip), %rsi     # 0x1b050
movl $0x6a2, %edx            # imm = 0x6A2
leaq 0x12d6e(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x3c(%rax), %eax
cmpl $0xc8, %eax
jne 0xa25f
jmp 0xa27e
leaq 0x1363d(%rip), %rdi     # 0x1d8a3
leaq 0x10de3(%rip), %rsi     # 0x1b050
movl $0x6a3, %edx            # imm = 0x6A3
leaq 0x12d3b(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x3d(%rax), %eax
cmpl $0xa6, %eax
jne 0xa292
jmp 0xa2b1
leaq 0x13630(%rip), %rdi     # 0x1d8c9
leaq 0x10db0(%rip), %rsi     # 0x1b050
movl $0x6a4, %edx            # imm = 0x6A4
leaq 0x12d08(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x3e(%rax), %eax
cmpl $0x75, %eax
jne 0xa2c3
jmp 0xa2e2
leaq 0x13625(%rip), %rdi     # 0x1d8ef
leaq 0x10d7f(%rip), %rsi     # 0x1b050
movl $0x6a5, %edx            # imm = 0x6A5
leaq 0x12cd7(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x3f(%rax), %eax
cmpl $0x8f, %eax
jne 0xa2f6
jmp 0xa315
leaq 0x13618(%rip), %rdi     # 0x1d915
leaq 0x10d4c(%rip), %rsi     # 0x1b050
movl $0x6a6, %edx            # imm = 0x6A6
leaq 0x12ca4(%rip), %rcx     # 0x1cfb4
callq 0x3040
movl $0x40, -0xa4(%rbp)
cmpl $0x60, -0xa4(%rbp)
jge 0xa373
movq -0x98(%rbp), %rax
movslq -0xa4(%rbp), %rcx
movzbl (%rax,%rcx), %eax
cmpl $0x0, %eax
jne 0xa341
jmp 0xa360
leaq 0x10ee5(%rip), %rdi     # 0x1b22d
leaq 0x10d01(%rip), %rsi     # 0x1b050
movl $0x6a8, %edx            # imm = 0x6A8
leaq 0x12c59(%rip), %rcx     # 0x1cfb4
callq 0x3040
jmp 0xa362
movl -0xa4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa4(%rbp)
jmp 0xa31f
movq -0x98(%rbp), %rax
movzbl 0x60(%rax), %eax
cmpl $0xec, %eax
jne 0xa387
jmp 0xa3a6
leaq 0x135ad(%rip), %rdi     # 0x1d93b
leaq 0x10cbb(%rip), %rsi     # 0x1b050
movl $0x6aa, %edx            # imm = 0x6AA
leaq 0x12c13(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x61(%rax), %eax
cmpl $0x10, %eax
jne 0xa3b8
jmp 0xa3d7
leaq 0x135a2(%rip), %rdi     # 0x1d961
leaq 0x10c8a(%rip), %rsi     # 0x1b050
movl $0x6ab, %edx            # imm = 0x6AB
leaq 0x12be2(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x62(%rax), %eax
cmpl $0x95, %eax
jne 0xa3eb
jmp 0xa40a
leaq 0x13595(%rip), %rdi     # 0x1d987
leaq 0x10c57(%rip), %rsi     # 0x1b050
movl $0x6ac, %edx            # imm = 0x6AC
leaq 0x12baf(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x63(%rax), %eax
cmpl $0x7f, %eax
jne 0xa41c
jmp 0xa43b
leaq 0x1358a(%rip), %rdi     # 0x1d9ad
leaq 0x10c26(%rip), %rsi     # 0x1b050
movl $0x6ad, %edx            # imm = 0x6AD
leaq 0x12b7e(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x64(%rax), %eax
cmpl $0xe1, %eax
jne 0xa44f
jmp 0xa46e
leaq 0x1357d(%rip), %rdi     # 0x1d9d3
leaq 0x10bf3(%rip), %rsi     # 0x1b050
movl $0x6ae, %edx            # imm = 0x6AE
leaq 0x12b4b(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x65(%rax), %eax
cmpl $0x36, %eax
jne 0xa480
jmp 0xa49f
leaq 0x13573(%rip), %rdi     # 0x1d9fa
leaq 0x10bc2(%rip), %rsi     # 0x1b050
movl $0x6af, %edx            # imm = 0x6AF
leaq 0x12b1a(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x66(%rax), %eax
cmpl $0x1a, %eax
jne 0xa4b1
jmp 0xa4d0
leaq 0x13569(%rip), %rdi     # 0x1da21
leaq 0x10b91(%rip), %rsi     # 0x1b050
movl $0x6b0, %edx            # imm = 0x6B0
leaq 0x12ae9(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x67(%rax), %eax
cmpl $0xcf, %eax
jne 0xa4e4
jmp 0xa503
leaq 0x1355d(%rip), %rdi     # 0x1da48
leaq 0x10b5e(%rip), %rsi     # 0x1b050
movl $0x6b1, %edx            # imm = 0x6B1
leaq 0x12ab6(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x68(%rax), %eax
cmpl $0x6a, %eax
jne 0xa515
jmp 0xa534
leaq 0x13553(%rip), %rdi     # 0x1da6f
leaq 0x10b2d(%rip), %rsi     # 0x1b050
movl $0x6b2, %edx            # imm = 0x6B2
leaq 0x12a85(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x69(%rax), %eax
cmpl $0x76, %eax
jne 0xa546
jmp 0xa565
leaq 0x13549(%rip), %rdi     # 0x1da96
leaq 0x10afc(%rip), %rsi     # 0x1b050
movl $0x6b3, %edx            # imm = 0x6B3
leaq 0x12a54(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x6a(%rax), %eax
cmpl $0x55, %eax
jne 0xa577
jmp 0xa596
leaq 0x1353f(%rip), %rdi     # 0x1dabd
leaq 0x10acb(%rip), %rsi     # 0x1b050
movl $0x6b4, %edx            # imm = 0x6B4
leaq 0x12a23(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x6b(%rax), %eax
cmpl $0xb3, %eax
jne 0xa5aa
jmp 0xa5c9
leaq 0x13533(%rip), %rdi     # 0x1dae4
leaq 0x10a98(%rip), %rsi     # 0x1b050
movl $0x6b5, %edx            # imm = 0x6B5
leaq 0x129f0(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x6c(%rax), %eax
cmpl $0x5e, %eax
jne 0xa5db
jmp 0xa5fa
leaq 0x13529(%rip), %rdi     # 0x1db0b
leaq 0x10a67(%rip), %rsi     # 0x1b050
movl $0x6b6, %edx            # imm = 0x6B6
leaq 0x129bf(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x6d(%rax), %eax
cmpl $0xb0, %eax
jne 0xa60e
jmp 0xa62d
leaq 0x1351d(%rip), %rdi     # 0x1db32
leaq 0x10a34(%rip), %rsi     # 0x1b050
movl $0x6b7, %edx            # imm = 0x6B7
leaq 0x1298c(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x6e(%rax), %eax
cmpl $0xf, %eax
jne 0xa63f
jmp 0xa65e
leaq 0x13513(%rip), %rdi     # 0x1db59
leaq 0x10a03(%rip), %rsi     # 0x1b050
movl $0x6b8, %edx            # imm = 0x6B8
leaq 0x1295b(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x6f(%rax), %eax
cmpl $0xae, %eax
jne 0xa672
jmp 0xa691
leaq 0x13507(%rip), %rdi     # 0x1db80
leaq 0x109d0(%rip), %rsi     # 0x1b050
movl $0x6b9, %edx            # imm = 0x6B9
leaq 0x12928(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x70(%rax), %eax
cmpl $0xd8, %eax
jne 0xa6a5
jmp 0xa6c4
leaq 0x134fb(%rip), %rdi     # 0x1dba7
leaq 0x1099d(%rip), %rsi     # 0x1b050
movl $0x6ba, %edx            # imm = 0x6BA
leaq 0x128f5(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x71(%rax), %eax
cmpl $0xb1, %eax
jne 0xa6d8
jmp 0xa6f7
leaq 0x134ef(%rip), %rdi     # 0x1dbce
leaq 0x1096a(%rip), %rsi     # 0x1b050
movl $0x6bb, %edx            # imm = 0x6BB
leaq 0x128c2(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x72(%rax), %eax
cmpl $0x49, %eax
jne 0xa709
jmp 0xa728
leaq 0x134e5(%rip), %rdi     # 0x1dbf5
leaq 0x10939(%rip), %rsi     # 0x1b050
movl $0x6bc, %edx            # imm = 0x6BC
leaq 0x12891(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x73(%rax), %eax
cmpl $0x5e, %eax
jne 0xa73a
jmp 0xa759
leaq 0x134db(%rip), %rdi     # 0x1dc1c
leaq 0x10908(%rip), %rsi     # 0x1b050
movl $0x6bd, %edx            # imm = 0x6BD
leaq 0x12860(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x74(%rax), %eax
cmpl $0x58, %eax
jne 0xa76b
jmp 0xa78a
leaq 0x134d1(%rip), %rdi     # 0x1dc43
leaq 0x108d7(%rip), %rsi     # 0x1b050
movl $0x6be, %edx            # imm = 0x6BE
leaq 0x1282f(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x75(%rax), %eax
cmpl $0x67, %eax
jne 0xa79c
jmp 0xa7bb
leaq 0x134c7(%rip), %rdi     # 0x1dc6a
leaq 0x108a6(%rip), %rsi     # 0x1b050
movl $0x6bf, %edx            # imm = 0x6BF
leaq 0x127fe(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x76(%rax), %eax
cmpl $0x41, %eax
jne 0xa7cd
jmp 0xa7ec
leaq 0x134bd(%rip), %rdi     # 0x1dc91
leaq 0x10875(%rip), %rsi     # 0x1b050
movl $0x6c0, %edx            # imm = 0x6C0
leaq 0x127cd(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x77(%rax), %eax
cmpl $0x96, %eax
jne 0xa800
jmp 0xa81f
leaq 0x134b1(%rip), %rdi     # 0x1dcb8
leaq 0x10842(%rip), %rsi     # 0x1b050
movl $0x6c1, %edx            # imm = 0x6C1
leaq 0x1279a(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x78(%rax), %eax
cmpl $0xea, %eax
jne 0xa833
jmp 0xa852
leaq 0x134a5(%rip), %rdi     # 0x1dcdf
leaq 0x1080f(%rip), %rsi     # 0x1b050
movl $0x6c2, %edx            # imm = 0x6C2
leaq 0x12767(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x79(%rax), %eax
cmpl $0xa0, %eax
jne 0xa866
jmp 0xa885
leaq 0x13499(%rip), %rdi     # 0x1dd06
leaq 0x107dc(%rip), %rsi     # 0x1b050
movl $0x6c3, %edx            # imm = 0x6C3
leaq 0x12734(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x7a(%rax), %eax
cmpl $0xeb, %eax
jne 0xa899
jmp 0xa8b8
leaq 0x1348d(%rip), %rdi     # 0x1dd2d
leaq 0x107a9(%rip), %rsi     # 0x1b050
movl $0x6c4, %edx            # imm = 0x6C4
leaq 0x12701(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x7b(%rax), %eax
cmpl $0x79, %eax
jne 0xa8ca
jmp 0xa8e9
leaq 0x13483(%rip), %rdi     # 0x1dd54
leaq 0x10778(%rip), %rsi     # 0x1b050
movl $0x6c5, %edx            # imm = 0x6C5
leaq 0x126d0(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x7c(%rax), %eax
cmpl $0x0, %eax
jne 0xa8fb
jmp 0xa91a
leaq 0x13479(%rip), %rdi     # 0x1dd7b
leaq 0x10747(%rip), %rsi     # 0x1b050
movl $0x6c6, %edx            # imm = 0x6C6
leaq 0x1269f(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x7d(%rax), %eax
cmpl $0xb2, %eax
jne 0xa92e
jmp 0xa94d
leaq 0x1346d(%rip), %rdi     # 0x1dda2
leaq 0x10714(%rip), %rsi     # 0x1b050
movl $0x6c7, %edx            # imm = 0x6C7
leaq 0x1266c(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x7e(%rax), %eax
cmpl $0x13, %eax
jne 0xa95f
jmp 0xa97e
leaq 0x13463(%rip), %rdi     # 0x1ddc9
leaq 0x106e3(%rip), %rsi     # 0x1b050
movl $0x6c8, %edx            # imm = 0x6C8
leaq 0x1263b(%rip), %rcx     # 0x1cfb4
callq 0x3040
movq -0x98(%rbp), %rax
movzbl 0x7f(%rax), %eax
cmpl $0xf2, %eax
jne 0xa992
jmp 0xa9b1
leaq 0x13457(%rip), %rdi     # 0x1ddf0
leaq 0x106b0(%rip), %rsi     # 0x1b050
movl $0x6c9, %edx            # imm = 0x6C9
leaq 0x12608(%rip), %rcx     # 0x1cfb4
callq 0x3040
cmpq $0x0, -0x70(%rbp)
jne 0xa9ba
jmp 0xa9d9
leaq 0x10754(%rip), %rdi     # 0x1b115
leaq 0x10688(%rip), %rsi     # 0x1b050
movl $0x6ca, %edx            # imm = 0x6CA
leaq 0x125e0(%rip), %rcx     # 0x1cfb4
callq 0x3040
movb $0x0, %al
callq 0xd4d0
addq $0xc0, %rsp
popq %rbp
retq
nopl (%rax)