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

    address_t from = AddressFromHex42("0x4a6f6B9fF1fc974096f9063a45Fd12bD5B928AD1");
    uint64_t gas = 58103;
    val_t value;
    value[0] = 0;
    value[1] = 0;
    value[2] = 0;


    // 60213610600e576020355f3555005b5f35545f52595ff3
#define PROGRAM_STORAGE \
        PUSH1, 33, CALLDATASIZE, LT, PUSH1, 14, JUMPI, \
        PUSH1, 32, CALLDATALOAD, PUSH0, CALLDATALOAD, SSTORE, \
        STOP, \
        JUMPDEST, \
        PUSH0, CALLDATALOAD, SLOAD, PUSH0, MSTORE, \
        MSIZE, PUSH0, RETURN
    op_t storageTester[] = {
        PROGRAM_STORAGE
    };

    // 7660213610600e576020355f3555005b5f35545f52595ff33d5260176009f3
    op_t constructStorageTester[] = {
        PUSH23, PROGRAM_STORAGE, RETURNDATASIZE, MSTORE,
        PUSH1, 23, PUSH1, 9, RETURN
    };
#undef PROGRAM_STORAGE

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

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

    address_t storageTest = AddressFromUint256(&result.status);

    // 365f5f37595f365f7380d9b122dc3a16fdc41f96cf010ffe7e38d227c35afa602557595ffd5b595ff3
