// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: bool_optimize_nw
static bool bool_optimize_nw(s7_scheme *sc, s7_pointer expr)
                {
                    s7_pointer car_x, head;

                    car_x = car(expr);
                    if (!is_pair(car_x)) /* wrap constants/symbols */
                        return(opt_bool_not_pair(sc, car_x));

                    head = car(car_x);
                    if (is_symbol(head))
                    {
                        s7_pointer s_func;
                        s7_int len;
                        len = s7_list_length(sc, car_x);

                        if ((is_syntactic_symbol(head)) ||
                                (is_syntactic_pair(car_x)))
                        {
                            if (head == sc->and_symbol)
                                return(opt_b_and(sc, car_x, len));
                            if (head == sc->or_symbol)
                                return(opt_b_or(sc, car_x, len));
                            return(return_false(sc, car_x, __func__, __LINE__));
                        }

                        if ((is_global(head)) ||
                                ((is_slot(global_slot(head))) &&
                                 (symbol_to_slot(sc, head) == global_slot(head))))
                            s_func = slot_value(global_slot(head));
                        else return(return_false(sc, car_x, __func__, __LINE__));

                        if (is_c_function(s_func))
                        {
                            if (symbol_id(head) != 0)             /* (float-vector? (block)) -- both safe c_funcs, but this is a method invocation */
                                return(return_false(sc, car_x, __func__, __LINE__));
                            switch (len)
                            {
                                case 2:
                                    return(b_idp_ok(sc, s_func, car_x, opt_arg_type(sc, cdr(car_x))));

                                case 3:
                                    {
                                        s7_b_pp_t bpf;
                                        s7_b_7pp_t bpf7 = NULL;
                                        bpf = s7_b_pp_function(s_func);
                                        if (!bpf) bpf7 = s7_b_7pp_function(s_func);
                                        if ((bpf) || (bpf7))
                                        {
                                            opt_info *opc;
                                            s7_pointer sig1, sig2, arg1, arg2;
                                            opc = alloc_opo(sc, car_x);

                                            arg1 = cadr(car_x);
                                            arg2 = caddr(car_x);
                                            sig1 = opt_arg_type(sc, cdr(car_x));
                                            sig2 = opt_arg_type(sc, cddr(car_x));

                                            if (sig2 == sc->is_integer_symbol)
                                            {
                                                int32_t cur_index;
                                                cur_index = sc->pc;

                                                if ((sig1 == sc->is_integer_symbol) &&
                                                        (b_ii_ok(sc, opc, s_func, car_x, arg1, arg2)))
                                                    return(true);
                                                pc_fallback(sc, cur_index);

                                                if ((is_symbol(arg2)) &&
                                                        (b_pi_ok(sc, opc, s_func, car_x, arg2)))
                                                    return(true);
                                                pc_fallback(sc, cur_index);
                                            }

                                            if ((sig1 == sc->is_float_symbol) &&
                                                    (sig2 == sc->is_float_symbol) &&
                                                    (b_dd_ok(sc, opc, s_func, car_x, arg1, arg2)))
                                                return(true);

                                            if (bpf)
                                                opc->v[3].b_pp_f = bpf;
                                            else opc->v[3].b_7pp_f = bpf7;
                                            return(b_pp_ok(sc, opc, s_func, car_x, arg1, arg2, bpf != NULL));
                                        }
                                    }
                                    break;

                                default:
                                    break;
                            }
                        }
                        else
                        {
                            if (is_macro(s_func))
                                return(return_false(sc, car_x, __func__, __LINE__));
                        }
                    }
                    return(return_false(sc, car_x, __func__, __LINE__));
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
movq 0x8(%rsi), %r15
movzbl (%r15), %eax
cmpl $0x1, %eax
je 0x87433
cmpl $0xa, %eax
je 0x873e0
cmpl $0x7, %eax
jne 0x874d4
movq %rbx, %rdi
callq 0x7df55
cmpq %r15, 0x120(%rbx)
leaq 0xd29(%rip), %rcx       # 0x880f1
leaq 0xd25(%rip), %rdx       # 0x880f4
cmoveq %rcx, %rdx
movq %rdx, (%rax)
movq $0x1, 0x60(%rax)
jmp 0x8742c
movq %rbx, %rdi
movq %r15, %rsi
callq 0x85aab
testq %rax, %rax
je 0x874d4
movq %rax, %r14
movq 0x10(%rax), %rax
cmpb $0x7, (%rax)
jne 0x874d4
movq %rbx, %rdi
callq 0x7df55
movq %r14, 0x8(%rax)
leaq 0xce0(%rip), %rcx       # 0x880f7
movq %rcx, (%rax)
movabsq $0x100000002, %rcx      # imm = 0x100000002
movq %rcx, 0x60(%rax)
andl $0x0, 0x70(%rax)
movb $0x1, %al
jmp 0x874d6
movq 0x8(%r15), %r13
cmpb $0xa, (%r13)
jne 0x874d4
movq %rbx, %rdi
movq %r15, %rsi
callq 0x2dada
movq %rax, %r14
cmpw $0x20a, (%r13)          # imm = 0x20A
je 0x87461
cmpw $0x201, (%r15)          # imm = 0x201
jne 0x8749f
cmpq 0x1820(%rbx), %r13
je 0x87480
cmpq 0x1828(%rbx), %r13
jne 0x874d4
movq %rbx, %rdi
movq %r15, %rsi
movl %r14d, %edx
xorl %ecx, %ecx
jmp 0x8748c
pushq $0x1
popq %rcx
movq %rbx, %rdi
movq %r15, %rsi
movl %r14d, %edx
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x8810e
movq 0x10(%r13), %r12
testb $0x1, 0x2(%r13)
jne 0x874c1
cmpb $0x20, (%r12)
jne 0x874d4
movq %rbx, %rdi
movq %r13, %rsi
callq 0xb00b
cmpq %r12, %rax
jne 0x874d4
movq 0x10(%r12), %r12
cmpb $0x30, (%r12)
jb 0x874d4
cmpq $0x0, 0x20(%r13)
je 0x874e5
xorl %eax, %eax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
cmpq $0x3, %r14
je 0x8758c
cmpq $0x2, %r14
jne 0x874d4
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x85e47
movq %rax, %r13
movq %rbx, %rdi
callq 0x7df55
movq %rax, %r14
movl 0x2258(%rbx), %ebp
cmpq %r13, 0x10d0(%rbx)
je 0x875ab
cmpq %r13, 0x11e0(%rbx)
jne 0x87901
pushq $0x39
popq %rsi
movq %r12, %rdi
callq 0x366a7
testq %rax, %rax
je 0x87901
movq %rax, 0x10(%r14)
movq 0x10(%r15), %rsi
movq 0x8(%rsi), %rax
cmpb $0xa, (%rax)
jne 0x878e6
movq %rbx, %rdi
movq %rax, %rsi
callq 0xb00b
movq %rax, 0x8(%r14)
leaq 0x111d(%rip), %rax      # 0x8868b
movq %rax, (%r14)
movabsq $0x100000003, %rax      # imm = 0x100000003
movq %rax, 0x60(%r14)
movl $0x2, 0x70(%r14)
jmp 0x8742c
pushq $0x1d
popq %rsi
movq %r12, %rdi
callq 0x366a7
movq %rax, %r14
testq %rax, %rax
je 0x87608
movq %r14, 0x28(%rsp)
movq %r14, 0x30(%rsp)
jmp 0x87623
pushq $0x38
popq %rsi
movq %r12, %rdi
callq 0x366a7
testq %rax, %rax
je 0x87901
movq %rax, 0x10(%r14)
movq 0x10(%r15), %rsi
movq 0x8(%rsi), %rax
cmpb $0xa, (%rax)
jne 0x87898
movq %rbx, %rdi
movq %rax, %rsi
callq 0xb00b
movq %rax, 0x8(%r14)
leaq 0x1030(%rip), %rax      # 0x8861a
movq %rax, (%r14)
movabsq $0x100000003, %rax      # imm = 0x100000003
movq %rax, 0x60(%r14)
movl $0x1, 0x70(%r14)
jmp 0x8742c
movq %r12, %rdi
callq 0x880e9
movq %rax, 0x30(%rsp)
testq %rax, %rax
je 0x874d4
movq %r14, 0x28(%rsp)
movq %rbx, %rdi
callq 0x7df55
movq %rax, 0x8(%rsp)
movq 0x10(%r15), %rsi
movq 0x8(%rsi), %r14
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
movq %rbx, %rdi
callq 0x85e47
movq %rax, %r13
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x85e47
movq %rax, %rbp
cmpq 0x10d0(%rbx), %rax
jne 0x8770b
movl 0x2258(%rbx), %eax
movl %eax, 0x24(%rsp)
cmpq %rbp, %r13
je 0x877b5
movl 0x24(%rsp), %eax
movl %eax, 0x2258(%rbx)
movq 0x10(%rsp), %rax
cmpb $0xa, (%rax)
jne 0x87701
pushq $0x20
popq %rsi
movq %r12, %rdi
callq 0x366a7
movq %rax, 0x18(%rsp)
testq %rax, %rax
je 0x87701
movq %rbx, %rdi
movq 0x10(%rsp), %rsi
callq 0xb00b
movq 0x8(%rsp), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x80a38
testb %al, %al
je 0x87701
movq 0x8(%rsp), %rcx
movq 0x18(%rsp), %rax
movq %rax, 0x10(%rcx)
leaq 0x1208(%rip), %rax      # 0x888ef
movq %rax, (%rcx)
movabsq $0x100000003, %rax      # imm = 0x100000003
movq %rax, 0x60(%rcx)
andl $0x0, 0x70(%rcx)
jmp 0x8742c
movl 0x24(%rsp), %eax
movl %eax, 0x2258(%rbx)
movq 0x11e0(%rbx), %rax
xorq %rax, %r13
xorq %rax, %rbp
orq %r13, %rbp
jne 0x87b52
movl 0x2258(%rbx), %ebp
pushq $0x22
popq %rsi
movq %r12, %rdi
callq 0x366a7
testq %rax, %rax
je 0x87b4c
movq 0x8(%rsp), %rcx
movq %rax, 0x18(%rcx)
cmpb $0xa, (%r14)
jne 0x87a9a
movq %rbx, %rdi
movq %r14, %rsi
callq 0xb00b
movq 0x8(%rsp), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpq $0xa, %rax
jne 0x879f8
movq %rbx, %rdi
movq 0x10(%rsp), %rsi
callq 0xb00b
movq 0x8(%rsp), %rcx
movq %rax, 0x10(%rcx)
leaq 0xbb3(%rip), %rax       # 0x88344
movq %rax, (%rcx)
movabsq $0x200000004, %rax      # imm = 0x200000004
movq %rax, 0x60(%rcx)
movabsq $0x200000002, %rax      # imm = 0x200000002
movq %rax, 0x70(%rcx)
jmp 0x8742c
pushq $0x21
popq %rsi
movq %r12, %rdi
callq 0x366a7
testq %rax, %rax
je 0x87683
movq %rax, %rcx
movq 0x8(%rsp), %rax
movq %rcx, 0x18(%rsp)
movq %rcx, 0x18(%rax)
cmpb $0xa, (%r14)
jne 0x87a28
movq %rbx, %rdi
movq %r14, %rsi
callq 0xb00b
movq 0x8(%rsp), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
je 0x87e50
cmpl $0xa, %eax
jne 0x87f1c
movq %rbx, %rdi
movq 0x10(%rsp), %rsi
callq 0xb00b
movq 0x8(%rsp), %rcx
movq %rax, 0x10(%rcx)
leaq 0xb35(%rip), %rax       # 0x88364
movq %rax, (%rcx)
leaq -0x190a4(%rip), %rax    # 0x6e795
cmpq %rax, 0x18(%rsp)
je 0x87f5e
leaq -0x190a8(%rip), %rax    # 0x6e7a3
cmpq %rax, 0x18(%rsp)
je 0x87f98
leaq -0x190b3(%rip), %rax    # 0x6e7aa
cmpq %rax, 0x18(%rsp)
je 0x88059
leaq -0x190d3(%rip), %rax    # 0x6e79c
cmpq %rax, 0x18(%rsp)
je 0x88062
leaq -0x190f3(%rip), %rax    # 0x6e78e
cmpq %rax, 0x18(%rsp)
jne 0x88071
leaq 0xec9(%rip), %rax       # 0x8875c
jmp 0x88069
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x87901
movq 0x8(%r15), %rax
cmpq 0x11c0(%rbx), %rax
jne 0x878dd
movslq 0x2258(%rbx), %rax
movq 0x2258(%rbx,%rax,8), %rax
leaq -0xee2(%rip), %rcx      # 0x869e5
cmpq %rcx, (%rax)
jne 0x878dd
leaq 0xd59(%rip), %rcx       # 0x8862c
cmpq %rcx, 0x18(%rax)
je 0x87f73
leaq 0xd77(%rip), %rax       # 0x8865b
jmp 0x878f9
movq %rbx, %rdi
callq 0x36881
testb %al, %al
je 0x87901
leaq 0xda2(%rip), %rax       # 0x8869b
movq %rax, (%r14)
jmp 0x879eb
movl %ebp, 0x2258(%rbx)
movq %r12, %rdi
callq 0x36795
movq %rax, %rbp
testq %rax, %rax
je 0x8791c
movq %rbp, %rax
jmp 0x87930
pushq $0x1c
popq %rsi
movq %r12, %rdi
callq 0x366a7
testq %rax, %rax
je 0x874d4
movq %rax, 0x10(%r14)
movq 0x10(%r15), %rsi
movq 0x8(%rsi), %rax
cmpb $0xa, (%rax)
jne 0x879a6
movq %rbx, %rdi
movq %rax, %rsi
callq 0x85aab
testq %rax, %rax
je 0x874d4
testq %rbp, %rbp
movq %rax, 0x8(%r14)
leaq 0xd73(%rip), %rcx       # 0x886d6
leaq 0xd5e(%rip), %rbx       # 0x886c8
cmovneq %rbx, %rcx
movq %rcx, (%r14)
movq 0x10(%rax), %rax
cmpb $0x8, (%rax)
jne 0x8798e
movq %r12, %rdi
callq 0x886e8
testq %rax, %rax
je 0x8798e
movq %rax, 0x10(%r14)
movq %rbx, (%r14)
movabsq $0x100000003, %rax      # imm = 0x100000003
movq %rax, 0x60(%r14)
andl $0x0, 0x70(%r14)
jmp 0x8742c
movq %rbx, %rdi
callq 0x80a38
testb %al, %al
je 0x874d4
testq %rbp, %rbp
leaq 0xd60(%rip), %rax       # 0x88720
leaq 0xd29(%rip), %r15       # 0x886f0
cmovneq %r15, %rax
movq %rax, (%r14)
cmpq %r13, 0x1020(%rbx)
jne 0x879eb
movq %r12, %rdi
callq 0x886e8
testq %rax, %rax
je 0x879eb
movq %rax, 0x10(%r14)
movq %r15, (%r14)
movq $0x3, 0x60(%r14)
jmp 0x8742c
leaq 0x91fb1(%rip), %rcx     # 0x1199b0
cmpb $0x1, (%rax,%rcx)
jne 0x87a78
movq %rbx, %rdi
movq 0x10(%rsp), %rsi
callq 0xc3cd
movq 0x8(%rsp), %rcx
movsd %xmm0, 0x10(%rcx)
leaq 0xf14(%rip), %rax       # 0x88937
jmp 0x87adf
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
je 0x87ea9
cmpl $0xa, %eax
jne 0x87ed4
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x87683
movq %rbx, %rdi
movq 0x10(%rsp), %rsi
callq 0xb00b
movq 0x8(%rsp), %rcx
movq %rax, 0x10(%rcx)
leaq 0xd9f(%rip), %rax       # 0x88812
jmp 0x87fb0
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x36881
testb %al, %al
je 0x87a9a
leaq 0xebc(%rip), %rax       # 0x8894f
movq 0x8(%rsp), %rcx
jmp 0x87adf
movl %ebp, 0x2258(%rbx)
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x36881
testb %al, %al
je 0x87b4c
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpq $0xa, %rax
jne 0x87afc
movq %rbx, %rdi
movq 0x10(%rsp), %rsi
callq 0xb00b
movq 0x8(%rsp), %rcx
movq %rax, 0x8(%rcx)
leaq 0xec1(%rip), %rax       # 0x889a0
movq %rax, (%rcx)
movabsq $0x100000004, %rax      # imm = 0x100000004
movq %rax, 0x60(%rcx)
movl $0x2, 0x70(%rcx)
jmp 0x8742c
leaq 0x91ead(%rip), %rcx     # 0x1199b0
cmpb $0x1, (%rax,%rcx)
jne 0x87b2c
movq %rbx, %rdi
movq 0x10(%rsp), %rsi
callq 0xc3cd
movq 0x8(%rsp), %rcx
movsd %xmm0, 0x8(%rcx)
leaq 0xebc(%rip), %rax       # 0x889e3
jmp 0x87f0c
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x36881
testb %al, %al
je 0x87b4c
leaq 0xed7(%rip), %rax       # 0x88a1e
jmp 0x87f07
movl %ebp, 0x2258(%rbx)
movq 0x8(%rsp), %rax
movq 0x30(%rsp), %rcx
movq %rcx, 0x18(%rax)
movl 0x2258(%rbx), %ebp
movb (%r14), %al
cmpb $0xa, %al
jne 0x87cab
movq 0x10(%rsp), %rax
cmpb $0xa, (%rax)
jne 0x87c13
movl %ebp, 0x24(%rsp)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x85aab
movq %rax, %r13
movq 0x8(%rsp), %rbp
movq %rax, 0x8(%rbp)
movq %rbx, %rdi
movq 0x10(%rsp), %rsi
callq 0x85aab
movq %rax, 0x10(%rbp)
testq %r13, %r13
je 0x87c04
testq %rax, %rax
je 0x87c04
leaq -0x18fcf(%rip), %rax    # 0x6ebed
cmpq %rax, 0x30(%rsp)
leaq 0x85d(%rip), %rax       # 0x88425
leaq 0x839(%rip), %rcx       # 0x88408
cmoveq %rax, %rcx
cmpq $0x0, 0x28(%rsp)
leaq 0x812(%rip), %rax       # 0x883f2
cmoveq %rcx, %rax
movq 0x8(%rsp), %rcx
movq %rax, (%rcx)
movabsq $0x200000004, %rax      # imm = 0x200000004
movq %rax, 0x60(%rcx)
andq $0x0, 0x70(%rcx)
jmp 0x8742c
movb (%r14), %al
cmpb $0xa, %al
movl 0x24(%rsp), %ebp
jne 0x87cab
movq %rbx, %rdi
movq %r14, %rsi
callq 0x85aab
movq 0x8(%rsp), %rcx
movq %rax, 0x8(%rcx)
testq %rax, %rax
je 0x874d4
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
je 0x87c46
cmpl $0xa, %eax
jne 0x87e10
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x80a38
testb %al, %al
je 0x87d18
movl 0x2258(%rbx), %eax
cmpl $0x2, %eax
jl 0x87c95
leal -0x2(%rax), %ecx
movq 0x8(%rsp), %rdx
cmpq %rdx, 0x2260(%rbx,%rcx,8)
jne 0x87c95
decl %eax
movq 0x2260(%rbx,%rax,8), %rax
leaq 0xfed(%rip), %rcx       # 0x88c79
cmpq %rcx, (%rax)
je 0x87fcd
cmpq $0x0, 0x28(%rsp)
leaq 0xe4b(%rip), %rax       # 0x88aed
leaq 0xe00(%rip), %rcx       # 0x88aa9
jmp 0x87d0a
cmpb $0x1, %al
jne 0x87d1e
movq 0x10(%rsp), %rax
cmpb $0xa, (%rax)
jne 0x87d1e
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x80a38
testb %al, %al
je 0x87d18
movq %rbx, %rdi
movq 0x10(%rsp), %rsi
callq 0xb00b
movq 0x8(%rsp), %rcx
movq %rax, 0x8(%rcx)
cmpb $0x20, (%rax)
jne 0x874d4
movq 0x10(%rax), %rax
testb $0x40, 0x3(%rax)
jne 0x874d4
cmpq $0x0, 0x28(%rsp)
leaq 0xe71(%rip), %rax       # 0x88b74
leaq 0xe29(%rip), %rcx       # 0x88b33
cmoveq %rax, %rcx
movq 0x8(%rsp), %rdx
jmp 0x87e36
movl %ebp, 0x2258(%rbx)
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x80a38
testb %al, %al
je 0x874d4
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x80a38
testb %al, %al
je 0x874d4
movl 0x2258(%rbx), %eax
cmpl $0x3, %eax
jl 0x87d91
leal -0x3(%rax), %ecx
movq 0x8(%rsp), %rdx
cmpq %rdx, 0x2260(%rbx,%rcx,8)
jne 0x87d91
leal -0x2(%rax), %ecx
movq 0x2260(%rbx,%rcx,8), %rcx
leaq 0xf00(%rip), %rdx       # 0x88c79
cmpq %rdx, (%rcx)
jne 0x87d91
decl %eax
movq 0x2260(%rbx,%rax,8), %rax
cmpq %rdx, (%rax)
je 0x87ffa
cmpq $0x0, 0x28(%rsp)
leaq 0xe75(%rip), %rax       # 0x88c13
leaq 0xe13(%rip), %r13       # 0x88bb8
cmovneq %r13, %rax
movq 0x8(%rsp), %rcx
movq %rax, (%rcx)
movq %r12, %rdi
callq 0x88c71
testq %rax, %rax
je 0x87dfe
movq 0x8(%r12), %rax
movq 0x38(%rax), %rbp
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x85e47
movq %rax, %r14
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x85e47
movq 0x10(%rbp), %rcx
cmpq %r14, 0x8(%rcx)
jne 0x87dfe
movq 0x10(%rcx), %rcx
cmpq %rax, 0x8(%rcx)
je 0x87f3d
movq 0x8(%rsp), %rax
movq $0x4, 0x60(%rax)
jmp 0x8742c
cmpq $0x0, 0x28(%rsp)
leaq 0xc73(%rip), %rax       # 0x88a90
leaq 0xc5a(%rip), %rcx       # 0x88a7e
cmoveq %rax, %rcx
movq 0x8(%rsp), %rdx
movq 0x10(%rsp), %rax
movq %rax, 0x10(%rdx)
movq %rcx, (%rdx)
movabsq $0x100000004, %rax      # imm = 0x100000004
movq %rax, 0x60(%rdx)
andl $0x0, 0x70(%rdx)
jmp 0x8742c
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rsp), %rcx
movq %rax, 0x10(%rcx)
leaq -0x196d4(%rip), %rax    # 0x6e795
cmpq %rax, 0x18(%rsp)
je 0x87f6a
leaq -0x196d1(%rip), %rax    # 0x6e7aa
cmpq %rax, 0x18(%rsp)
je 0x87fa4
leaq -0x196ff(%rip), %rax    # 0x6e78e
cmpq %rax, 0x18(%rsp)
leaq 0x907(%rip), %rcx       # 0x887a0
leaq 0x914(%rip), %rax       # 0x887b4
cmoveq %rcx, %rax
jmp 0x87fab
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x87ed4
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rsp), %rcx
movq %rax, 0x10(%rcx)
leaq 0x985(%rip), %rax       # 0x88857
jmp 0x87f0c
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x87683
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x87683
leaq 0x98d(%rip), %rax       # 0x88894
movq 0x8(%rsp), %rcx
movq %rax, (%rcx)
movq $0x4, 0x60(%rcx)
jmp 0x8742c
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x87683
leaq 0x88f(%rip), %rax       # 0x887ca
jmp 0x87fab
movq 0x8(%rsp), %rbx
movq %r13, (%rbx)
movq %r12, %rdi
callq 0x88c71
movq %rax, 0x18(%rbx)
movq $0x4, 0x60(%rbx)
jmp 0x8742c
leaq 0x41d(%rip), %rax       # 0x88382
jmp 0x88069
leaq 0x807(%rip), %rax       # 0x88778
jmp 0x87fab
leaq 0x6c8(%rip), %rcx       # 0x88642
movq %rcx, (%r14)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%r14)
movq 0x10(%rax), %rax
movq %rax, 0x10(%r14)
decl 0x2258(%rbx)
jmp 0x875ed
leaq 0x3ff(%rip), %rax       # 0x8839e
jmp 0x88069
leaq 0x7e1(%rip), %rax       # 0x8878c
movq 0x8(%rsp), %rcx
movq %rax, (%rcx)
movabsq $0x100000004, %rax      # imm = 0x100000004
movq %rax, 0x60(%rcx)
movl $0x1, 0x70(%rcx)
jmp 0x8742c
movq 0x8(%rax), %rcx
movq 0x8(%rsp), %rdx
movq %rcx, 0x10(%rdx)
movq 0x10(%rax), %rax
movq %rax, 0x20(%rdx)
cmpq $0x0, 0x28(%rsp)
je 0x88093
leaq 0xc96(%rip), %rax       # 0x88c8b
jmp 0x880b5
cmpq $0x0, 0x28(%rsp)
movq 0x8(%rcx), %rdx
movq 0x8(%rsp), %rsi
movq %rdx, 0x8(%rsi)
movq 0x10(%rcx), %rcx
movq %rcx, 0x20(%rsi)
movq 0x8(%rax), %rcx
movq %rcx, 0x10(%rsi)
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsi)
leaq 0xd4e(%rip), %rax       # 0x88d7a
leaq 0xd0a(%rip), %rcx       # 0x88d3d
cmoveq %rax, %rcx
movq %rcx, (%rsi)
addl $-0x2, 0x2258(%rbx)
movabsq $0x200000006, %rax      # imm = 0x200000006
movq %rax, 0x60(%rsi)
andq $0x0, 0x70(%rsi)
jmp 0x8742c
leaq 0x376(%rip), %rax       # 0x883d6
jmp 0x88069
leaq 0x351(%rip), %rax       # 0x883ba
movq 0x8(%rsp), %rcx
movq %rax, (%rcx)
movabsq $0x200000004, %rax      # imm = 0x200000004
movq 0x8(%rsp), %rcx
movq %rax, 0x60(%rcx)
movabsq $0x100000001, %rax      # imm = 0x100000001
jmp 0x877ac
leaq -0x5b3da(%rip), %rax    # 0x2ccc0
movq 0x8(%rsp), %rcx
cmpq %rax, 0x18(%rcx)
leaq 0xc15(%rip), %rcx       # 0x88cbf
leaq 0xc53(%rip), %rax       # 0x88d04
cmoveq %rcx, %rax
movq 0x8(%rsp), %rcx
movq %rax, (%rcx)
decl 0x2258(%rbx)
movabsq $0x200000005, %rax      # imm = 0x200000005
jmp 0x87bf6