// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: int_optimize
static bool int_optimize(s7_scheme *sc, s7_pointer expr)
                {
                    s7_pointer car_x, head;
                    /* fprintf(stderr, "%s: %s\n", __func__, DISPLAY(expr)); */
#if (WITH_GMP)
                    return(return_false(sc, car_x, __func__, __LINE__));
#endif
                    car_x = car(expr);

                    if (!is_pair(car_x)) /* wrap constants/symbols */
                        return(opt_int_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)))
                            return(i_syntax_ok(sc, car_x, len));

                        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(i_implicit_ok(sc, car_x, len));

                        if (is_c_function(s_func))
                        {
                            opt_info *opc;
                            opc = alloc_opo(sc, car_x);
                            switch (len)
                            {
                                case 2:
                                    if (i_idp_ok(sc, opc, s_func, car_x))
                                        return(true);
                                    break;

                                case 3:
                                    if ((i_ii_ok(sc, opc, s_func, car_x)) ||
                                            (i_7pi_ok(sc, opc, s_func, car_x)))
                                        return(true);
                                    break;

                                case 4:
                                    if ((i_iii_ok(sc, opc, s_func, car_x)) ||
                                            (i_7pii_ok(sc, opc, s_func, car_x)))
                                        return(true);
                                    break;

                                case 5:
                                    {
                                        int32_t pstart;
                                        pstart = sc->pc;
                                        if (i_7piii_ok(sc, opc, s_func, car_x))
                                            return(true);
                                        pc_fallback(sc, pstart);
                                    }
                                    /* break; */

                                default:
                                    if (((head == sc->add_symbol) ||
                                                (head == sc->multiply_symbol)) &&
                                            (i_add_any_ok(sc, opc, car_x)))
                                        return(true);
                                    break;
                            }
                        }
                        else
                        {
                            if (is_macro(s_func))
                            {
                                if (!no_cell_opt(expr))
                                    return(int_optimize(sc, set_plist_1(sc, s7_macroexpand(sc, s_func, cdar(expr)))));
                            }}}
                    return(return_false(sc, car_x, __func__, __LINE__));
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%r14), %r15
movzbl (%r15), %eax
cmpl $0x1, %eax
jne 0x7ea1e
movq 0x8(%r15), %r13
cmpb $0xa, (%r13)
jne 0x7f938
movq %rbx, %rdi
movq %r15, %rsi
callq 0x2dada
movq %rax, %rbp
cmpw $0x20a, (%r13)          # imm = 0x20A
je 0x7ea4e
cmpw $0x201, (%r15)          # imm = 0x201
je 0x7ea4e
movq 0x10(%r13), %r12
testb $0x1, 0x2(%r13)
jne 0x7e9d4
cmpb $0x20, (%r12)
jne 0x7eb91
movq %rbx, %rdi
movq %r13, %rsi
callq 0xb00b
cmpq %r12, %rax
jne 0x7eb91
movq 0x10(%r12), %r12
movb (%r12), %al
cmpb $0x2f, %al
ja 0x7ec9f
cmpb $0x2a, %al
jne 0x7f938
testb $0x4, 0x3(%r14)
jne 0x7f938
movq 0x10(%r15), %rdx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x7e1ac
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %r14
jmp 0x7e963
cmpl $0xb, %eax
jne 0x7eb48
movq %rbx, %rdi
callq 0x7df55
movq 0x8(%r15), %rcx
movq %rcx, 0x8(%rax)
leaq 0x1729(%rip), %rcx      # 0x80167
movq %rcx, (%rax)
movq $0x2, 0x60(%rax)
jmp 0x7eb8a
xorl %eax, %eax
cmpl $0x3, %ebp
jne 0x7f93a
cmpq 0x18d8(%rbx), %r13
jne 0x7f93a
movq %rbx, %rdi
callq 0x7df55
movq %rax, %r14
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
movzbl (%rsi), %ecx
cmpl $0x1, %ecx
je 0x7ecf7
cmpl $0xa, %ecx
jne 0x7f938
movzwl 0x2(%rsi), %eax
testw $0x104, %ax             # imm = 0x104
jne 0x7f938
movq %rbx, %rdi
callq 0xb00b
cmpb $0x20, (%rax)
jne 0x7f938
testb $0x1, 0x3(%rax)
jne 0x7f938
movq %rax, 0x8(%r14)
movq 0x10(%rax), %rax
cmpb $0xb, (%rax)
jne 0x7f938
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x7f938
movl 0x2258(%rbx), %eax
cmpl $0x2, %eax
jl 0x7eb12
leal -0x2(%rax), %ecx
cmpq %r14, 0x2260(%rbx,%rcx,8)
jne 0x7eb12
decl %eax
movq 0x2260(%rbx,%rax,8), %rax
leaq 0x1949(%rip), %rcx      # 0x80452
cmpq %rcx, (%rax)
je 0x7fa1b
movq 0x8(%r14), %rax
movq 0x10(%rax), %rax
btl $0x1a, (%rax)
leaq 0x1685(%rip), %rax      # 0x801aa
leaq 0x164d(%rip), %rcx      # 0x80179
cmovaeq %rax, %rcx
movq %rcx, (%r14)
movabsq $0x100000002, %rax      # imm = 0x100000002
movq %rax, 0x60(%r14)
andl $0x0, 0x70(%r14)
jmp 0x7eb8a
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7e6b7
testq %rax, %rax
je 0x7f938
movq %rax, %r14
movq %rbx, %rdi
callq 0x7df55
movq %r14, 0x8(%rax)
leaq 0x15fa(%rip), %rcx      # 0x8016c
movq %rcx, (%rax)
movabsq $0x100000002, %rcx      # imm = 0x100000002
movq %rcx, 0x60(%rax)
movl $0x1, 0x70(%rax)
movb $0x1, %al
jmp 0x7f93a
movq %rbx, %rdi
movq %r13, %rsi
callq 0xb00b
cmpb $0x20, (%rax)
jne 0x7f938
movq %rax, %r14
movq 0x10(%rax), %rax
movzbl (%rax), %r13d
cmpl $0x18, %r13d
je 0x7ebc0
cmpl $0x16, %r13d
jne 0x7f938
cmpl $0x3, %ebp
je 0x7ee59
cmpl $0x2, %ebp
jne 0x7f938
movq 0x18(%rax), %rax
movq 0x20(%rax), %rax
testq %rax, %rax
je 0x7ebea
cmpq $0x1, 0x10(%rax)
jne 0x7f938
movq %rbx, %rdi
callq 0x7df55
movq %rax, %r12
movq %r14, 0x8(%rax)
movq 0x10(%r15), %r15
movq 0x8(%r15), %rsi
movq %rbx, %rdi
callq 0x7e6b7
testq %rax, %rax
je 0x7f193
cmpb $0x16, %r13b
leaq 0x1c6c(%rip), %rcx      # 0x80889
movq %rcx, (%r12)
leaq -0x16ee8(%rip), %rcx    # 0x67d40
leaq -0x16b24(%rip), %rdx    # 0x6810b
cmoveq %rcx, %rdx
movq %rdx, 0x18(%r12)
movq %rax, 0x10(%r12)
testb $0x4, 0x3(%rax)
je 0x7ec70
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%r14), %rcx
cmpq 0x8(%rcx), %rax
jg 0x7ec70
cmpb $0x16, %r13b
leaq 0x1c4a(%rip), %rax      # 0x808aa
leaq 0x1c4c(%rip), %rcx      # 0x808b3
cmoveq %rax, %rcx
movq %rcx, 0x18(%r12)
cmpb $0x16, %r13b
pushq $0x4
popq %rax
pushq $0xa
popq %rcx
cmovel %eax, %ecx
movabsq $0x200000004, %rax      # imm = 0x200000004
movq %rax, 0x60(%r12)
movl %ecx, 0x70(%r12)
movl $0x1, 0x74(%r12)
jmp 0x7eb8a
movq %rbx, %rdi
callq 0x7df55
movq %rax, %r14
addq $-0x2, %rbp
cmpq $0x3, %rbp
ja 0x7ede4
leaq 0x55671(%rip), %rax     # 0xd4330
movslq (%rax,%rbp,4), %rcx
addq %rax, %rcx
jmpq *%rcx
movl 0x2258(%rbx), %eax
movl %eax, 0x10(%rsp)
movslq %eax, %rbp
movq %r12, %rdi
callq 0x367f4
movq %rax, %r13
testq %rax, %rax
je 0x7ef40
movq %r14, %rdx
movq %rbp, %r14
movq %r13, %rax
jmp 0x7ef57
movq 0x8(%rsi), %rcx
cmpb $0xa, (%rcx)
jne 0x7f938
movq 0x10(%rsi), %r8
cmpb $0x1, (%r8)
jne 0x7f938
movq 0x10(%r8), %r9
movq 0x110(%rbx), %rdx
cmpq %rdx, %r9
je 0x7f12a
cmpq %rdx, 0x10(%r9)
jne 0x7f938
movq 0x10(%rax), %rax
movq %rax, (%rsp)
pushq $0xd
popq %rsi
movq %rbx, %rdi
movq %r14, %rdx
jmp 0x7f13e
movq %r12, %rdi
callq 0x36835
testq %rax, %rax
je 0x7ef21
movq %rax, %r13
movl 0x2258(%rbx), %ebp
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x7ef1b
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x7ef1b
movq 0x10(%r15), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x7ef1b
movq %r13, 0x18(%r14)
leaq 0x141c4(%rip), %rax     # 0x92f77
movq %rax, (%r14)
jmp 0x7f06b
movl 0x2258(%rbx), %ebp
movq %rbx, %rdi
movq %r14, %rsi
movq %r12, %rdx
movq %r15, %rcx
callq 0x8008c
movl %eax, %ecx
movb $0x1, %al
testb %cl, %cl
jne 0x7f93a
movl %ebp, 0x2258(%rbx)
cmpq 0xba8(%rbx), %r13
je 0x7edfa
cmpq 0x1358(%rbx), %r13
jne 0x7f938
movl 0x2258(%rbx), %ebp
movq 0x8(%r15), %r12
xorl %r13d, %r13d
movq 0x10(%r15), %r15
cmpb $0x1, (%r15)
jne 0x7ee41
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7e94f
testb %al, %al
je 0x7ee41
incq %r13
jmp 0x7ee07
movq %r12, %rdi
callq 0x36807
movq %rax, %r13
testq %rax, %rax
je 0x7efe6
movq %r13, %rbp
jmp 0x7effd
cmpq 0x110(%rbx), %r15
je 0x7f078
movl %ebp, 0x2258(%rbx)
jmp 0x7f938
movq 0x18(%rax), %rax
movq 0x20(%rax), %rax
testq %rax, %rax
je 0x7f938
cmpq $0x2, 0x10(%rax)
jne 0x7f938
movq %rbx, %rdi
callq 0x7df55
movq %rax, %r12
movq %r14, 0x8(%rax)
movq 0x10(%r15), %r14
movq 0x8(%r14), %rsi
movq %rbx, %rdi
callq 0x7e6b7
testq %rax, %rax
je 0x7f44d
movq %rax, 0x10(%r12)
movq 0x10(%r15), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq 0x7e6b7
testq %rax, %rax
je 0x7f938
cmpb $0x16, %r13b
leaq -0x1711f(%rip), %rcx    # 0x67dab
leaq -0x16d66(%rip), %rdx    # 0x6816b
cmoveq %rcx, %rdx
movq %rdx, 0x20(%r12)
movq %rax, 0x18(%r12)
leaq 0x1a1c(%rip), %rax      # 0x80902
movq %rax, (%r12)
pushq $0x4
popq %rax
pushq $0xa
popq %rcx
cmovel %eax, %ecx
movl %ecx, 0x70(%r12)
movabsq $0x100000001, %rax      # imm = 0x100000001
movq %rax, 0x74(%r12)
movabsq $0x300000005, %rax      # imm = 0x300000005
movq %rax, 0x60(%r12)
jmp 0x7eb8a
movl %ebp, 0x2258(%rbx)
movq %rbx, %rdi
movq %r14, %rsi
movq %r12, %rdx
movq %r15, %rcx
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x7fe6a
movq %r12, %rdi
callq 0x80930
testq %rax, %rax
je 0x7f362
movq %r14, %rdx
movq %rbp, %r14
movq %rax, 0x10(%rdx)
movq 0x10(%r15), %rbp
movq 0x8(%rbp), %rsi
cmpb $0xb, (%rsi)
jne 0x7ef95
testq %r13, %r13
leaq 0x19d0(%rip), %rax      # 0x80942
leaq 0x19bf(%rip), %rcx      # 0x80938
cmoveq %rax, %rcx
movq 0x8(%rsi), %rax
movq %rax, 0x8(%rdx)
movq %rcx, (%rdx)
movq $0x3, 0x60(%rdx)
jmp 0x7eb8a
movq %rdx, 0x18(%rsp)
movq %rbx, %rdi
callq 0x7e6b7
testq %rax, %rax
je 0x7f148
testq %r13, %r13
movq 0x18(%rsp), %rdx
movq %rax, 0x8(%rdx)
leaq 0x19a4(%rip), %rax      # 0x80962
leaq 0x198b(%rip), %rcx      # 0x80950
cmoveq %rax, %rcx
movq %rcx, (%rdx)
movabsq $0x100000003, %rax      # imm = 0x100000003
movq %rax, 0x60(%rdx)
movl $0x1, 0x70(%rdx)
jmp 0x7eb8a
pushq $0x14
popq %rsi
movq %r12, %rdi
callq 0x366a7
testq %rax, %rax
je 0x7f632
movq %rax, %rbp
movq 0x8(%r12), %rax
movq 0x38(%rax), %rax
cmpb $0x1, (%rax)
jne 0x7f632
movl 0x2258(%rbx), %edx
movslq %edx, %rcx
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rax
movq 0x8(%rax), %r8
movq %rbp, 0x18(%r14)
movq $0x4, 0x60(%r14)
cmpb $0xb, (%rsi)
jne 0x7f0b7
movq 0x8(%rsi), %rax
movq %rax, 0x8(%r14)
cmpb $0xb, (%r8)
jne 0x7f1ee
testq %r13, %r13
leaq 0x13a5a(%rip), %rax     # 0x92aaf
leaq 0x13a42(%rip), %rcx     # 0x92a9e
cmoveq %rax, %rcx
movq 0x8(%r8), %rax
movq %rax, 0x10(%r14)
movq %rcx, (%r14)
movq $0x4, 0x60(%r14)
jmp 0x7eb8a
movq %r13, 0x8(%r14)
movq 0xba8(%rbx), %rax
cmpl $0x4, %r13d
je 0x7f251
cmpl $0x3, %r13d
je 0x7f23e
cmpl $0x2, %r13d
jne 0x7f264
cmpq %rax, %r12
leaq 0x13f58(%rip), %rcx     # 0x93003
leaq 0x13f9f(%rip), %rax     # 0x93051
jmp 0x7f275
movq %r8, 0x10(%rsp)
movl %edx, 0x18(%rsp)
movq %rcx, 0x20(%rsp)
movq %rbx, %rdi
callq 0x7e6b7
testq %rax, %rax
je 0x7f289
movq %rax, 0x8(%r14)
movq 0x10(%rsp), %rsi
cmpb $0xb, (%rsi)
jne 0x7f3ee
movq 0x8(%rsi), %rax
movq %rax, 0x10(%r14)
testq %r13, %r13
je 0x7f5e2
leaq -0x125f6(%rip), %rcx    # 0x6cb0a
cmpq %rcx, %rbp
je 0x7f7de
leaq -0x125f9(%rip), %rcx    # 0x6cb17
cmpq %rcx, %rbp
leaq 0x78e1(%rip), %rdx      # 0x869fb
leaq 0x78c4(%rip), %rcx      # 0x869e5
cmoveq %rdx, %rcx
jmp 0x7f7e5
movq 0x10(%rax), %rax
movq %rax, (%rsp)
pushq $0xd
popq %rsi
movq %rbx, %rdi
movq %r14, %rdx
xorl %r9d, %r9d
callq 0x80239
jmp 0x7f93a
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x7e94f
testb %al, %al
je 0x7f350
testq %r13, %r13
je 0x7f5a7
leaq 0x180d(%rip), %rax      # 0x80978
movq 0x18(%rsp), %rcx
movq %rax, (%rcx)
movq 0x2260(%rbx,%r14,8), %rax
movq %rax, 0x18(%rcx)
movq (%rax), %rax
movq %rax, 0x20(%rcx)
movq $0x5, 0x60(%rcx)
jmp 0x7eb8a
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7e94f
testb %al, %al
je 0x7f938
cmpb $0x16, %r13b
leaq 0x170b(%rip), %rax      # 0x808bc
movq %rax, (%r12)
leaq -0x1747c(%rip), %rax    # 0x67d40
leaq -0x170b8(%rip), %rcx    # 0x6810b
cmoveq %rax, %rcx
movq %rcx, 0x18(%r12)
pushq $0x4
popq %rax
pushq $0xa
popq %rcx
cmovel %eax, %ecx
movabsq $0x100000004, %rax      # imm = 0x100000004
movq %rax, 0x60(%r12)
movl %ecx, 0x70(%r12)
jmp 0x7eb8a
movl %edx, 0x18(%rsp)
movq %rcx, 0x20(%rsp)
movq %rbx, %rdi
movq %r8, %rsi
callq 0x7e6b7
testq %rax, %rax
je 0x7f4b6
leaq -0x126ea(%rip), %rcx    # 0x6cb28
cmpq %rcx, %rbp
leaq 0x138a8(%rip), %rcx     # 0x92ac4
leaq 0x138b3(%rip), %rdx     # 0x92ad6
cmoveq %rcx, %rdx
testq %r13, %r13
movq %rax, 0x10(%r14)
leaq 0x138ba(%rip), %rax     # 0x92aef
cmovneq %rdx, %rax
jmp 0x7f977
cmpq %rax, %r12
leaq 0x13e58(%rip), %rcx     # 0x930a0
leaq 0x13ec0(%rip), %rax     # 0x9310f
jmp 0x7f275
cmpq %rax, %r12
leaq 0x13f25(%rip), %rcx     # 0x93180
leaq 0x13faf(%rip), %rax     # 0x93211
jmp 0x7f275
cmpq %rax, %r12
leaq 0x14037(%rip), %rcx     # 0x932a5
leaq 0x14074(%rip), %rax     # 0x932e9
cmoveq %rcx, %rax
movq %rax, (%r14)
movq $0x2, 0x60(%r14)
jmp 0x7eb8a
movq 0x10(%rsp), %rax
cmpb $0xb, (%rax)
jne 0x7f55e
movq 0x8(%rax), %rax
movq %rax, 0x10(%r14)
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x7f628
movl 0x2258(%rbx), %eax
cmpl $0x2, %eax
jl 0x7f73a
leal -0x2(%rax), %ecx
cmpq %r14, 0x2260(%rbx,%rcx,8)
jne 0x7f73a
decl %eax
movq 0x2260(%rbx,%rax,8), %rax
movq (%rax), %rcx
leaq 0x15a2(%rip), %rdx      # 0x80889
cmpq %rdx, %rcx
setne %dl
leaq 0x13b6e(%rip), %rsi     # 0x92e62
cmpq %rsi, %rcx
setne %cl
testb %cl, %dl
jne 0x7f73a
movq 0x10(%r14), %rcx
movq %rcx, 0x28(%r14)
movq 0x18(%rax), %rcx
movq %rcx, 0x20(%r14)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%r14)
movq 0x10(%rax), %rax
movq %r14, %rdx
movq %rax, 0x10(%r14)
testq %r13, %r13
je 0x7fa7b
leaq -0x1282b(%rip), %rax    # 0x6cb0a
cmpq %rax, 0x18(%rdx)
leaq 0x13b3f(%rip), %rcx     # 0x92e7f
leaq 0x13b5d(%rip), %rax     # 0x92ea4
cmoveq %rcx, %rax
jmp 0x7fa82
movl 0x10(%rsp), %eax
movl %eax, 0x2258(%rbx)
movq %r14, %rbp
movq 0x18(%rsp), %r14
movq %r12, %rdi
callq 0x3681a
testq %rax, %rax
je 0x7f88a
movq %rax, 0x10(%r14)
movq 0x10(%r15), %r13
movq 0x8(%r13), %rsi
movzbl (%rsi), %eax
leaq 0x9a627(%rip), %rcx     # 0x1199b0
cmpb $0x1, (%rax,%rcx)
jne 0x7f3b4
movq %rbx, %rdi
callq 0xc3cd
movsd %xmm0, 0x8(%r14)
leaq 0x1632(%rip), %rax      # 0x809d6
movq %rax, (%r14)
movq $0x3, 0x60(%r14)
jmp 0x7eb8a
movq %rbx, %rdi
callq 0x7e6e4
testq %rax, %rax
je 0x7f5c3
movq %rax, 0x8(%r14)
leaq 0x1618(%rip), %rax      # 0x809e8
movq %rax, (%r14)
movabsq $0x100000003, %rax      # imm = 0x100000003
movq %rax, 0x60(%r14)
movl $0x2, 0x70(%r14)
jmp 0x7eb8a
movq %rbx, %rdi
callq 0x7e6b7
testq %rax, %rax
je 0x7f5ee
leaq -0x128fc(%rip), %rcx    # 0x6cb0a
cmpq %rcx, %rbp
leaq 0x6548(%rip), %rcx      # 0x85958
leaq 0x74a5(%rip), %rdx      # 0x868bc
cmoveq %rcx, %rdx
testq %r13, %r13
movq %rax, 0x10(%r14)
leaq 0x137ed(%rip), %rax     # 0x92c16
cmovneq %rdx, %rax
movq %rax, (%r14)
movabsq $0x200000004, %rax      # imm = 0x200000004
movq %rax, 0x60(%r14)
movabsq $0x100000001, %rax      # imm = 0x100000001
jmp 0x7f731
movq %rbx, %rdi
movq %r14, %rsi
callq 0x7e94f
testb %al, %al
je 0x7f938
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x7f938
cmpb $0x16, %r13b
leaq -0x176d8(%rip), %rax    # 0x67dab
leaq -0x1731f(%rip), %rcx    # 0x6816b
cmoveq %rax, %rcx
movq %rcx, 0x18(%r12)
leaq 0x10d4(%rip), %rax      # 0x8056e
movq %rax, (%r12)
pushq $0x4
popq %rax
pushq $0xa
popq %rcx
cmovel %eax, %ecx
movabsq $0x100000005, %rax      # imm = 0x100000005
jmp 0x7f1df
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x7f628
testq %r13, %r13
je 0x7f995
leaq 0x1362e(%rip), %rax     # 0x92b0c
movq %rax, (%r14)
leaq -0x129de(%rip), %rax    # 0x6cb0a
cmpq %rax, %r13
jne 0x7f06b
movslq 0x2258(%rbx), %rax
cmpq %r14, 0x2250(%rbx,%rax,8)
jne 0x7f06b
movq 0x20(%rsp), %rax
movq 0x2260(%rbx,%rax,8), %rax
leaq 0x1428(%rip), %rcx      # 0x80942
cmpq %rcx, (%rax)
jne 0x7f06b
leaq -0x137a8(%rip), %rcx    # 0x6bd82
cmpq %rcx, 0x10(%rax)
jne 0x7f06b
leaq 0x13611(%rip), %rax     # 0x92b4c
movq %rax, (%r14)
movq 0x20(%rsp), %rax
movq 0x2260(%rbx,%rax,8), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%r14)
decl 0x2258(%rbx)
jmp 0x7f06b
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x7f628
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x7f628
testq %r13, %r13
leaq 0x13870(%rip), %rax     # 0x92e04
leaq 0x1380e(%rip), %rcx     # 0x92da9
cmoveq %rax, %rcx
movq %rcx, (%r14)
jmp 0x7eb8a
leaq 0x13ec(%rip), %rax      # 0x8099a
movq 0x18(%rsp), %rcx
movq %rax, (%rcx)
movq $0x3, 0x60(%rcx)
jmp 0x7eb8a
movq %rbx, %rdi
movq %r13, %rsi
callq 0x36881
testb %al, %al
je 0x7f880
leaq 0x1422(%rip), %rax      # 0x809ff
jmp 0x7f3a4
leaq 0x135de(%rip), %rcx     # 0x92bc7
jmp 0x7f7e5
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x7f628
testq %r13, %r13
je 0x7f9aa
leaq -0x12b08(%rip), %rax    # 0x6cb0a
cmpq %rax, 0x18(%r14)
je 0x7fa4a
leaq 0x1363e(%rip), %rax     # 0x92c61
jmp 0x7f977
movl 0x18(%rsp), %eax
movl %eax, 0x2258(%rbx)
pushq $0x16
popq %rsi
movq %r12, %rdi
callq 0x366a7
testq %rax, %rax
je 0x7f938
movq %rax, %r13
movq 0x8(%r12), %rax
movq 0x38(%rax), %rax
cmpb $0x1, (%rax)
jne 0x7f938
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
cmpb $0xa, (%rsi)
jne 0x7f938
movq 0x10(%r15), %rax
movq 0x8(%rax), %rdx
cmpb $0xa, (%rdx)
jne 0x7f938
movl 0x2258(%rbx), %ecx
movl %ecx, 0x10(%rsp)
movq 0x10(%rax), %rax
movq 0x8(%rax), %rbp
movq %rbx, %rdi
callq 0x92f1b
testq %rax, %rax
je 0x7f938
movq %rax, %r12
movq %rax, 0x8(%r14)
movq 0x8(%r15), %rax
cmpq 0xfa8(%rbx), %rax
je 0x7f8d9
movq %r13, 0x18(%r14)
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x7e6b7
testq %rax, %rax
je 0x7f901
movq %rax, 0x10(%r14)
leaq 0x11ae(%rip), %rcx      # 0x80889
movq %rcx, (%r14)
movq 0x8(%r15), %rcx
cmpq 0xfa8(%rbx), %rcx
jne 0x7f719
testb $0x4, 0x3(%rax)
je 0x7f719
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%r12), %rcx
cmpq 0x8(%rcx), %rax
jg 0x7f719
leaq 0x13757(%rip), %rax     # 0x92e62
movq %rax, (%r14)
leaq 0x1195(%rip), %rax      # 0x808aa
movq %rax, 0x18(%r14)
movabsq $0x200000004, %rax      # imm = 0x200000004
movq %rax, 0x60(%r14)
movabsq $0x100000000, %rax      # imm = 0x100000000
movq %rax, 0x70(%r14)
jmp 0x7eb8a
testq %r13, %r13
je 0x7f9a1
movq 0x18(%r14), %rax
leaq -0x12c44(%rip), %rcx    # 0x6cb0a
cmpq %rcx, %rax
je 0x7f9b3
leaq 0x13595(%rip), %rcx     # 0x92cf3
movq %rcx, (%r14)
leaq -0x12c51(%rip), %rcx    # 0x6cb17
cmpq %rcx, %rax
jne 0x7f9bd
movslq 0x2258(%rbx), %rax
cmpq %r14, 0x2250(%rbx,%rax,8)
jne 0x7f9bd
movq 0x20(%rsp), %rax
movq 0x2260(%rbx,%rax,8), %rax
leaq 0x11a8(%rip), %rcx      # 0x80942
cmpq %rcx, (%rax)
jne 0x7f9bd
leaq -0x13a28(%rip), %rcx    # 0x6bd82
cmpq %rcx, 0x10(%rax)
jne 0x7f9bd
leaq 0x13575(%rip), %rax     # 0x92d30
movq %rax, (%r14)
movq 0x20(%rsp), %rax
movq 0x2260(%rbx,%rax,8), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%r14)
decl 0x2258(%rbx)
jmp 0x7f9bd
leaq 0xc6d(%rip), %rcx       # 0x80452
movq %rcx, (%r14)
movq 0x8(%r15), %rcx
cmpq 0x1350(%rbx), %rcx
jne 0x7f80c
cmpq $0x2, 0x8(%rsi)
jl 0x7f80c
leaq 0x8e29(%rip), %rax      # 0x8862c
movq %rax, 0x18(%r14)
jmp 0x7f97a
cmpq 0xbd8(%rbx), %rcx
je 0x7f854
testq %rax, %rax
jle 0x7f97a
leaq -0x13a75(%rip), %rcx    # 0x6bdb0
cmpq %rcx, %rbp
je 0x7f949
cmpq $0x1, %rax
je 0x7f97a
leaq -0x13a8a(%rip), %rax    # 0x6bdb5
cmpq %rax, %rbp
jne 0x7f97a
leaq 0x133bb(%rip), %rax     # 0x92c0a
jmp 0x7f950
testq %rax, %rax
js 0x7f956
cmpq $0x3e, %rax
ja 0x7f97a
testb $0x1, 0x9a3f2(%rip)     # 0x119c60
je 0x7f97a
leaq 0x1337c(%rip), %rax     # 0x92bf7
jmp 0x7f950
movl 0x10(%rsp), %eax
movl %eax, 0x2258(%rbx)
movq %r12, %rdi
callq 0x367bb
testq %rax, %rax
je 0x7f938
movq %rax, 0x10(%r14)
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x80a38
testb %al, %al
je 0x7f92e
leaq 0x5fb0(%rip), %rax      # 0x85866
movq %rax, (%r14)
movq 0x2260(%rbx,%rbp,8), %rax
movq %rax, 0x18(%r14)
movq (%rax), %rax
movq %rax, 0x20(%r14)
movq $0x5, 0x60(%r14)
jmp 0x7eb8a
movq 0x10(%r12), %rax
cmpb $0x16, (%rax)
jne 0x7f938
movq 0x18(%rax), %rax
movq 0x20(%rax), %rax
testq %rax, %rax
je 0x7f6b8
cmpq $0x1, 0x10(%rax)
jle 0x7f6b8
jmp 0x7f938
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
movq %rbx, %rdi
callq 0x7e94f
testb %al, %al
je 0x7f92e
leaq 0xfa0(%rip), %rax       # 0x808bc
movq %rax, (%r14)
movabsq $0x100000004, %rax      # imm = 0x100000004
jmp 0x7eb3d
movl 0x10(%rsp), %eax
movl %eax, 0x2258(%rbx)
xorl %eax, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x132b1(%rip), %rax     # 0x92c01
movq %rax, 0x18(%r14)
jmp 0x7f970
cmpq $-0x1, %rax
leaq 0x13283(%rip), %rax     # 0x92be4
leaq 0x13283(%rip), %rcx     # 0x92beb
cmoveq %rax, %rcx
movq %rcx, 0x18(%r14)
leaq 0x706e(%rip), %rax      # 0x869e5
movq %rax, (%r14)
movabsq $0x100000004, %rax      # imm = 0x100000004
movq %rax, 0x60(%r14)
movl $0x1, 0x70(%r14)
jmp 0x7eb8a
leaq 0x131e9(%rip), %rax     # 0x92b85
jmp 0x7edb3
leaq 0x133c1(%rip), %rax     # 0x92d69
jmp 0x7f9ba
leaq 0x132f8(%rip), %rax     # 0x92ca9
jmp 0x7f977
leaq 0x6032(%rip), %rax      # 0x859ec
movq %rax, (%r14)
movq 0x10(%r14), %rcx
movb $0x1, %al
testq %rcx, %rcx
jle 0x7f93a
movq 0x18(%r14), %rdx
leaq -0x13c27(%rip), %rsi    # 0x6bdb0
cmpq %rsi, %rdx
je 0x7fa01
cmpq $0x1, %rcx
sete %cl
leaq -0x13c35(%rip), %rsi    # 0x6bdb5
cmpq %rsi, %rdx
setne %dl
orb %cl, %dl
jne 0x7f93a
leaq 0x1320b(%rip), %rcx     # 0x92c0a
jmp 0x7fa08
leaq 0x131f9(%rip), %rcx     # 0x92c01
movq %rcx, 0x18(%r14)
leaq 0x132e0(%rip), %rcx     # 0x92cf3
movq %rcx, (%r14)
jmp 0x7f93a
movq 0x8(%rax), %rcx
movq %rcx, 0x18(%r14)
movq 0x10(%rax), %rax
movq %rax, 0x10(%r14)
leaq 0xa31(%rip), %rax       # 0x80463
movq %rax, (%r14)
decl 0x2258(%rbx)
movabsq $0x200000005, %rax      # imm = 0x200000005
jmp 0x7f43a
leaq 0x131ea(%rip), %rax     # 0x92c3b
movq %rax, (%r14)
movq 0x20(%rsp), %rax
movq 0x2260(%rbx,%rax,8), %rax
movq %rax, 0x20(%r14)
movq (%rax), %rax
movq %rax, 0x28(%r14)
movabsq $0x100000006, %rax      # imm = 0x100000006
jmp 0x7f984
leaq 0x1345b(%rip), %rax     # 0x92edd
movq %rax, (%rdx)
decl 0x2258(%rbx)
movabsq $0x200000006, %rax      # imm = 0x200000006
movq %rax, 0x60(%rdx)
movabsq $0x100000000, %rax      # imm = 0x100000000
movq %rax, 0x70(%rdx)
jmp 0x7eb8a