#define PROGRAM_STATICCALL \
        CALLDATASIZE, PUSH0, PUSH0, CALLDATACOPY, \
        MSIZE, PUSH0, CALLDATASIZE, PUSH0, PUSH20, ACCOUNT0, GAS, STATICCALL, \
        PUSH1, 37, JUMPI, \
        MSIZE, PUSH0, REVERT, \
        JUMPDEST, MSIZE, PUSH0, RETURN

    op_t staticCaller[] = {
        PROGRAM_STATICCALL
    };
    // 60298060093d393df3365f5f37595f365f7380d9b122dc3a16fdc41f96cf010ffe7e38d227c35afa602557595ffd5b595ff3
    op_t createStaticCaller[] = {
        PUSH1, 41, DUP1, PUSH1, 9, RETURNDATASIZE, CODECOPY, RETURNDATASIZE, RETURN,
        PROGRAM_STATICCALL
    };

    input.size = sizeof(createStaticCaller);
    input.content = createStaticCaller;
    gas = 0xf250;
    result = txCreate(from, gas, value, input);
    // 0x47784b21780d1e1d5efcd005c5fe542813b6d71e
    assert(UPPER(UPPER(result.status)) == 0);
    assert(LOWER(UPPER(result.status)) == 0x47784b21);
    assert(UPPER(LOWER(result.status)) == 0x780d1e1d5efcd005);
    assert(LOWER(LOWER(result.status)) == 0xc5fe542813b6d71e);
    assert(result.returnData.size == sizeof(staticCaller));
    assert(memcmp(result.returnData.content, staticCaller, sizeof(staticCaller)) == 0);
    assert(result.gasRemaining == 0);

    address_t staticCall = AddressFromUint256(&result.status);
    op_t params[64];
    bzero(params, 64);
    input.content = params;

    // STATICCALL into SLOAD, returning 0
    input.size = 0;
    gas = 0x64c2;
    result = txCall(from, gas, staticCall, value, input, NULL);
    assert(UPPER(UPPER(result.status)) == 0);
    assert(LOWER(UPPER(result.status)) == 0);
    assert(UPPER(LOWER(result.status)) == 0);
    assert(LOWER(LOWER(result.status)) == 1);
    assert(result.returnData.size == 0);
    assert(result.gasRemaining == 15);

    // STATICCALL into SLOAD, returning 32
    input.size = 32;
    gas = 25928;
    result = txCall(from, gas, staticCall, value, input, NULL);
    assert(UPPER(UPPER(result.status)) == 0);
    assert(LOWER(UPPER(result.status)) == 0);
    assert(UPPER(LOWER(result.status)) == 0);
    assert(LOWER(LOWER(result.status)) == 1);
    assert(result.returnData.size == 32);
    assert(memcmp(result.returnData.content, params, result.returnData.size) == 0);
    assert(result.gasRemaining == 15);

    // SSTORE directly; success
    input.size = 64;
    gas = 23589;
    result = txCall(from, gas, storageTest, value, input, NULL);
    assert(UPPER(UPPER(result.status)) == 0);
    assert(LOWER(UPPER(result.status)) == 0);
    assert(UPPER(LOWER(result.status)) == 0);
    assert(LOWER(LOWER(result.status)) == 1);
    assert(result.returnData.size == 0);
    assert(result.gasRemaining == 101);

    // STATICCALL into SSTORE; forbidden
    gas = 0x10000;
    result = txCall(from, gas, staticCall, value, input, NULL);
    assert(UPPER(UPPER(result.status)) == 0);
    assert(LOWER(UPPER(result.status)) == 0);
    assert(UPPER(LOWER(result.status)) == 0);
    assert(LOWER(LOWER(result.status)) == 0);
    assert(result.returnData.size == 64);
    assert(result.gasRemaining == 633);

    evmFinalize();
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x198, %rsp            # imm = 0x198
xorl %eax, %eax
callq 0xaa8d
leaq 0x70(%rsp), %rbx
movq %rbx, %rdi
callq 0x332c
leaq 0x84(%rsp), %rdx
andq $0x0, (%rdx)
andl $0x0, 0x8(%rdx)
movups 0xe911(%rip), %xmm0     # 0x155ef
leaq 0x140(%rsp), %r8
movups %xmm0, 0xf(%r8)
movaps 0xe8ee(%rip), %xmm0     # 0x155e0
movaps %xmm0, (%r8)
movl 0x10(%rbx), %eax
movl %eax, 0x10(%rsp)
movups (%rbx), %xmm0
movups %xmm0, (%rsp)
leaq 0x30(%rsp), %rbx
pushq $0x1f
popq %rcx
movl $0xe2f7, %esi           # imm = 0xE2F7
movq %rbx, %rdi
callq 0xb68f
cmpq $0x0, 0x10(%rbx)
jne 0x7201
movl $0x80d9b122, %eax       # imm = 0x80D9B122
cmpq %rax, 0x48(%rsp)
jne 0x7220
movabsq $-0x23c5e9023be06931, %rax # imm = 0xDC3A16FDC41F96CF
cmpq %rax, 0x50(%rsp)
jne 0x723f
movabsq $0x10ffe7e38d227c3, %rax # imm = 0x10FFE7E38D227C3
cmpq %rax, 0x58(%rsp)
jne 0x725e
cmpq $0x17, 0x30(%rsp)
jne 0x727d
movq 0x38(%rsp), %rdi
leaq 0xe84a(%rip), %rsi      # 0x155c0
pushq $0x17
popq %rdx
callq 0x30d0
testl %eax, %eax
jne 0x729c
cmpq $0x0, 0x60(%rsp)
jne 0x72bb
leaq 0x40(%rsp), %rbx
leaq 0xa8(%rsp), %rdi
movq %rbx, %rsi
callq 0x5fbc
movaps 0xe8a2(%rip), %xmm0     # 0x15650
leaq 0x160(%rsp), %r8
movaps %xmm0, 0x20(%r8)
movaps 0xe87e(%rip), %xmm0     # 0x15640
movaps %xmm0, 0x10(%r8)
movaps 0xe862(%rip), %xmm0     # 0x15630
movaps %xmm0, (%r8)
movw $0xf35f, 0x30(%r8)      # imm = 0xF35F
movl 0x80(%rsp), %eax
movl %eax, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0xc0(%rsp), %r14
leaq 0x84(%rsp), %rdx
pushq $0x32
popq %rcx
movl $0xf250, %esi           # imm = 0xF250
movq %r14, %rdi
callq 0xb68f
movups (%r14), %xmm0
movups 0x10(%r14), %xmm1
movups 0x20(%r14), %xmm2
movups 0x30(%r14), %xmm3
movaps %xmm3, 0x20(%rbx)
movaps %xmm2, 0x10(%rbx)
movaps %xmm1, (%rbx)
movaps %xmm0, -0x10(%rbx)
cmpq $0x0, (%rbx)
jne 0x72da
cmpq $0x47784b21, 0x48(%rsp) # imm = 0x47784B21
jne 0x72f9
movabsq $0x780d1e1d5efcd005, %rax # imm = 0x780D1E1D5EFCD005
cmpq %rax, 0x50(%rsp)
jne 0x7318
movabsq $-0x3a01abd7ec4928e2, %rax # imm = 0xC5FE542813B6D71E
cmpq %rax, 0x58(%rsp)
jne 0x7337
cmpq $0x29, 0x30(%rsp)
jne 0x7356
movq 0x38(%rsp), %rdi
leaq 0xe776(%rip), %rsi      # 0x15600
pushq $0x29
popq %rdx
callq 0x30d0
testl %eax, %eax
jne 0x7375
cmpq $0x0, 0x60(%rsp)
jne 0x7394
leaq 0x90(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x5fbc
xorps %xmm0, %xmm0
leaq 0xc0(%rsp), %r8
movaps %xmm0, 0x30(%r8)
movaps %xmm0, 0x20(%r8)
movaps %xmm0, 0x10(%r8)
movaps %xmm0, (%r8)
movl 0x10(%r14), %eax
movl %eax, 0x28(%rsp)
movups (%r14), %xmm0
movups %xmm0, 0x18(%rsp)
movl 0x80(%rsp), %eax
movl %eax, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x100(%rsp), %rbx
leaq 0x84(%rsp), %rdx
movl $0x64c2, %esi           # imm = 0x64C2
movq %rbx, %rdi
xorl %ecx, %ecx
xorl %r9d, %r9d
callq 0xb135
movups (%rbx), %xmm0
movups 0x10(%rbx), %xmm1
movups 0x20(%rbx), %xmm2
movups 0x30(%rbx), %xmm3
movaps %xmm3, 0x60(%rsp)
movaps %xmm2, 0x50(%rsp)
movaps %xmm1, 0x40(%rsp)
movaps %xmm0, 0x30(%rsp)
cmpq $0x0, 0x40(%rsp)
jne 0x73b3
cmpq $0x0, 0x48(%rsp)
jne 0x73d2
cmpq $0x0, 0x50(%rsp)
jne 0x73f1
cmpq $0x1, 0x58(%rsp)
jne 0x7410
cmpq $0x0, 0x30(%rsp)
jne 0x742f
cmpq $0xf, 0x60(%rsp)
jne 0x744e
movl 0xa0(%rsp), %eax
movl %eax, 0x28(%rsp)
movups 0x90(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movl 0x80(%rsp), %eax
movl %eax, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x100(%rsp), %rbx
leaq 0x84(%rsp), %rdx
pushq $0x20
popq %rcx
leaq 0xc0(%rsp), %r8
movl $0x6548, %esi           # imm = 0x6548
movq %rbx, %rdi
xorl %r9d, %r9d
callq 0xb135
movups (%rbx), %xmm0
movups 0x10(%rbx), %xmm1
movups 0x20(%rbx), %xmm2
movups 0x30(%rbx), %xmm3
movaps %xmm3, 0x60(%rsp)
movaps %xmm2, 0x50(%rsp)
movaps %xmm1, 0x40(%rsp)
movaps %xmm0, 0x30(%rsp)
cmpq $0x0, 0x40(%rsp)
jne 0x746d
cmpq $0x0, 0x48(%rsp)
jne 0x748c
cmpq $0x0, 0x50(%rsp)
jne 0x74ab
cmpq $0x1, 0x58(%rsp)
jne 0x74ca
cmpq $0x20, 0x30(%rsp)
jne 0x74e9
movq 0x38(%rsp), %rdi
leaq 0xc0(%rsp), %rsi
pushq $0x20
popq %rdx
callq 0x30d0
testl %eax, %eax
jne 0x7508
cmpq $0xf, 0x60(%rsp)
jne 0x7527
movl 0xb8(%rsp), %eax
movl %eax, 0x28(%rsp)
movups 0xa8(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movl 0x80(%rsp), %eax
movl %eax, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x100(%rsp), %rbx
leaq 0x84(%rsp), %rdx
pushq $0x40
popq %rcx
leaq 0xc0(%rsp), %r8
movl $0x5c25, %esi           # imm = 0x5C25
movq %rbx, %rdi
xorl %r9d, %r9d
callq 0xb135
movups (%rbx), %xmm0
movups 0x10(%rbx), %xmm1
movups 0x20(%rbx), %xmm2
movups 0x30(%rbx), %xmm3
movaps %xmm3, 0x60(%rsp)
movaps %xmm2, 0x50(%rsp)
movaps %xmm1, 0x40(%rsp)
movaps %xmm0, 0x30(%rsp)
cmpq $0x0, 0x40(%rsp)
jne 0x7546
cmpq $0x0, 0x48(%rsp)
jne 0x7565
cmpq $0x0, 0x50(%rsp)
jne 0x7584
cmpq $0x1, 0x58(%rsp)
jne 0x75a3
cmpq $0x0, 0x30(%rsp)
jne 0x75c2
cmpq $0x65, 0x60(%rsp)
jne 0x75e1
movl 0xa0(%rsp), %eax
movl %eax, 0x28(%rsp)
movups 0x90(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movl 0x80(%rsp), %eax
movl %eax, 0x10(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x100(%rsp), %rbx
leaq 0x84(%rsp), %rdx
pushq $0x40
popq %rcx
leaq 0xc0(%rsp), %r8
movl $0x10000, %esi          # imm = 0x10000
movq %rbx, %rdi
xorl %r9d, %r9d
callq 0xb135
movups (%rbx), %xmm0
movups 0x10(%rbx), %xmm1
movups 0x20(%rbx), %xmm2
movups 0x30(%rbx), %xmm3
movaps %xmm3, 0x60(%rsp)
movaps %xmm2, 0x50(%rsp)
movaps %xmm1, 0x40(%rsp)
movaps %xmm0, 0x30(%rsp)
cmpq $0x0, 0x40(%rsp)
jne 0x7600
cmpq $0x0, 0x48(%rsp)
jne 0x761f
cmpq $0x0, 0x50(%rsp)
jne 0x763e
cmpq $0x0, 0x58(%rsp)
jne 0x765d
cmpq $0x40, 0x30(%rsp)
jne 0x767c
cmpq $0x279, 0x60(%rsp)      # imm = 0x279
jne 0x769b
xorl %eax, %eax
callq 0xada8
addq $0x198, %rsp            # imm = 0x198
popq %rbx
popq %r14
retq
leaq 0x9e27(%rip), %rdi      # 0x1102f
leaq 0x9e41(%rip), %rsi      # 0x11050
leaq 0xb380(%rip), %rcx      # 0x12596
movl $0x586, %edx            # imm = 0x586
callq 0x3040
leaq 0x9e44(%rip), %rdi      # 0x1106b
leaq 0x9e22(%rip), %rsi      # 0x11050
leaq 0xb361(%rip), %rcx      # 0x12596
movl $0x587, %edx            # imm = 0x587
callq 0x3040
leaq 0x9e4f(%rip), %rdi      # 0x11095
leaq 0x9e03(%rip), %rsi      # 0x11050
leaq 0xb342(%rip), %rcx      # 0x12596
movl $0x588, %edx            # imm = 0x588
callq 0x3040
leaq 0x9e62(%rip), %rdi      # 0x110c7
leaq 0x9de4(%rip), %rsi      # 0x11050
leaq 0xb323(%rip), %rcx      # 0x12596
movl $0x589, %edx            # imm = 0x589
callq 0x3040
leaq 0xb32f(%rip), %rdi      # 0x125b3
leaq 0x9dc5(%rip), %rsi      # 0x11050
leaq 0xb304(%rip), %rcx      # 0x12596
movl $0x58a, %edx            # imm = 0x58A
callq 0x3040
leaq 0xb340(%rip), %rdi      # 0x125e3
leaq 0x9da6(%rip), %rsi      # 0x11050
leaq 0xb2e5(%rip), %rcx      # 0x12596
movl $0x58b, %edx            # imm = 0x58B
callq 0x3040
leaq 0x9e53(%rip), %rdi      # 0x11115
leaq 0x9d87(%rip), %rsi      # 0x11050
leaq 0xb2c6(%rip), %rcx      # 0x12596
movl $0x58c, %edx            # imm = 0x58C
callq 0x3040
leaq 0x9d4e(%rip), %rdi      # 0x1102f
leaq 0x9d68(%rip), %rsi      # 0x11050
leaq 0xb2a7(%rip), %rcx      # 0x12596
movl $0x5a6, %edx            # imm = 0x5A6
callq 0x3040
leaq 0xa524(%rip), %rdi      # 0x11824
leaq 0x9d49(%rip), %rsi      # 0x11050
leaq 0xb288(%rip), %rcx      # 0x12596
movl $0x5a7, %edx            # imm = 0x5A7
callq 0x3040
leaq 0xa52f(%rip), %rdi      # 0x1184e
leaq 0x9d2a(%rip), %rsi      # 0x11050
leaq 0xb269(%rip), %rcx      # 0x12596
movl $0x5a8, %edx            # imm = 0x5A8
callq 0x3040
leaq 0xa542(%rip), %rdi      # 0x11880
leaq 0x9d0b(%rip), %rsi      # 0x11050
leaq 0xb24a(%rip), %rcx      # 0x12596
movl $0x5a9, %edx            # imm = 0x5A9
callq 0x3040
leaq 0xb2d3(%rip), %rdi      # 0x12630
leaq 0x9cec(%rip), %rsi      # 0x11050
leaq 0xb22b(%rip), %rcx      # 0x12596
movl $0x5aa, %edx            # imm = 0x5AA
callq 0x3040
leaq 0xb2e3(%rip), %rdi      # 0x1265f
leaq 0x9ccd(%rip), %rsi      # 0x11050
leaq 0xb20c(%rip), %rcx      # 0x12596
movl $0x5ab, %edx            # imm = 0x5AB
callq 0x3040
leaq 0x9d7a(%rip), %rdi      # 0x11115
leaq 0x9cae(%rip), %rsi      # 0x11050
leaq 0xb1ed(%rip), %rcx      # 0x12596
movl $0x5ac, %edx            # imm = 0x5AC
callq 0x3040
leaq 0x9c75(%rip), %rdi      # 0x1102f
leaq 0x9c8f(%rip), %rsi      # 0x11050
leaq 0xb1ce(%rip), %rcx      # 0x12596
movl $0x5b7, %edx            # imm = 0x5B7
callq 0x3040
leaq 0xa1b5(%rip), %rdi      # 0x1158e
leaq 0x9c70(%rip), %rsi      # 0x11050
leaq 0xb1af(%rip), %rcx      # 0x12596
movl $0x5b8, %edx            # imm = 0x5B8
callq 0x3040
leaq 0xa175(%rip), %rdi      # 0x1156d
leaq 0x9c51(%rip), %rsi      # 0x11050
leaq 0xb190(%rip), %rcx      # 0x12596
movl $0x5b9, %edx            # imm = 0x5B9
callq 0x3040
leaq 0xa348(%rip), %rdi      # 0x1175f
leaq 0x9c32(%rip), %rsi      # 0x11050
leaq 0xb171(%rip), %rcx      # 0x12596
movl $0x5ba, %edx            # imm = 0x5BA
callq 0x3040
leaq 0x9cc3(%rip), %rdi      # 0x110f9
leaq 0x9c13(%rip), %rsi      # 0x11050
leaq 0xb152(%rip), %rcx      # 0x12596
movl $0x5bb, %edx            # imm = 0x5BB
callq 0x3040
leaq 0xb255(%rip), %rdi      # 0x126aa
leaq 0x9bf4(%rip), %rsi      # 0x11050
leaq 0xb133(%rip), %rcx      # 0x12596
movl $0x5bc, %edx            # imm = 0x5BC
callq 0x3040
leaq 0x9bbb(%rip), %rdi      # 0x1102f
leaq 0x9bd5(%rip), %rsi      # 0x11050
leaq 0xb114(%rip), %rcx      # 0x12596
movl $0x5c2, %edx            # imm = 0x5C2
callq 0x3040
leaq 0xa0fb(%rip), %rdi      # 0x1158e
leaq 0x9bb6(%rip), %rsi      # 0x11050
leaq 0xb0f5(%rip), %rcx      # 0x12596
movl $0x5c3, %edx            # imm = 0x5C3
callq 0x3040
leaq 0xa0bb(%rip), %rdi      # 0x1156d
leaq 0x9b97(%rip), %rsi      # 0x11050
leaq 0xb0d6(%rip), %rcx      # 0x12596
movl $0x5c4, %edx            # imm = 0x5C4
callq 0x3040
leaq 0xa28e(%rip), %rdi      # 0x1175f
leaq 0x9b78(%rip), %rsi      # 0x11050
leaq 0xb0b7(%rip), %rcx      # 0x12596
movl $0x5c5, %edx            # imm = 0x5C5
callq 0x3040
leaq 0x9c57(%rip), %rdi      # 0x11147
leaq 0x9b59(%rip), %rsi      # 0x11050
leaq 0xb098(%rip), %rcx      # 0x12596
movl $0x5c6, %edx            # imm = 0x5C6
callq 0x3040
leaq 0xb1b5(%rip), %rdi      # 0x126c4
leaq 0x9b3a(%rip), %rsi      # 0x11050
leaq 0xb079(%rip), %rcx      # 0x12596
movl $0x5c7, %edx            # imm = 0x5C7
callq 0x3040
leaq 0xb17c(%rip), %rdi      # 0x126aa
leaq 0x9b1b(%rip), %rsi      # 0x11050
leaq 0xb05a(%rip), %rcx      # 0x12596
movl $0x5c8, %edx            # imm = 0x5C8
callq 0x3040
leaq 0x9ae2(%rip), %rdi      # 0x1102f
leaq 0x9afc(%rip), %rsi      # 0x11050
leaq 0xb03b(%rip), %rcx      # 0x12596
movl $0x5ce, %edx            # imm = 0x5CE
callq 0x3040
leaq 0xa022(%rip), %rdi      # 0x1158e
leaq 0x9add(%rip), %rsi      # 0x11050
leaq 0xb01c(%rip), %rcx      # 0x12596
movl $0x5cf, %edx            # imm = 0x5CF
callq 0x3040
leaq 0x9fe2(%rip), %rdi      # 0x1156d
leaq 0x9abe(%rip), %rsi      # 0x11050
leaq 0xaffd(%rip), %rcx      # 0x12596
movl $0x5d0, %edx            # imm = 0x5D0
callq 0x3040
leaq 0xa1b5(%rip), %rdi      # 0x1175f
leaq 0x9a9f(%rip), %rsi      # 0x11050
leaq 0xafde(%rip), %rcx      # 0x12596
movl $0x5d1, %edx            # imm = 0x5D1
callq 0x3040
leaq 0x9b30(%rip), %rdi      # 0x110f9
leaq 0x9a80(%rip), %rsi      # 0x11050
leaq 0xafbf(%rip), %rcx      # 0x12596
movl $0x5d2, %edx            # imm = 0x5D2
callq 0x3040
leaq 0xb123(%rip), %rdi      # 0x1270b
leaq 0x9a61(%rip), %rsi      # 0x11050
leaq 0xafa0(%rip), %rcx      # 0x12596
movl $0x5d3, %edx            # imm = 0x5D3
callq 0x3040
leaq 0x9a28(%rip), %rdi      # 0x1102f
leaq 0x9a42(%rip), %rsi      # 0x11050
leaq 0xaf81(%rip), %rcx      # 0x12596
movl $0x5d8, %edx            # imm = 0x5D8
callq 0x3040
leaq 0x9f68(%rip), %rdi      # 0x1158e
leaq 0x9a23(%rip), %rsi      # 0x11050
leaq 0xaf62(%rip), %rcx      # 0x12596
movl $0x5d9, %edx            # imm = 0x5D9
callq 0x3040
leaq 0x9f28(%rip), %rdi      # 0x1156d
leaq 0x9a04(%rip), %rsi      # 0x11050
leaq 0xaf43(%rip), %rcx      # 0x12596
movl $0x5da, %edx            # imm = 0x5DA
callq 0x3040
leaq 0x9f4b(%rip), %rdi      # 0x115af
leaq 0x99e5(%rip), %rsi      # 0x11050
leaq 0xaf24(%rip), %rcx      # 0x12596
movl $0x5db, %edx            # imm = 0x5DB
callq 0x3040
leaq 0x9d38(%rip), %rdi      # 0x113bb
leaq 0x99c6(%rip), %rsi      # 0x11050
leaq 0xaf05(%rip), %rcx      # 0x12596
movl $0x5dc, %edx            # imm = 0x5DC
callq 0x3040
leaq 0xb084(%rip), %rdi      # 0x12726
leaq 0x99a7(%rip), %rsi      # 0x11050
leaq 0xaee6(%rip), %rcx      # 0x12596
movl $0x5dd, %edx            # imm = 0x5DD
callq 0x3040