// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: hash_table_to_port
static void hash_table_to_port(s7_scheme *sc, s7_pointer hash, s7_pointer port, use_write_t use_write, shared_info *ci)
    {
        s7_int i, len, gc_iter;
        bool too_long = false;
        s7_pointer iterator, p;
        int32_t href;

        /* if hash is a member of ci, just print its number
         * (let ((ht (hash-table '(a . 1)))) (hash-table-set! ht 'b ht))
         *
         * since equal? does not care about the hash-table lengths, we can ignore that complication in the :readable case
         * there's no way to make a truly :readable version of a weak hash-table (or a normal hash-table that uses eq? with pairs, for example)
         */
        len = hash_table_entries(hash);
        if (len == 0)
        {
            if (is_weak_hash_table(hash))
                port_write_string(port)(sc, "(weak-hash-table)", 17, port);
            else port_write_string(port)(sc, "(hash-table)", 12, port);
            return;
        }

        if (use_write != P_READABLE)
        {
            s7_int plen;
            plen = sc->print_length;
            if (plen <= 0)
            {
                port_write_string(port)(sc, "(hash-table ...)", 16, port);
                return;
            }
            if (len > plen)
            {
                too_long = true;
                len = plen;
            }
        }

        if ((use_write == P_READABLE) &&
                (ci))
        {
            href = peek_shared_ref(ci, hash);
            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;
                }
            }
        }

        iterator = s7_make_iterator(sc, hash);
        gc_iter = s7_gc_protect_1(sc, iterator);
        p = cons(sc, sc->F, sc->F);
        iterator_current(iterator) = p;
        set_mark_seq(iterator);

        if ((use_write == P_READABLE) &&
                (is_immutable(hash)))
            port_write_string(port)(sc, "(immutable! ", 12, port);

        if ((use_write == P_READABLE) &&
                (ci) &&
                (is_cyclic(hash)) &&
                ((href = peek_shared_ref(ci, hash)) != 0))
        {
            if (href < 0) href = -href;

            if (is_weak_hash_table(hash))
                port_write_string(port)(sc, "(weak-hash-table", 16, port);
            else port_write_string(port)(sc, "(hash-table", 11, port); /* top level let */
            for (i = 0; i < len; i++)
            {
                s7_pointer key_val, key, val;

                key_val = hash_table_iterate(sc, iterator);
                key = car(key_val);
                val = cdr(key_val);
                if ((has_structure(val)) ||
                        (has_structure(key)))
                {
                    char buf[128];
                    int32_t eref, kref, plen;
                    eref = peek_shared_ref(ci, val);
                    kref = peek_shared_ref(ci, key);
                    plen = catstrs_direct(buf, "  (set! (<", pos_int_to_str_direct(sc, href), "> ", NULL);
                    port_write_string(ci->cycle_port)(sc, buf, plen, ci->cycle_port);

                    if (kref != 0)
                    {
                        if (kref < 0) kref = -kref;
                        plen = catstrs_direct(buf, "<", pos_int_to_str_direct(sc, kref), ">", NULL);
                        port_write_string(ci->cycle_port)(sc, buf, plen, ci->cycle_port);
                    }
                    else object_to_port(sc, key, ci->cycle_port, P_READABLE, ci);

                    if (eref != 0)
                    {
                        if (eref < 0) eref = -eref;
                        plen = catstrs_direct(buf, ") <", pos_int_to_str_direct(sc, eref), ">)\n", NULL);
                        port_write_string(ci->cycle_port)(sc, buf, plen, ci->cycle_port);
                    }
                    else
                    {
                        port_write_string(ci->cycle_port)(sc, ") ", 2, ci->cycle_port);
                        object_to_port_with_circle_check(sc, val, ci->cycle_port, P_READABLE, ci);
                        port_write_string(ci->cycle_port)(sc, ")\n", 2, ci->cycle_port);
                    }
                }
                else
                {
                    port_write_character(port)(sc, ' ', port);
                    object_to_port_with_circle_check(sc, key, port, P_READABLE, ci);
                    port_write_character(port)(sc, ' ', port);
                    object_to_port_with_circle_check(sc, val, port, P_READABLE, ci);
                }
            }
            port_write_character(port)(sc, ')', port);
        }
        else
        {
            if (is_weak_hash_table(hash))
                port_write_string(port)(sc, "(weak-hash-table", 16, port);
            else port_write_string(port)(sc, "(hash-table", 11, port);
            for (i = 0; i < len; i++)
            {
                s7_pointer key_val;
                port_write_character(port)(sc, ' ', port);
                key_val = hash_table_iterate(sc, iterator);
#if S7_DEBUGGING
                if (!is_pair(key_val))
                {
                    fprintf(stderr, "hash entries clobbered\n");
                    hash_table_entries(hash) = i;
                    break;
                }
#endif
                if (use_write != P_READABLE)
                {
                    if (is_normal_symbol(car(key_val)))
                        port_write_character(port)(sc, '\'', port);
                }
                object_to_port_with_circle_check(sc, car(key_val), port, NOT_P_DISPLAY(use_write), ci);
                port_write_character(port)(sc, ' ', port);
                object_to_port_with_circle_check(sc, cdr(key_val), port, NOT_P_DISPLAY(use_write), ci);
            }
            if (too_long)
                port_write_string(port)(sc, " ...)", 5, port);
            else port_write_character(port)(sc, ')', port);
        }

        if ((use_write == P_READABLE) &&
                (is_immutable(hash)))
            port_write_character(port)(sc, ')', port);

        s7_gc_unprotect_at(sc, gc_iter);
        iterator_current(iterator) = sc->nil;
        free_cell(sc, p);
        /* free_cell(sc, iterator); */ /* 18-Dec-18 removed */
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xe8, %rsp
movq %rdx, %r14
movq %rdi, %rbx
movq 0x28(%rsi), %rax
movq 0x18(%rax), %r13
testq %r13, %r13
je 0xefb56
movl %ecx, %ebp
cmpl $0x2, %ecx
jne 0xefb76
testq %r8, %r8
je 0xefbaf
movb $0x1, %dil
testb $0x2, 0x2(%rsi)
je 0xefc1e
movslq 0xc(%r8), %rax
testq %rax, %rax
jle 0xefc1e
movq (%r8), %rdx
xorl %ecx, %ecx
cmpq %rsi, (%rdx,%rcx,8)
je 0xefbf4
incq %rcx
cmpq %rcx, %rax
jne 0xefb3f
jmp 0xefc1e
testb $0x8, 0x3(%rsi)
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
jne 0xefba1
leaq 0x2aaf0(%rip), %rsi     # 0x11a65f
movl $0xc, %edx
jmp 0xefbdb
movq 0x280(%rbx), %rax
testq %rax, %rax
jle 0xefbc3
cmpq %rax, %r13
cmovgeq %rax, %r13
setg %al
movl %eax, 0x18(%rsp)
testq %r8, %r8
setne %al
movl %eax, 0x10(%rsp)
xorl %edi, %edi
jmp 0xefc2c
leaq 0x2aaa5(%rip), %rsi     # 0x11a64d
movl $0x11, %edx
jmp 0xefbdb
xorl %edi, %edi
movl $0x0, 0x10(%rsp)
movl $0x0, 0x18(%rsp)
jmp 0xefc2c
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
leaq 0x2aa96(%rip), %rsi     # 0x11a66c
movl $0x10, %edx
movq %rbx, %rdi
movq %r14, %rcx
addq $0xe8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmpq *%rax
movq 0x20(%r8), %rax
movl (%rax,%rcx,4), %eax
testl %eax, %eax
je 0xefc1e
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq 0x48(%r8), %rax
cmpb $0x0, (%rax,%rcx)
jne 0xeffe1
cmpq %r14, 0x28(%r8)
je 0xeffe1
movl $0x0, 0x18(%rsp)
movb $0x1, %al
movl %eax, 0x10(%rsp)
movl %edi, 0x28(%rsp)
movq %r8, (%rsp)
movq %rbx, %rdi
movq %rsi, 0x30(%rsp)
callq 0xb067
movq %rax, 0x20(%rsp)
cmpq $0x0, 0x108(%rbx)
movl %ebp, 0xc(%rsp)
js 0xefc60
movq 0xe8(%rbx), %rax
jmp 0xefd19
movq 0xd0(%rbx), %rax
movq 0xf0(%rbx), %r12
leaq (%r12,%r12), %rbp
movq 0x18(%rax), %rsi
movq %r12, %r15
shlq $0x4, %r15
movq %rbx, %rdi
movq %r15, %rdx
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq 0xd0(%rbx), %rcx
movq %rax, 0x18(%rcx)
movq (%rax), %rax
movq 0xd0(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq 0xd0(%rbx), %rax
movq %rbp, 0x8(%rax)
movq %rbp, 0xf0(%rbx)
movq 0xe8(%rbx), %rdi
movq %r15, %rsi
callq 0x8510
movq %rax, 0xe8(%rbx)
cmpq %rbp, %r12
movl 0xc(%rsp), %ebp
jge 0xefd19
movq 0x140(%rbx), %rcx
movq %r12, %rdx
movq 0xd0(%rbx), %rax
movq 0x10(%rax), %rax
movq %rcx, (%rax,%rdx,8)
movq 0xe8(%rbx), %rax
movq 0x108(%rbx), %rsi
leaq 0x1(%rsi), %rdi
movq %rdi, 0x108(%rbx)
movq %rdx, 0x8(%rax,%rsi,8)
incq %rdx
decq %r12
jne 0xefce4
movq 0xd0(%rbx), %rcx
movq 0x108(%rbx), %rdx
leaq -0x1(%rdx), %rsi
movq %rsi, 0x108(%rbx)
movq (%rax,%rdx,8), %rdx
movq 0x10(%rcx), %rax
movq 0x20(%rsp), %rcx
movq %rdx, 0x58(%rsp)
movq %rcx, (%rax,%rdx,8)
movq 0x90(%rbx), %rax
movq 0x120(%rbx), %r15
cmpq 0x98(%rbx), %rax
ja 0xefd6e
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rcx
movq $0x200001, (%rcx)       # imm = 0x200001
movq %r15, 0x8(%rcx)
movq %r15, 0x10(%rcx)
movq 0x20(%rsp), %rax
orb $0x4, 0x3(%rax)
movq %rcx, 0x50(%rsp)
movq %rcx, 0x10(%rax)
cmpl $0x2, %ebp
movq 0x30(%rsp), %r15
movq (%rsp), %r12
jne 0xefdd0
testb $0x1, 0x3(%r15)
je 0xefdd0
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
leaq 0x26d82(%rip), %rsi     # 0x116b44
movl $0xc, %edx
movq %rbx, %rdi
movq %r14, %rcx
callq *0x10(%rax)
cmpb $0x0, 0x28(%rsp)
je 0xefe11
testb $0x20, 0x6(%r15)
sete %cl
movq (%r15), %rax
btl $0x11, %eax
setae %dl
orb %cl, %dl
jne 0xefe14
movslq 0xc(%r12), %rcx
testq %rcx, %rcx
jle 0xefe14
movq (%r12), %rsi
xorl %edx, %edx
cmpq %r15, (%rsi,%rdx,8)
je 0xeffa3
incq %rdx
cmpq %rdx, %rcx
jne 0xefdfd
jmp 0xefe14
movq (%r15), %rax
btl $0x1b, %eax
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
jb 0xefe34
leaq 0x2a861(%rip), %rsi     # 0x11a68e
movl $0xb, %edx
jmp 0xefe40
leaq 0x2a842(%rip), %rsi     # 0x11a67d
movl $0x10, %edx
movq %rbx, %rdi
movq %r14, %rcx
callq *%rax
testq %r13, %r13
jle 0xeff76
movl 0xc(%rsp), %r15d
cmpl $0x1, %r15d
adcl $0x0, %r15d
leaq 0x6251b(%rip), %r12     # 0x152380
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x20, %esi
movq %r14, %rdx
callq *0x8(%rax)
movq %rbx, %rdi
movq 0x20(%rsp), %rsi
callq 0x3748a
movq %rax, %rbp
cmpl $0x2, 0xc(%rsp)
je 0xefeb7
movq 0x8(%rbp), %rax
cmpb $0xa, (%rax)
jne 0xefeb7
testb $-0x80, 0x6(%rax)
jne 0xefeb7
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x27, %esi
movq %r14, %rdx
callq *0x8(%rax)
movq 0x8(%rbp), %rsi
movzbl (%rsi), %eax
cmpb $0x0, 0x10(%rsp)
je 0xefef6
leaq 0x62474(%rip), %rcx     # 0x152340
cmpb $0x1, (%rax,%rcx)
jne 0xefef6
cmpl $0x15, %eax
jne 0xefee2
movl $0x15, %eax
testb $0x1, 0x7(%rsi)
jne 0xefef6
movq %rbx, %rdi
movq %r14, %rdx
movl %r15d, %ecx
movq (%rsp), %r8
callq 0x9596b
jmp 0xeff07
movq %rbx, %rdi
movq %r14, %rdx
movl %r15d, %ecx
movq (%rsp), %r8
callq *(%r12,%rax,8)
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x20, %esi
movq %r14, %rdx
callq *0x8(%rax)
movq 0x10(%rbp), %rsi
movzbl (%rsi), %eax
cmpb $0x0, 0x10(%rsp)
je 0xeff5c
leaq 0x6240e(%rip), %rcx     # 0x152340
cmpb $0x1, (%rax,%rcx)
jne 0xeff5c
cmpl $0x15, %eax
jne 0xeff48
movl $0x15, %eax
testb $0x1, 0x7(%rsi)
jne 0xeff5c
movq %rbx, %rdi
movq %r14, %rdx
movl %r15d, %ecx
movq (%rsp), %r8
callq 0x9596b
jmp 0xeff6d
movq %rbx, %rdi
movq %r14, %rdx
movl %r15d, %ecx
movq (%rsp), %r8
callq *(%r12,%rax,8)
decq %r13
jne 0xefe65
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
cmpb $0x0, 0x18(%rsp)
je 0xf04d4
leaq 0x28760(%rip), %rsi     # 0x1186f0
movl $0x5, %edx
movq %rbx, %rdi
movq %r14, %rcx
callq *0x10(%rax)
jmp 0xf04e2
movq 0x20(%r12), %rcx
movl (%rcx,%rdx,4), %ecx
testl %ecx, %ecx
je 0xefe14
movl %ecx, %ebp
negl %ebp
cmovsl %ecx, %ebp
btl $0x1b, %eax
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
jb 0xf006c
leaq 0x2a6b7(%rip), %rsi     # 0x11a68e
movl $0xb, %edx
jmp 0xf0078
leaq 0xb6f(%rbx), %r8
movb $0x0, 0xb6f(%rbx)
leaq 0x2654a(%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 0xf0000
leaq 0x2a838(%rip), %rsi     # 0x11a86b
leaq 0x2ab07(%rip), %rcx     # 0x11ab41
leaq 0x60(%rsp), %r15
movq %r15, %rdi
movq %r8, %rdx
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xc442
movq 0x8(%r14), %rcx
movq 0x48(%rcx), %r8
movslq %eax, %rdx
movq %rbx, %rdi
movq %r15, %rsi
movq %r14, %rcx
callq *0x10(%r8)
jmp 0xf0589
leaq 0x2a60a(%rip), %rsi     # 0x11a67d
movl $0x10, %edx
movq %rbx, %rdi
movq %r14, %rcx
callq *%rax
testq %r13, %r13
jle 0xf04cc
movl %ebp, %eax
movq %rax, 0x40(%rsp)
leaq 0xb6f(%rbx), %rax
movq %rax, 0x18(%rsp)
leaq 0x2649d(%rip), %rbp     # 0x116540
movabsq $-0x3333333333333333, %r15 # imm = 0xCCCCCCCCCCCCCCCD
xorl %r12d, %r12d
movq %rbx, %rdi
movq 0x20(%rsp), %rsi
callq 0x3748a
movq 0x8(%rax), %r8
movq 0x10(%rax), %rsi
movzbl (%rsi), %eax
leaq 0x62271(%rip), %rcx     # 0x152340
cmpb $0x1, (%rax,%rcx)
movq %r12, 0x10(%rsp)
movq %rsi, 0x28(%rsp)
jne 0xf00e9
cmpb $0x15, %al
jne 0xf0105
testb $0x1, 0x7(%rsi)
je 0xf0105
movzbl (%r8), %eax
leaq 0x6224c(%rip), %rcx     # 0x152340
cmpb $0x1, (%rax,%rcx)
jne 0xf0149
cmpb $0x15, %al
jne 0xf0105
testb $0x1, 0x7(%r8)
jne 0xf0149
xorl %edi, %edi
testb $0x2, 0x2(%rsi)
movl $0x0, %ecx
je 0xf0235
movq (%rsp), %rax
movslq 0xc(%rax), %rax
testq %rax, %rax
jle 0xf0235
movq (%rsp), %rcx
movq (%rcx), %rdx
xorl %ecx, %ecx
cmpq %rsi, (%rdx,%rcx,8)
je 0xf022a
incq %rcx
cmpq %rcx, %rax
jne 0xf0130
xorl %ecx, %ecx
jmp 0xf0235
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x20, %esi
movq %r14, %rdx
movq %r8, %r12
callq *0x8(%rax)
movzbl (%r12), %eax
leaq 0x621d2(%rip), %rcx     # 0x152340
cmpb $0x1, (%rax,%rcx)
jne 0xf019a
cmpl $0x15, %eax
jne 0xf0181
testb $0x1, 0x7(%r12)
jne 0xf019a
movq %rbx, %rdi
movq %r12, %rsi
movq %r14, %rdx
movl $0x2, %ecx
movq (%rsp), %r8
callq 0x9596b
jmp 0xf01b7
movq %rbx, %rdi
movq %r12, %rsi
movq %r14, %rdx
movl $0x2, %ecx
movq (%rsp), %r8
leaq 0x621cd(%rip), %r9      # 0x152380
callq *(%r9,%rax,8)
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x20, %esi
movq %r14, %rdx
callq *0x8(%rax)
movq 0x28(%rsp), %rsi
movzbl (%rsi), %eax
leaq 0x62164(%rip), %rcx     # 0x152340
cmpb $0x1, (%rax,%rcx)
movq 0x10(%rsp), %r12
jne 0xf020b
cmpl $0x15, %eax
jne 0xf01f2
testb $0x1, 0x7(%rsi)
jne 0xf020b
movq %rbx, %rdi
movq %r14, %rdx
movl $0x2, %ecx
movq (%rsp), %r8
callq 0x9596b
jmp 0xf04c0
movq %rbx, %rdi
movq %r14, %rdx
movl $0x2, %ecx
movq (%rsp), %r8
leaq 0x6215f(%rip), %r9      # 0x152380
callq *(%r9,%rax,8)
jmp 0xf04c0
movq (%rsp), %rax
movq 0x20(%rax), %rax
movl (%rax,%rcx,4), %ecx
movl %ecx, 0x3c(%rsp)
testb $0x2, 0x2(%r8)
je 0xf026d
movq (%rsp), %rcx
movslq 0xc(%rcx), %rax
testq %rax, %rax
jle 0xf026d
movq (%rcx), %rdx
xorl %ecx, %ecx
cmpq %r8, (%rdx,%rcx,8)
je 0xf0262
incq %rcx
cmpq %rcx, %rax
jne 0xf0252
jmp 0xf026d
movq (%rsp), %rax
movq 0x20(%rax), %rax
movl (%rax,%rcx,4), %edi
movl %edi, 0x38(%rsp)
movq %r8, 0x48(%rsp)
movq 0x18(%rsp), %rcx
movb $0x0, (%rcx)
movq 0x40(%rsp), %rsi
movq %rsi, %rax
mulq %r15
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rsi, %rdi
subq %rax, %rdi
movb (%rbp,%rdi), %al
movb %al, -0x1(%rcx)
decq %rcx
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0xf0283
leaq 0x60(%rsp), %rdi
leaq 0x2a2ea(%rip), %rsi     # 0x11a5a4
movq %rcx, %rdx
leaq 0x2687b(%rip), %rcx     # 0x116b3f
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xc442
movq (%rsp), %r12
movq 0x28(%r12), %rcx
movq 0x8(%rcx), %rdx
movq 0x48(%rdx), %r8
movslq %eax, %rdx
movq %rbx, %rdi
leaq 0x60(%rsp), %rsi
callq *0x10(%r8)
movl 0x38(%rsp), %eax
testl %eax, %eax
je 0xf0372
movl %eax, %esi
negl %esi
cmovsl %eax, %esi
movq 0x18(%rsp), %rcx
movb $0x0, (%rcx)
movq %rsi, %rax
mulq %r15
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rsi, %rdi
subq %rax, %rdi
movb (%rbp,%rdi), %al
movb %al, -0x1(%rcx)
decq %rcx
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0xf0305
leaq 0x60(%rsp), %r12
movq %r12, %rdi
leaq 0x2a52c(%rip), %rsi     # 0x11a86b
movq %rcx, %rdx
leaq 0x2a7f8(%rip), %rcx     # 0x11ab41
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xc442
movq (%rsp), %rcx
movq 0x28(%rcx), %rcx
movq 0x8(%rcx), %rdx
movq 0x48(%rdx), %r8
movslq %eax, %rdx
movq %rbx, %rdi
movq %r12, %rsi
callq *0x10(%r8)
jmp 0xf0395
movq 0x48(%rsp), %rsi
movzbl (%rsi), %eax
movq 0x28(%r12), %rdx
movq %rbx, %rdi
movl $0x2, %ecx
movq %r12, %r8
leaq 0x61fef(%rip), %r9      # 0x152380
callq *(%r9,%rax,8)
movl 0x3c(%rsp), %eax
testl %eax, %eax
movq 0x10(%rsp), %r12
je 0xf042a
movl %eax, %esi
negl %esi
cmovsl %eax, %esi
movq 0x18(%rsp), %rcx
movb $0x0, (%rcx)
movq %rsi, %rax
mulq %r15
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rsi, %rdi
subq %rax, %rdi
movb (%rbp,%rdi), %al
movb %al, -0x1(%rcx)
decq %rcx
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0xf03b5
leaq 0x60(%rsp), %r12
movq %r12, %rdi
leaq 0x2a1c0(%rip), %rsi     # 0x11a5af
movq %rcx, %rdx
leaq 0x2a1bf(%rip), %rcx     # 0x11a5b8
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xc442
movq (%rsp), %rcx
movq 0x28(%rcx), %rcx
movq 0x8(%rcx), %rdx
movq 0x48(%rdx), %r8
movslq %eax, %rdx
movq %rbx, %rdi
movq %r12, %rsi
callq *0x10(%r8)
movq 0x10(%rsp), %r12
jmp 0xf04c0
movq (%rsp), %rax
movq 0x28(%rax), %rcx
movq 0x8(%rcx), %rax
movq 0x48(%rax), %rax
movl $0x2, %edx
movq %rbx, %rdi
leaq 0x2a36c(%rip), %rsi     # 0x11a7b5
callq *0x10(%rax)
movq 0x28(%rsp), %rsi
movzbl (%rsi), %eax
leaq 0x61ee5(%rip), %rcx     # 0x152340
cmpb $0x1, (%rax,%rcx)
jne 0xf0483
cmpl $0x15, %eax
jne 0xf046c
testb $0x1, 0x7(%rsi)
jne 0xf0483
movq (%rsp), %r8
movq 0x28(%r8), %rdx
movq %rbx, %rdi
movl $0x2, %ecx
callq 0x9596b
jmp 0xf049e
movq (%rsp), %r8
movq 0x28(%r8), %rdx
movq %rbx, %rdi
movl $0x2, %ecx
leaq 0x61ee6(%rip), %r9      # 0x152380
callq *(%r9,%rax,8)
movq (%rsp), %rax
movq 0x28(%rax), %rcx
movq 0x8(%rcx), %rax
movq 0x48(%rax), %rax
movl $0x2, %edx
movq %rbx, %rdi
leaq 0x2a11c(%rip), %rsi     # 0x11a5d9
callq *0x10(%rax)
incq %r12
cmpq %r13, %r12
jne 0xf00b0
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x29, %esi
movq %r14, %rdx
callq *0x8(%rax)
movq 0x30(%rsp), %rax
movl 0xc(%rsp), %ecx
cmpl $0x2, %ecx
jne 0xf050c
testb $0x1, 0x3(%rax)
je 0xf050c
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x29, %esi
movq %r14, %rdx
callq *0x8(%rax)
movq 0x58(%rsp), %r8
cmpq %r8, 0xf0(%rbx)
jle 0xf0558
movq 0xd0(%rbx), %rcx
movq 0x140(%rbx), %rax
movq 0x10(%rcx), %rdx
cmpq %rax, (%rdx,%r8,8)
je 0xf0554
movq 0xe8(%rbx), %rdx
movq 0x108(%rbx), %rsi
leaq 0x1(%rsi), %rdi
movq %rdi, 0x108(%rbx)
movq %r8, 0x8(%rdx,%rsi,8)
movq 0x10(%rcx), %rdx
movq %rax, (%rdx,%r8,8)
movq 0x110(%rbx), %rax
movq 0x20(%rsp), %rcx
movq %rax, 0x10(%rcx)
movq 0x50(%rsp), %rdx
movq $0x0, (%rdx)
movq 0x90(%rbx), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq %rdx, (%rax)
addq $0xe8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq