// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: pair_to_port
static void pair_to_port(s7_scheme *sc, s7_pointer lst, s7_pointer port, use_write_t use_write, shared_info *ci)
    {
        /* we need list_to_starboard... (making port_write_string|character local was noticeably slower) */
        s7_pointer x;
        s7_int i, len, true_len;

        true_len = s7_list_length(sc, lst);
        if (true_len < 0)                    /* a dotted list -- handle cars, then final cdr */
            len = (-true_len + 1);
        else
        {
            if (true_len == 0)               /* circular list (nil is handled by unique_to_port) */
                len = circular_list_entries(lst);
            else len = true_len;
        }

        if ((use_write == P_READABLE) &&
                (ci))
        {
            int32_t href;
            href = peek_shared_ref(ci, lst);
            if (href != 0)
            {
                if (href < 0) href = -href;
                if ((ci->defined[href]) || (port == ci->cycle_port))
                {
                    char buf[128];
                    int32_t plen;
                    plen = catstrs_direct(buf, "<", pos_int_to_str_direct(sc, href), ">", NULL);
                    port_write_string(port)(sc, buf, plen, port);
                    return;
                }
            }
        }

        if ((use_write != P_READABLE) &&
                (car(lst) == sc->quote_symbol) &&
                (true_len == 2))
        {
            /* len == 1 is important, otherwise (list 'quote 1 2) -> '1 2 which looks weird
             *   or (object->string (apply . `''1)) -> "'quote 1"
             * so (quote x) = 'x but (quote x y z) should be left alone (if evaluated, it's an error)
             * :readable is tricky because the list might be something like (list 'quote (lambda () #f)) which needs to be evalable back to its original
             */
            port_write_character(port)(sc, '\'', port);
            object_to_port_with_circle_check(sc, cadr(lst), port, P_WRITE, ci);
            return;
        }

        port_write_character(port)(sc, '(', port);
        if (is_multiple_value(lst))
            port_write_string(port)(sc, "values ", 7, port);

        check_stack_size(sc);
        push_stack_no_let_no_code(sc, OP_GC_PROTECT, lst);
        /* (define (f) (display (make-list 1001 (mock-string #\h #\o #\h #\o))) (newline)) (do ((i 0 (+ i 1))) ((= i 1000)) (f)) */

        if (use_write == P_READABLE)
        {
            if (!is_cyclic(lst))
            {
                simple_list_readable_display(sc, lst, true_len, len, port, ci);
                unstack(sc);
                return;
            }
            if (ci)
            {
                int32_t plen;
                char buf[128], lst_name[128];
                int32_t lst_ref;
                bool lst_local = false;
                s7_pointer local_port;

                lst_ref = peek_shared_ref(ci, lst);
                if (lst_ref == 0)
                {
                    s7_pointer p;
                    for (p = lst; is_pair(p); p = cdr(p))
                        if ((has_structure(car(p))) ||
                                ((is_pair(cdr(p))) &&
                                 (peek_shared_ref(ci, cdr(p)) != 0)))
                        {
                            lst_name[0] = '<'; lst_name[1] = 'L'; lst_name[2] = '>'; lst_name[3] = '\0';
                            lst_local = true;
                            port_write_string(port)(sc, "let ((<L> (list", 15, port); /* '(' above */
                            break;
                        }
                    if ((!lst_local) && (!is_null(p)))
                    {
                        if (has_structure(p))
                        {
                            lst_name[0] = '<'; lst_name[1] = 'L'; lst_name[2] = '>'; lst_name[3] = '\0';
                            lst_local = true;
                            port_write_string(port)(sc, "let ((<L> (list", 15, port); /* '(' above */
                        }
                    }
                    if (!lst_local)
                    {
                        simple_list_readable_display(sc, lst, true_len, len, port, ci);
                        unstack(sc);
                        return;
                    }
                }
                else
                {
                    if (lst_ref < 0) lst_ref = -lst_ref;
                    catstrs_direct(lst_name, "<", pos_int_to_str_direct(sc, lst_ref), ">", NULL);
                    port_write_string(port)(sc, "list", 4, port); /* '(' above */
                }

                for (i = 0, x = lst; (i < len) && (is_pair(x)); x = cdr(x), i++)
                {
                    if ((has_structure(car(x))) &&
                            (is_cyclic(car(x))))
                        port_write_string(port)(sc, " #f", 3, port);
                    else
                    {
                        port_write_character(port)(sc, ' ', port);
                        object_to_port_with_circle_check(sc, car(x), port, use_write, ci);
                    }
                    if ((is_pair(cdr(x))) &&
                            (peek_shared_ref(ci, cdr(x)) != 0))
                        break;
                }

                if (lst_local)
                    port_write_string(port)(sc, ")))\n", 4, port);
                else port_write_character(port)(sc, ')', port);

                /* fill in the cyclic entries */
                local_port = ((lst_local) || (ci->cycle_port == sc->F)) ? port : ci->cycle_port; /* (object->string (list-values `(x . 1) (signature (int-vector))) :readable) */
                for (x = lst, i = 0; (i < len) && (is_pair(x)); x = cdr(x), i++)
                {
                    int32_t lref;
                    if ((has_structure(car(x))) &&
                            (is_cyclic(car(x))))
                    {
                        if (i == 0)
                            plen = catstrs_direct(buf, "  (set-car! ", lst_name, " ", NULL);
                        else plen = catstrs_direct(buf, "  (set! (", lst_name, " ", pos_int_to_str_direct(sc, i), ") ", NULL);
                        port_write_string(local_port)(sc, buf, plen, local_port);
                        lref = peek_shared_ref(ci, car(x));
                        if (lref == 0)
                            object_to_port_with_circle_check(sc, car(x), local_port, use_write, ci);
                        else
                        {
                            if (lref < 0) lref = -lref;
                            plen = catstrs_direct(buf, "<", pos_int_to_str_direct(sc, lref), ">", NULL);
                            port_write_string(local_port)(sc, buf, plen, local_port);
                        }
                        port_write_string(local_port)(sc, ")\n", 2, local_port);
                    }
                    if ((is_pair(cdr(x))) &&
                            ((lref = peek_shared_ref(ci, cdr(x))) != 0))
                    {
                        if (lref < 0) lref = -lref;
                        if (i == 0)
                            plen = catstrs_direct(buf, (lst_local) ? "    " : "  ", "(set-cdr! ", lst_name, " <", pos_int_to_str_direct(sc, lref), ">)\n", NULL);
                        else
                        {
                            if (i == 1)
                                plen = catstrs_direct(buf, (lst_local) ? "    " : "  ", "(set-cdr! (cdr ", lst_name, ") <", pos_int_to_str_direct(sc, lref), ">)\n", NULL);
                            else plen = catstrs_direct(buf, (lst_local) ? "    " : "  ",
                                    "(set-cdr! (list-tail ", lst_name, " ", pos_int_to_str_direct_1(sc, i),
                                    ") <", pos_int_to_str_direct(sc, lref), ">)\n", NULL);
                        }
                        port_write_string(local_port)(sc, buf, plen, local_port);
                        break;
                    }
                }
                if (true_len < 0) /* dotted list */
                {
                    s7_pointer end_x;
                    for (end_x = lst; is_pair(end_x); end_x = cdr(end_x)); /* or maybe faster, start at x? */
                    /* we can't depend on the loops above to set x to the last element because they sometimes break out */
                    if (true_len == -1) /* cons cell */
                        plen = catstrs_direct(buf, (lst_local) ? "    " : "  ", "(set-cdr! ", lst_name, " ", NULL);
                    else
                    {
                        if (true_len == -2)
                            plen = catstrs_direct(buf, (lst_local) ? "    " : "  ", "(set-cdr! (cdr ", lst_name, ") ", NULL);
                        else plen = catstrs_direct(buf, "(set-cdr! (list-tail ", lst_name, " ", pos_int_to_str_direct(sc, len - 2), ") ", NULL);
                    }
                    port_write_string(local_port)(sc, buf, plen, local_port);
                    object_to_port_with_circle_check(sc, end_x, local_port, use_write, ci);
                    port_write_string(local_port)(sc, ")\n", 2, local_port);
                }

                if (lst_local)
                    port_write_string(local_port)(sc, "    <L>)", 8, local_port);
            }
            else simple_list_readable_display(sc, lst, true_len, len, port, ci);
        }
        else /* not :readable */
        {
            s7_int plen;
            plen = (len > sc->print_length) ? sc->print_length : len;
            if (plen <= 0)
            {
                port_write_string(port)(sc, "(...))", 6, port); /* open paren above about 150 lines, "list" here is wrong if it's a cons */
                unstack(sc);
                return;
            }

            if (ci)
            {
                for (x = lst, i = 0; (is_pair(x)) && (i < plen) && ((i == 0) || (peek_shared_ref(ci, x) == 0)); i++, x = cdr(x))
                {
                    object_to_port_with_circle_check(sc, car(x), port, NOT_P_DISPLAY(use_write), ci);
                    if (i < (len - 1))
                        port_write_character(port)(sc, ' ', port);
                }
                if (is_not_null(x))
                {
                    if (plen < len)
                        port_write_string(port)(sc, " ...", 4, port);
                    else
                    {
                        if ((true_len == 0) &&
                                (i == len))
                            port_write_string(port)(sc, " . ", 3, port);
                        else port_write_string(port)(sc, ". ", 2, port);
                        object_to_port_with_circle_check(sc, x, port, NOT_P_DISPLAY(use_write), ci);
                    }
                }
                port_write_character(port)(sc, ')', port);
            }
            else
            {
                s7_int len1;
                len1 = plen - 1;
                if (is_string_port(port))
                {
                    for (x = lst, i = 0; (is_pair(x)) && (i < len1); i++, x = cdr(x))
                    {
                        object_to_port(sc, car(x), port, NOT_P_DISPLAY(use_write), ci);
                        if (port_position(port) >= sc->objstr_max_len)
                        {
                            unstack(sc);
                            return;
                        }
                        if (port_position(port) >= port_data_size(port))
                            resize_port_data(sc, port, port_data_size(port) * 2);
                        port_data(port)[port_position(port)++] = (uint8_t)' ';
                    }
                }
                else
                {
                    for (x = lst, i = 0; (is_pair(x)) && (i < len1); i++, x = cdr(x))
                    {
                        object_to_port(sc, car(x), port, NOT_P_DISPLAY(use_write), ci);
                        port_write_character(port)(sc, ' ', port);
                    }
                }
                if (is_pair(x))
                {
                    object_to_port(sc, car(x), port, NOT_P_DISPLAY(use_write), ci);
                    x = cdr(x);
                }
                if (is_not_null(x))
                {
                    if (plen < len)
                        port_write_string(port)(sc, " ...", 4, port);
                    else
                    {
                        port_write_string(port)(sc, ". ", 2, port);
                        object_to_port(sc, x, port, NOT_P_DISPLAY(use_write), ci);
                    }
                }
                port_write_character(port)(sc, ')', port);
            }
        }
        unstack(sc);
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x148, %rsp            # imm = 0x148
movq %r8, %r14
movl %ecx, 0xc(%rsp)
movq %rdx, %r12
movq %rsi, %r15
movq %rdi, %r13
callq 0x39d0d
movq %rax, %rbp
testq %rax, %rax
js 0xee9a1
movq %rbp, %rbx
jne 0xee9ad
movl $0x1, %eax
movq %r15, %rcx
movq 0x10(%rcx), %rcx
movl %eax, %edx
movq %r15, %rsi
cmpq %rsi, %rcx
je 0xee9ab
movq 0x10(%rsi), %rsi
decl %edx
jne 0xee990
incl %eax
jmp 0xee987
movl $0x1, %ebx
subq %rbp, %rbx
jmp 0xee9ad
movl %eax, %ebx
cmpl $0x2, 0xc(%rsp)
setne %al
testq %r14, %r14
sete %cl
orb %al, %cl
jne 0xeea0e
testb $0x2, 0x2(%r15)
je 0xeea19
movslq 0xc(%r14), %rax
testq %rax, %rax
jle 0xeea19
movq (%r14), %rdx
xorl %ecx, %ecx
cmpq %r15, (%rdx,%rcx,8)
je 0xee9e4
incq %rcx
cmpq %rcx, %rax
jne 0xee9d4
jmp 0xeea0e
movq 0x20(%r14), %rax
movl (%rax,%rcx,4), %eax
testl %eax, %eax
je 0xeea0e
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq 0x48(%r14), %rax
cmpb $0x0, (%rax,%rcx)
jne 0xeef22
cmpq %r12, 0x28(%r14)
je 0xeef22
cmpl $0x2, 0xc(%rsp)
jne 0xeebcb
movq 0x8(%r12), %rax
movq 0x48(%rax), %rax
movq %r13, %rdi
movl $0x28, %esi
movq %r12, %rdx
callq *0x8(%rax)
cmpw $0x0, (%r15)
jns 0xeea55
movq 0x8(%r12), %rax
movq 0x48(%rax), %rax
leaq 0x2bb78(%rip), %rsi     # 0x11a5bf
movl $0x7, %edx
movq %r13, %rdi
movq %r12, %rcx
callq *0x10(%rax)
movq 0x50(%r13), %rax
cmpq 0x58(%r13), %rax
jb 0xeea6b
movq %r13, %rdi
callq 0xb990b
movq 0x50(%r13), %rax
movq %r15, 0x10(%rax)
movq 0x50(%r13), %rax
movq $0x1, 0x18(%rax)
addq $0x20, 0x50(%r13)
cmpl $0x2, 0xc(%rsp)
jne 0xeeaa9
testb $0x20, 0x6(%r15)
jne 0xeec5a
movq %r13, %rdi
movq %r15, %rsi
movq %rbp, %rdx
movq %rbx, %rcx
movq %r12, %r8
movq %r14, %r9
jmp 0xeee07
movq 0x280(%r13), %rcx
cmpq %rcx, %rbx
movq %rbx, %rax
movq %r13, %rbx
movq %rcx, 0x28(%rsp)
movq %rcx, %r13
movq %rax, 0x30(%rsp)
cmovlq %rax, %r13
testq %r13, %r13
jle 0xeec9e
testq %r14, %r14
movq %r12, 0x18(%rsp)
je 0xeecf2
movq %rbp, 0x20(%rsp)
cmpb $0x1, (%r15)
jne 0xeedb2
movl 0xc(%rsp), %ebp
cmpl $0x1, %ebp
adcl $0x0, %ebp
movq 0x30(%rsp), %rax
decq %rax
movq %rax, 0x38(%rsp)
xorl %r12d, %r12d
testq %r12, %r12
je 0xeeb42
testb $0x2, 0x2(%r15)
je 0xeeb42
movslq 0xc(%r14), %rax
testq %rax, %rax
jle 0xeeb42
movq (%r14), %rdx
xorl %ecx, %ecx
cmpq %r15, (%rdx,%rcx,8)
je 0xeeb34
incq %rcx
cmpq %rcx, %rax
jne 0xeeb24
jmp 0xeeb42
movq 0x20(%r14), %rax
cmpl $0x0, (%rax,%rcx,4)
jne 0xeedb5
movq 0x8(%r15), %rsi
movzbl (%rsi), %eax
leaq 0x637f0(%rip), %rcx     # 0x152340
cmpb $0x1, (%rax,%rcx)
jne 0xeeb75
cmpl $0x15, %eax
jne 0xeeb61
testb $0x1, 0x7(%rsi)
jne 0xeeb75
movq %rbx, %rdi
movq 0x18(%rsp), %rdx
movl %ebp, %ecx
movq %r14, %r8
callq 0x9596b
jmp 0xeeb8d
movq %rbx, %rdi
movq 0x18(%rsp), %rdx
movl %ebp, %ecx
movq %r14, %r8
leaq 0x637f7(%rip), %r9      # 0x152380
callq *(%r9,%rax,8)
cmpq 0x38(%rsp), %r12
jge 0xeebac
movq 0x18(%rsp), %rdx
movq 0x8(%rdx), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x20, %esi
callq *0x8(%rax)
incq %r12
movq 0x10(%r15), %r15
cmpb $0x1, (%r15)
jne 0xeedb5
cmpq %r13, %r12
jl 0xeeb0a
jmp 0xeedb5
cmpq $0x2, %rbp
jne 0xeea19
movq 0x17b0(%r13), %rax
cmpq %rax, 0x8(%r15)
jne 0xeea19
movq 0x8(%r12), %rax
movq 0x48(%rax), %rax
movq %r13, %rdi
movl $0x27, %esi
movq %r12, %rdx
callq *0x8(%rax)
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
movzbl (%rsi), %eax
testq %r14, %r14
je 0xeecc6
leaq 0x63728(%rip), %rcx     # 0x152340
cmpb $0x1, (%rax,%rcx)
jne 0xeecc6
cmpl $0x15, %eax
jne 0xeec36
movl $0x15, %eax
testb $0x1, 0x7(%rsi)
jne 0xeecc6
movq %r13, %rdi
movq %r12, %rdx
movl $0x1, %ecx
movq %r14, %r8
addq $0x148, %rsp            # imm = 0x148
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x9596b
testq %r14, %r14
je 0xeedf5
movq (%r15), %rax
btl $0x11, %eax
movq %r13, 0x10(%rsp)
jae 0xef150
movslq 0xc(%r14), %rcx
testq %rcx, %rcx
jle 0xef150
movq (%r14), %rsi
xorl %edx, %edx
cmpq %r15, (%rsi,%rdx,8)
je 0xef09e
incq %rdx
cmpq %rdx, %rcx
jne 0xeec87
jmp 0xef150
movq 0x8(%r12), %rax
movq 0x48(%rax), %rax
leaq 0x2b97f(%rip), %rsi     # 0x11a62d
movl $0x6, %edx
movq %rbx, %rdi
movq %r12, %rcx
callq *0x10(%rax)
addq $-0x20, 0x50(%rbx)
jmp 0xef08c
leaq 0x636b3(%rip), %rcx     # 0x152380
movq (%rcx,%rax,8), %rax
movq %r13, %rdi
movq %r12, %rdx
movl $0x1, %ecx
movq %r14, %r8
addq $0x148, %rsp            # imm = 0x148
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmpq *%rax
movq %r12, %rax
leaq -0x1(%r13), %r12
movq 0x8(%rax), %rdx
movb (%r15), %al
cmpb $0x1, %al
sete %sil
cmpq $0x1, %r13
setne %cl
andb %sil, %cl
cmpl $0x1, 0x4(%rdx)
jne 0xeee41
testb %cl, %cl
movq %rbx, %r13
je 0xeeea7
movl 0xc(%rsp), %ebp
cmpl $0x1, %ebp
adcl $0x0, %ebp
movl $0x1, %ebx
movq 0x18(%rsp), %r14
movq 0x8(%r15), %rsi
movzbl (%rsi), %eax
movq %r13, %rdi
movq %r14, %rdx
movl %ebp, %ecx
xorl %r8d, %r8d
leaq 0x6362e(%rip), %r9      # 0x152380
callq *(%r9,%rax,8)
movq 0x20(%r14), %rax
cmpq 0x288(%r13), %rax
jge 0xef087
movq 0x18(%r14), %rdx
cmpq %rdx, %rax
jl 0xeed82
addq %rdx, %rdx
movq %r13, %rdi
movq %r14, %rsi
callq 0x94b07
movq 0x20(%r14), %rax
movq 0x10(%r14), %rcx
leaq 0x1(%rax), %rdx
movq %rdx, 0x20(%r14)
movb $0x20, (%rcx,%rax)
movq 0x10(%r15), %r15
movb (%r15), %al
cmpb $0x1, %al
jne 0xeeea7
leaq 0x1(%rbx), %rcx
cmpq %r12, %rbx
movq %rcx, %rbx
jl 0xeed39
jmp 0xeeea7
xorl %r12d, %r12d
movq %rbx, %r13
cmpq 0x110(%rbx), %r15
je 0xef06f
movq 0x30(%rsp), %rax
cmpq 0x28(%rsp), %rax
jle 0xeee11
movq 0x18(%rsp), %rcx
movq 0x8(%rcx), %rax
movq 0x48(%rax), %rax
leaq 0x27dbc(%rip), %rsi     # 0x116ba1
movl $0x4, %edx
movq %r13, %rdi
callq *0x10(%rax)
jmp 0xef06f
movq %r13, %rdi
movq %r15, %rsi
movq %rbp, %rdx
movq %rbx, %rcx
movq %r12, %r8
xorl %r9d, %r9d
callq 0xf4650
jmp 0xef087
xorq %rax, %r12
movq 0x18(%rsp), %rbx
movq 0x8(%rbx), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
orq %r12, 0x20(%rsp)
jne 0xef000
leaq 0x2b7fd(%rip), %rsi     # 0x11a634
movl $0x3, %edx
jmp 0xef00c
testb %cl, %cl
movq %rbx, %r13
je 0xeeea7
movl 0xc(%rsp), %ebp
cmpl $0x1, %ebp
adcl $0x0, %ebp
movl $0x1, %r14d
movq 0x18(%rsp), %rbx
movq 0x8(%r15), %rsi
movzbl (%rsi), %eax
movq %r13, %rdi
movq %rbx, %rdx
movl %ebp, %ecx
xorl %r8d, %r8d
leaq 0x6350a(%rip), %r9      # 0x152380
callq *(%r9,%rax,8)
movq 0x8(%rbx), %rax
movq 0x48(%rax), %rax
movq %r13, %rdi
movl $0x20, %esi
movq %rbx, %rdx
callq *0x8(%rax)
movq 0x10(%r15), %r15
movb (%r15), %al
cmpb $0x1, %al
jne 0xeeea7
leaq 0x1(%r14), %rcx
cmpq %r12, %r14
movq %rcx, %r14
jl 0xeee5d
cmpb $0x1, %al
jne 0xeeedb
movq 0x8(%r15), %rsi
movzbl (%rsi), %eax
leaq 0x634c7(%rip), %r9      # 0x152380
movl 0xc(%rsp), %ecx
cmpl $0x1, %ecx
adcl $0x0, %ecx
movq %r13, %rdi
movq 0x18(%rsp), %rbx
movq %rbx, %rdx
xorl %r8d, %r8d
callq *(%r9,%rax,8)
movq 0x10(%r15), %r15
jmp 0xeeee0
movq 0x18(%rsp), %rbx
cmpq 0x110(%r13), %r15
je 0xeefe8
movq 0x8(%rbx), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
movq 0x28(%rsp), %rcx
cmpq %rcx, 0x30(%rsp)
jle 0xeefaf
leaq 0x27c91(%rip), %rsi     # 0x116ba1
movl $0x4, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq *%rax
jmp 0xeefe8
leaq 0xb6f(%r13), %r8
movb $0x0, 0xb6f(%r13)
leaq 0x27608(%rip), %rsi     # 0x116540
movabsq $-0x3333333333333333, %rdi # imm = 0xCCCCCCCCCCCCCCCD
movq %rcx, %rax
mulq %rdi
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rcx, %r9
subq %rax, %r9
movb (%rsi,%r9), %al
movb %al, -0x1(%r8)
decq %r8
cmpq $0x9, %rcx
movq %rdx, %rcx
ja 0xeef42
leaq 0x2b8f6(%rip), %rsi     # 0x11a86b
leaq 0x2bbc5(%rip), %rcx     # 0x11ab41
leaq 0x40(%rsp), %r15
movq %r15, %rdi
movq %r8, %rdx
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xc442
movq 0x8(%r12), %rcx
movq 0x48(%rcx), %r8
movslq %eax, %rdx
movq %r13, %rdi
movq %r15, %rsi
movq %r12, %rcx
callq *0x10(%r8)
jmp 0xef08c
leaq 0x2b67f(%rip), %rsi     # 0x11a635
movl $0x2, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq *%rax
movzbl (%r15), %eax
leaq 0x633b2(%rip), %r9      # 0x152380
movl 0xc(%rsp), %ecx
cmpl $0x1, %ecx
adcl $0x0, %ecx
movq %r13, %rdi
movq %r15, %rsi
movq %rbx, %rdx
xorl %r8d, %r8d
callq *(%r9,%rax,8)
movq 0x8(%rbx), %rax
movq 0x48(%rax), %rax
movq %r13, %rdi
movl $0x29, %esi
movq %rbx, %rdx
jmp 0xef084
leaq 0x2b62e(%rip), %rsi     # 0x11a635
movl $0x2, %edx
movq %r13, %rdi
movq %rbx, %rcx
callq *%rax
movzbl (%r15), %eax
leaq 0x63321(%rip), %rcx     # 0x152340
cmpb $0x1, (%rax,%rcx)
jne 0xef04e
cmpl $0x15, %eax
jne 0xef031
testb $0x1, 0x7(%r15)
jne 0xef04e
movl 0xc(%rsp), %ecx
cmpl $0x1, %ecx
adcl $0x0, %ecx
movq %r13, %rdi
movq %r15, %rsi
movq %rbx, %rdx
movq %r14, %r8
callq 0x9596b
jmp 0xef06f
leaq 0x6332b(%rip), %r9      # 0x152380
movl 0xc(%rsp), %ecx
cmpl $0x1, %ecx
adcl $0x0, %ecx
movq %r13, %rdi
movq %r15, %rsi
movq %rbx, %rdx
movq %r14, %r8
callq *(%r9,%rax,8)
movq 0x18(%rsp), %rdx
movq 0x8(%rdx), %rax
movq 0x48(%rax), %rax
movq %r13, %rdi
movl $0x29, %esi
callq *0x8(%rax)
addq $-0x20, 0x50(%r13)
addq $0x148, %rsp            # imm = 0x148
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x20(%r14), %rcx
movl (%rcx,%rdx,4), %ecx
testl %ecx, %ecx
sete 0xc(%rsp)
je 0xef150
movl %ecx, %esi
negl %esi
cmovsl %ecx, %esi
leaq 0xb6f(%r13), %r8
movb $0x0, 0xb6f(%r13)
leaq 0x27471(%rip), %rcx     # 0x116540
movabsq $-0x3333333333333333, %rdi # imm = 0xCCCCCCCCCCCCCCCD
movq %rsi, %rax
mulq %rdi
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rsi, %r9
subq %rax, %r9
movb (%rcx,%r9), %al
movb %al, -0x1(%r8)
decq %r8
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0xef0d9
movq %rbp, 0x20(%rsp)
leaq 0x2b75a(%rip), %rsi     # 0x11a86b
leaq 0x2ba29(%rip), %rcx     # 0x11ab41
leaq 0xc0(%rsp), %rdi
movq %r8, %rdx
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xc442
movq 0x8(%r12), %rax
movq 0x48(%rax), %rax
leaq 0x1db7d(%rip), %rsi     # 0x10ccba
movl $0x4, %edx
movq %r13, %rdi
movq %r12, %rcx
callq *0x10(%rax)
jmp 0xef21b
movq %r15, %rcx
cmpb $0x1, %al
jne 0xef1b9
leaq 0x631e2(%rip), %rdx     # 0x152340
movq %r15, %rcx
movq 0x8(%rcx), %rax
movzbl (%rax), %esi
cmpb $0x1, (%rsi,%rdx)
jne 0xef17a
cmpb $0x15, %sil
jne 0xef1e8
testb $0x1, 0x7(%rax)
je 0xef1e8
movq 0x10(%rcx), %rcx
movb (%rcx), %al
cmpb $0x1, %al
jne 0xef1b9
movq (%rcx), %rax
btl $0x11, %eax
jae 0xef1b5
movslq 0xc(%r14), %rsi
testq %rsi, %rsi
jle 0xef1b5
movq (%r14), %r8
xorl %edi, %edi
cmpq %rcx, (%r8,%rdi,8)
je 0xef1ab
incq %rdi
cmpq %rdi, %rsi
jne 0xef19b
jmp 0xef1b5
movq 0x20(%r14), %rsi
cmpl $0x0, (%rsi,%rdi,4)
jne 0xef1e8
cmpb $0x1, %al
je 0xef161
cmpq 0x110(%r13), %rcx
je 0xeea92
movzbl %al, %edx
leaq 0x63170(%rip), %rsi     # 0x152340
cmpb $0x1, (%rdx,%rsi)
jne 0xeea92
cmpb $0x15, %al
jne 0xef1e8
testb $0x1, 0x7(%rcx)
jne 0xeea92
movq %rbp, 0x20(%rsp)
movl $0x3e4c3c, 0xc0(%rsp) # imm = 0x3E4C3C
movq 0x8(%r12), %rax
movq 0x48(%rax), %rax
leaq 0x2b3bf(%rip), %rsi     # 0x11a5c7
movl $0xf, %edx
movq %r13, %rdi
movq %r12, %rcx
callq *0x10(%rax)
movb $0x1, 0xc(%rsp)
testq %rbx, %rbx
jle 0xef33e
cmpb $0x1, (%r15)
jne 0xef33e
xorl %r13d, %r13d
movq %r15, %rbp
movq 0x8(%rbp), %rax
movzbl (%rax), %ecx
leaq 0x630fe(%rip), %rdx     # 0x152340
cmpb $0x1, (%rcx,%rdx)
jne 0xef265
cmpb $0x15, %cl
sete %cl
movzwl 0x6(%rax), %eax
movl %eax, %edx
shrl $0x8, %edx
andl $0x1, %edx
andb %cl, %dl
testb $0x20, %al
sete %al
orb %dl, %al
je 0xef2d1
movq 0x8(%r12), %rax
movq 0x48(%rax), %rax
movq 0x10(%rsp), %rdi
movl $0x20, %esi
movq %r12, %rdx
callq *0x8(%rax)
movq 0x8(%rbp), %rsi
movzbl (%rsi), %eax
leaq 0x630b4(%rip), %rcx     # 0x152340
cmpb $0x1, (%rax,%rcx)
jne 0xef2b4
cmpl $0x15, %eax
jne 0xef29d
testb $0x1, 0x7(%rsi)
jne 0xef2b4
movq 0x10(%rsp), %rdi
movq %r12, %rdx
movl $0x2, %ecx
movq %r14, %r8
callq 0x9596b
jmp 0xef2f1
movq 0x10(%rsp), %rdi
movq %r12, %rdx
movl $0x2, %ecx
movq %r14, %r8
leaq 0x630b5(%rip), %r9      # 0x152380
callq *(%r9,%rax,8)
jmp 0xef2f1
movq 0x8(%r12), %rax
movq 0x48(%rax), %rax
movl $0x3, %edx
movq 0x10(%rsp), %rdi
leaq 0x1c9cf(%rip), %rsi     # 0x10bcba
movq %r12, %rcx
callq *0x10(%rax)
movq 0x10(%rbp), %rbp
movb (%rbp), %al
cmpb $0x1, %al
jne 0xef32e
movq (%rbp), %rax
btl $0x11, %eax
jae 0xef32e
movslq 0xc(%r14), %rcx
testq %rcx, %rcx
jle 0xef32e
movq (%r14), %rsi
xorl %edx, %edx
cmpq %rbp, (%rsi,%rdx,8)
je 0xef324
incq %rdx
cmpq %rdx, %rcx
jne 0xef314
jmp 0xef32e
movq 0x20(%r14), %rcx
cmpl $0x0, (%rcx,%rdx,4)
jne 0xef33e
incq %r13
cmpq %rbx, %r13
jge 0xef33e
cmpb $0x1, %al
je 0xef234
movq 0x8(%r12), %rax
movq 0x48(%rax), %rax
cmpb $0x0, 0xc(%rsp)
je 0xef367
leaq 0x2b282(%rip), %rsi     # 0x11a5d7
movl $0x4, %edx
movq 0x10(%rsp), %rdi
movq %r12, %rcx
callq *0x10(%rax)
jmp 0xef395
movq %rbx, %r13
movq %r14, %rbx
movq 0x10(%rsp), %r14
movq %r14, %rdi
movl $0x29, %esi
movq %r12, %rdx
callq *0x8(%rax)
movq 0x28(%rbx), %rax
cmpq 0x120(%r14), %rax
movq %rbx, %r14
movq %r13, %rbx
cmovneq %rax, %r12
testq %rbx, %rbx
jle 0xef6c1
movabsq $0x100000000000015, %rcx # imm = 0x100000000000015
movq 0x10(%rsp), %rax
addq $0xb6f, %rax            # imm = 0xB6F
movq %rax, 0x28(%rsp)
movb (%r15), %al
leaq 0x62f7e(%rip), %r8      # 0x152340
leaq 0x40(%rsp), %rdi
addq $0xea, %rcx
movq %rcx, 0x38(%rsp)
leaq 0x27166(%rip), %r11     # 0x116540
movabsq $0x6666666666666667, %r10 # imm = 0x6666666666666667
movq %r15, %r13
xorl %ebp, %ebp
movq %r12, 0x18(%rsp)
movq %rbx, 0x30(%rsp)
cmpb $0x1, %al
jne 0xef6c1
movq 0x8(%r13), %rax
movzbl (%rax), %ecx
cmpb $0x1, (%rcx,%r8)
jne 0xef672
cmpb $0x15, %cl
sete %cl
movzwl 0x6(%rax), %eax
movl %eax, %edx
shrl $0x8, %edx
andl $0x1, %edx
andb %cl, %dl
testb $0x20, %al
sete %al
orb %dl, %al
jne 0xef672
testq %rbp, %rbp
je 0xef4ac
movq 0x28(%rsp), %r8
movb $0x0, (%r8)
movq %rbp, %rcx
movq %rcx, %rax
imulq %r10
movq %rdx, %rax
shrq $0x3f, %rax
sarq $0x2, %rdx
addq %rax, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rcx, %rsi
subq %rax, %rsi
movb (%r11,%rsi), %al
movb %al, -0x1(%r8)
decq %r8
addq $0x9, %rcx
cmpq $0x12, %rcx
movq %rdx, %rcx
ja 0xef43f
subq $0x8, %rsp
leaq 0x2b165(%rip), %rsi     # 0x11a5e9
leaq 0xc8(%rsp), %rdx
leaq 0x2b123(%rip), %rcx     # 0x11a5b6
movq %rdi, %r12
leaq 0x2b318(%rip), %r9      # 0x11a7b5
xorl %eax, %eax
pushq $0x0
callq 0xc442
addq $0x10, %rsp
jmp 0xef4cf
leaq 0x2b129(%rip), %rsi     # 0x11a5dc
leaq 0xc0(%rsp), %rdx
leaq 0x2b0f4(%rip), %rcx     # 0x11a5b6
xorl %r8d, %r8d
xorl %eax, %eax
movq %rdi, %r12
callq 0xc442
movq 0x18(%rsp), %r9
movq 0x8(%r9), %rcx
movq 0x48(%rcx), %r8
movslq %eax, %rdx
movq 0x10(%rsp), %rdi
movq %r12, %rsi
movq %r9, %r12
movq %r9, %rcx
callq *0x10(%r8)
movq 0x8(%r13), %rsi
movq (%rsi), %rax
btl $0x11, %eax
jae 0xef5ce
movslq 0xc(%r14), %rcx
testq %rcx, %rcx
jle 0xef5ce
movq (%r14), %rdi
xorl %edx, %edx
cmpq %rsi, (%rdi,%rdx,8)
je 0xef527
incq %rdx
cmpq %rdx, %rcx
jne 0xef514
jmp 0xef5ce
movq 0x20(%r14), %rcx
movl (%rcx,%rdx,4), %ecx
testl %ecx, %ecx
je 0xef5ce
movq %r14, %rbx
movl %ecx, %esi
negl %esi
cmovsl %ecx, %esi
movq 0x28(%rsp), %rcx
movb $0x0, (%rcx)
leaq 0x26ff1(%rip), %r8      # 0x116540
movabsq $-0x3333333333333333, %r9 # imm = 0xCCCCCCCCCCCCCCCD
movq %rsi, %rax
mulq %r9
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rsi, %rdi
subq %rax, %rdi
movb (%r8,%rdi), %al
movb %al, -0x1(%rcx)
decq %rcx
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0xef559
leaq 0x40(%rsp), %r12
movq %r12, %rdi
leaq 0x2b2d8(%rip), %rsi     # 0x11a86b
movq %rcx, %rdx
leaq 0x2b5a4(%rip), %rcx     # 0x11ab41
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xc442
movq 0x18(%rsp), %r9
movq 0x8(%r9), %rcx
movq 0x48(%rcx), %r8
movslq %eax, %rdx
movq 0x10(%rsp), %r14
movq %r14, %rdi
movq %r12, %rsi
movq %r9, %r12
movq %r9, %rcx
callq *0x10(%r8)
jmp 0xef62f
movq %r14, %rbx
movzbl %al, %r9d
andq 0x38(%rsp), %rax
movabsq $0x100000000000015, %rcx # imm = 0x100000000000015
cmpq %rcx, %rax
je 0xef611
leaq 0x62d50(%rip), %rax     # 0x152340
cmpb $0x0, (%r9,%rax)
je 0xef611
movq 0x10(%rsp), %r14
movq %r14, %rdi
movq %r12, %rdx
movl $0x2, %ecx
movq %rbx, %r8
callq 0x9596b
jmp 0xef62f
movq 0x10(%rsp), %r14
movq %r14, %rdi
movq %r12, %rdx
movl $0x2, %ecx
movq %rbx, %r8
leaq 0x62d55(%rip), %rax     # 0x152380
callq *(%rax,%r9,8)
movq 0x8(%r12), %rax
movq 0x48(%rax), %rax
movl $0x2, %edx
movq %r14, %rdi
leaq 0x2af92(%rip), %rsi     # 0x11a5d9
movq %r12, %rcx
callq *0x10(%rax)
movq %rbx, %r14
movq 0x30(%rsp), %rbx
leaq 0x26ee4(%rip), %r11     # 0x116540
movabsq $0x6666666666666667, %r10 # imm = 0x6666666666666667
leaq 0x62cd3(%rip), %r8      # 0x152340
leaq 0x40(%rsp), %rdi
movq 0x10(%r13), %r13
movb (%r13), %al
cmpb $0x1, %al
jne 0xef6b5
movq (%r13), %rax
btl $0x11, %eax
jae 0xef6b5
movslq 0xc(%r14), %rcx
testq %rcx, %rcx
jle 0xef6b5
movq (%r14), %rsi
xorl %edx, %edx
cmpq %r13, (%rsi,%rdx,8)
je 0xef6a6
incq %rdx
cmpq %rdx, %rcx
jne 0xef696
jmp 0xef6b5
movq 0x20(%r14), %rcx
movl (%rcx,%rdx,4), %edx
testl %edx, %edx
jne 0xef8b1
incq %rbp
cmpq %rbx, %rbp
jne 0xef3f3
movq 0x20(%rsp), %rax
testq %rax, %rax
js 0xef6e0
cmpb $0x0, 0xc(%rsp)
movq 0x10(%rsp), %r13
je 0xef087
jmp 0xef88e
cmpb $0x1, (%r15)
movq 0x10(%rsp), %r13
jne 0xef6f5
movq 0x10(%r15), %r15
cmpb $0x1, (%r15)
je 0xef6eb
cmpq $-0x2, %rax
je 0xef728
cmpq $-0x1, %rax
jne 0xef769
leaq 0x27e94(%rip), %rax     # 0x11759c
leaq 0x27e8f(%rip), %rsi     # 0x11759e
cmpb $0x0, 0xc(%rsp)
cmovneq %rax, %rsi
leaq 0x2aed4(%rip), %rdx     # 0x11a5f3
leaq 0x2ae90(%rip), %r8      # 0x11a5b6
jmp 0xef74d
leaq 0x27e6d(%rip), %rax     # 0x11759c
leaq 0x27e68(%rip), %rsi     # 0x11759e
cmpb $0x0, 0xc(%rsp)
cmovneq %rax, %rsi
leaq 0x2aeb8(%rip), %rdx     # 0x11a5fe
leaq 0x2b068(%rip), %r8      # 0x11a7b5
leaq 0x40(%rsp), %rdi
leaq 0xc0(%rsp), %rcx
xorl %r9d, %r9d
xorl %eax, %eax
callq 0xc442
jmp 0xef7f9
addq $-0x2, %rbx
leaq 0xb6f(%r13), %r8
movb $0x0, 0xb6f(%r13)
leaq 0x26dbd(%rip), %rcx     # 0x116540
movabsq $0x6666666666666667, %rsi # imm = 0x6666666666666667
movq %rbx, %rax
imulq %rsi
movq %rdx, %rax
shrq $0x3f, %rax
sarq $0x2, %rdx
addq %rax, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rbx, %rdi
subq %rax, %rdi
movb (%rcx,%rdi), %al
movb %al, -0x1(%r8)
decq %r8
addq $0x9, %rbx
cmpq $0x12, %rbx
movq %rdx, %rbx
ja 0xef78d
subq $0x8, %rsp
leaq 0x2ae3d(%rip), %rsi     # 0x11a60e
leaq 0x2adde(%rip), %rcx     # 0x11a5b6
leaq 0x2afd6(%rip), %r9      # 0x11a7b5
leaq 0x48(%rsp), %rdi
leaq 0xc8(%rsp), %rdx
xorl %eax, %eax
pushq $0x0
callq 0xc442
addq $0x10, %rsp
movq 0x8(%r12), %rcx
movq 0x48(%rcx), %r8
movslq %eax, %rdx
leaq 0x40(%rsp), %rsi
movq %r13, %rdi
movq %r12, %rcx
callq *0x10(%r8)
movzbl (%r15), %eax
leaq 0x62b21(%rip), %rcx     # 0x152340
cmpb $0x1, (%rax,%rcx)
jne 0xef849
cmpl $0x15, %eax
jne 0xef831
testb $0x1, 0x7(%r15)
jne 0xef849
movq %r13, %rdi
movq %r15, %rsi
movq %r12, %rdx
movl $0x2, %ecx
movq %r14, %r8
callq 0x9596b
jmp 0xef865
leaq 0x62b30(%rip), %r9      # 0x152380
movq %r13, %rdi
movq %r15, %rsi
movq %r12, %rdx
movl $0x2, %ecx
movq %r14, %r8
callq *(%r9,%rax,8)
movq 0x8(%r12), %rax
movq 0x48(%rax), %rax
leaq 0x2ad64(%rip), %rsi     # 0x11a5d9
movl $0x2, %edx
movq %r13, %rdi
movq %r12, %rcx
callq *0x10(%rax)
cmpb $0x0, 0xc(%rsp)
je 0xef087
movq 0x8(%r12), %rax
movq 0x48(%rax), %rax
leaq 0x2ad86(%rip), %rsi     # 0x11a624
movl $0x8, %edx
movq %r13, %rdi
movq %r12, %rcx
callq *0x10(%rax)
jmp 0xef087
movq %r14, %r13
movl %edx, %ecx
negl %ecx
cmovsl %edx, %ecx
cmpq $0x1, %rbp
je 0xef948
testq %rbp, %rbp
movq 0x10(%rsp), %r14
jne 0xef9e1
movl %ecx, %ecx
leaq 0xb6f(%r14), %r9
movb $0x0, 0xb6f(%r14)
movabsq $-0x3333333333333333, %r8 # imm = 0xCCCCCCCCCCCCCCCD
movq %rcx, %rax
mulq %r8
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rcx, %rsi
subq %rax, %rsi
movb (%r11,%rsi), %al
movb %al, -0x1(%r9)
decq %r9
cmpq $0x9, %rcx
movq %rdx, %rcx
ja 0xef8ee
leaq 0x27c7b(%rip), %rax     # 0x11759c
leaq 0x27c76(%rip), %rsi     # 0x11759e
cmpb $0x0, 0xc(%rsp)
cmovneq %rax, %rsi
leaq 0x2ac80(%rip), %r10     # 0x11a5b8
leaq 0x2acb4(%rip), %rdx     # 0x11a5f3
leaq 0x2af24(%rip), %r8      # 0x11a86a
jmp 0xef9c0
movl %ecx, %ecx
movq 0x10(%rsp), %r14
leaq 0xb6f(%r14), %r9
movb $0x0, 0xb6f(%r14)
movabsq $-0x3333333333333333, %r8 # imm = 0xCCCCCCCCCCCCCCCD
movq %rcx, %rax
mulq %r8
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rcx, %rsi
subq %rax, %rsi
movb (%r11,%rsi), %al
movb %al, -0x1(%r9)
decq %r9
cmpq $0x9, %rcx
movq %rdx, %rcx
ja 0xef968
leaq 0x27c01(%rip), %rax     # 0x11759c
leaq 0x27bfc(%rip), %rsi     # 0x11759e
cmpb $0x0, 0xc(%rsp)
cmovneq %rax, %rsi
leaq 0x2ac06(%rip), %r10     # 0x11a5b8
leaq 0x2ac45(%rip), %rdx     # 0x11a5fe
leaq 0x2abef(%rip), %r8      # 0x11a5af
leaq 0x40(%rsp), %rdi
leaq 0xc0(%rsp), %rcx
xorl %eax, %eax
pushq $0x0
pushq %r10
callq 0xc442
addq $0x10, %rsp
jmp 0xefac9
leaq 0xb8f(%r14), %r9
movb $0x0, 0xb8f(%r14)
movq %rbp, %rax
imulq %r10
movq %rdx, %rax
shrq $0x3f, %rax
sarq $0x2, %rdx
addq %rax, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rbp, %rsi
subq %rax, %rsi
movb (%r11,%rsi), %al
movb %al, -0x1(%r9)
decq %r9
addq $0x9, %rbp
cmpq $0x12, %rbp
movq %rdx, %rbp
ja 0xef9f0
movq %rbx, %rbp
movl %ecx, %ecx
leaq 0xb6f(%r14), %r10
movb $0x0, 0xb6f(%r14)
movabsq $-0x3333333333333333, %r8 # imm = 0xCCCCCCCCCCCCCCCD
movq %rcx, %rax
mulq %r8
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rcx, %rsi
subq %rax, %rsi
movb (%r11,%rsi), %al
movb %al, -0x1(%r10)
decq %r10
cmpq $0x9, %rcx
movq %rdx, %rcx
ja 0xefa48
leaq 0x27b21(%rip), %rax     # 0x11759c
leaq 0x27b1c(%rip), %rsi     # 0x11759e
cmpb $0x0, 0xc(%rsp)
cmovneq %rax, %rsi
leaq 0x2ab26(%rip), %r11     # 0x11a5b8
leaq 0x2ab16(%rip), %rbx     # 0x11a5af
leaq 0x2ab6e(%rip), %rdx     # 0x11a60e
leaq 0x2ab0f(%rip), %r8      # 0x11a5b6
leaq 0x40(%rsp), %rdi
leaq 0xc0(%rsp), %rcx
xorl %eax, %eax
pushq $0x0
pushq %r11
pushq %r10
pushq %rbx
callq 0xc442
addq $0x20, %rsp
movq %rbp, %rbx
movq 0x8(%r12), %rcx
movq 0x48(%rcx), %r8
movslq %eax, %rdx
leaq 0x40(%rsp), %rsi
movq %r14, %rdi
movq %r12, %rcx
callq *0x10(%r8)
movq %r13, %r14
jmp 0xef6c1