// File: /workspace/github_c_makefile_star2_O1/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 %rsi, %r12
movq %rdi, %rbx
movq 0x28(%rsi), %rax
movq 0x18(%rax), %r13
testq %r13, %r13
je 0xf8969
movl %ecx, %ebp
cmpl $0x2, %ecx
movq %r8, (%rsp)
jne 0xf898b
xorl %esi, %esi
jmp 0xf89f5
testb $0x8, 0x3(%r12)
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
jne 0xf89a4
leaq 0x2abcb(%rip), %rsi     # 0x12354f
movl $0xc, %edx
jmp 0xf89b0
movq 0x280(%rbx), %r15
testq %r15, %r15
jle 0xf89c9
cmpq %r15, %r13
setg %sil
cmovgeq %r15, %r13
jmp 0xf89ec
leaq 0x2ab92(%rip), %rsi     # 0x12353d
movl $0x11, %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 0x8(%r14), %rax
movq 0x48(%rax), %rax
leaq 0x2ab84(%rip), %rsi     # 0x12355c
movl $0x10, %edx
movq %rbx, %rdi
movq %r14, %rcx
callq *0x10(%rax)
movq (%rsp), %r8
xorl %esi, %esi
testq %r15, %r15
jle 0xf93a0
movl %ebp, 0xc(%rsp)
cmpl $0x2, %ebp
sete %al
testq %r8, %r8
setne %bpl
andb %al, %bpl
cmpb $0x1, %bpl
jne 0xf8a63
xorl %eax, %eax
testb $0x2, 0x2(%r12)
je 0xf8a40
movslq 0xc(%r8), %rcx
testq %rcx, %rcx
jle 0xf8a40
movq (%r8), %rdx
xorl %eax, %eax
cmpq %r12, (%rdx,%rax,8)
je 0xf8a39
incq %rax
cmpq %rax, %rcx
jne 0xf8a27
xorl %eax, %eax
jmp 0xf8a40
movq 0x20(%r8), %rcx
movl (%rcx,%rax,4), %eax
testl %eax, %eax
je 0xf8a63
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq 0x48(%r8), %rax
cmpb $0x0, (%rax,%rcx)
jne 0xf8c5d
cmpq %r14, 0x28(%r8)
je 0xf8c5d
movl %esi, 0x28(%rsp)
movq %rbx, %rdi
movq %r12, 0x20(%rsp)
movq %r12, %rsi
callq 0xbec2
movq %rax, 0x18(%rsp)
cmpq $0x0, 0x108(%rbx)
jns 0xf8b4b
movq 0xd0(%rbx), %rax
movq 0xf0(%rbx), %r12
leaq (%r12,%r12), %rcx
movq %rcx, 0x10(%rsp)
movq 0x18(%rax), %rsi
movq %r12, %r15
shlq $0x4, %r15
movq %rbx, %rdi
movq %r15, %rdx
callq 0xae0f
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 0x10(%rsp), %rcx
movq %rcx, 0x8(%rax)
movq %rcx, 0xf0(%rbx)
movq 0xe8(%rbx), %rdi
movq %r15, %rsi
callq 0x9510
movq %rax, 0xe8(%rbx)
cmpq 0x10(%rsp), %r12
jge 0xf8b4b
movq %r12, %rax
movq 0xd0(%rbx), %rcx
movq 0x140(%rbx), %rdx
movq 0x10(%rcx), %rcx
movq %rdx, (%rcx,%rax,8)
movq 0xe8(%rbx), %rcx
movq 0x108(%rbx), %rdx
leaq 0x1(%rdx), %rsi
movq %rsi, 0x108(%rbx)
movq %rax, 0x8(%rcx,%rdx,8)
incq %rax
decq %r12
jne 0xf8b0f
movq 0xd0(%rbx), %rax
movq 0xe8(%rbx), %rcx
movq 0x108(%rbx), %rdx
leaq -0x1(%rdx), %rsi
movq %rsi, 0x108(%rbx)
movq (%rcx,%rdx,8), %rdx
movq 0x10(%rax), %rax
movq 0x18(%rsp), %rcx
movq %rdx, 0x50(%rsp)
movq %rcx, (%rax,%rdx,8)
movq 0x90(%rbx), %rax
movq 0x120(%rbx), %r15
cmpq 0x98(%rbx), %rax
ja 0xf8ba0
movq %rbx, %rdi
callq 0xb389
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 0x18(%rsp), %rax
orb $0x4, 0x3(%rax)
movq %rcx, 0x48(%rsp)
movq %rcx, 0x10(%rax)
cmpl $0x2, 0xc(%rsp)
movq 0x20(%rsp), %r15
movq (%rsp), %rdi
jne 0xf8c0f
testb $0x1, 0x3(%r15)
je 0xf8c0f
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
leaq 0x26e37(%rip), %rsi     # 0x11fa34
movl $0xc, %edx
movq %rbx, %rdi
movq %r14, %rcx
callq *0x10(%rax)
movq (%rsp), %rdi
testb %bpl, %bpl
je 0xf8d21
testb $0x20, 0x6(%r15)
je 0xf8d21
movq (%r15), %rax
xorl %ecx, %ecx
btl $0x11, %eax
jae 0xf8cef
movslq 0xc(%rdi), %rdx
testq %rdx, %rdx
jle 0xf8cef
movq (%rdi), %rsi
xorl %ecx, %ecx
cmpq %r15, (%rsi,%rcx,8)
je 0xf8ce8
incq %rcx
cmpq %rcx, %rdx
jne 0xf8c44
xorl %ecx, %ecx
jmp 0xf8cef
leaq 0xb6f(%rbx), %r8
movb $0x0, 0xb6f(%rbx)
leaq 0x267be(%rip), %rsi     # 0x11f430
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 0xf8c7c
leaq 0x2aaac(%rip), %rsi     # 0x12375b
leaq 0x2ad7b(%rip), %rcx     # 0x123a31
leaq 0x60(%rsp), %r15
movq %r15, %rdi
movq %r8, %rdx
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xd1cb
movq 0x8(%r14), %rcx
movq 0x48(%rcx), %r8
movslq %eax, %rdx
movq %rbx, %rdi
movq %r15, %rsi
movq %r14, %rcx
callq *0x10(%r8)
jmp 0xf93a0
movq 0x20(%rdi), %rdx
movl (%rdx,%rcx,4), %ecx
testl %ecx, %ecx
je 0xf8d21
movl %ecx, %ebp
negl %ebp
cmovsl %ecx, %ebp
btl $0x1b, %eax
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
jb 0xf8ea7
leaq 0x2a867(%rip), %rsi     # 0x12357e
movl $0xb, %edx
jmp 0xf8eb3
testb $0x8, 0x3(%r15)
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq 0x10(%rax), %rax
jne 0xf8d42
leaq 0x2a843(%rip), %rsi     # 0x12357e
movl $0xb, %edx
jmp 0xf8d4e
leaq 0x2a824(%rip), %rsi     # 0x12356d
movl $0x10, %edx
movq %rbx, %rdi
movq %r14, %rcx
callq *%rax
testq %r13, %r13
jle 0xf8e7a
movl 0xc(%rsp), %ebp
cmpl $0x1, %ebp
adcl $0x0, %ebp
movq (%rsp), %r12
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x20, %esi
movq %r14, %rdx
callq *0x8(%rax)
movq %rbx, %rdi
movq 0x18(%rsp), %rsi
callq 0x39928
movq %rax, %r15
cmpl $0x2, 0xc(%rsp)
je 0xf8dbf
movq 0x8(%r15), %rax
cmpb $0xa, (%rax)
jne 0xf8dbf
testb $-0x80, 0x6(%rax)
jne 0xf8dbf
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x27, %esi
movq %r14, %rdx
callq *0x8(%rax)
movq 0x8(%r15), %rsi
testq %r12, %r12
je 0xf8df4
movzbl (%rsi), %eax
leaq 0x6156e(%rip), %rcx     # 0x15a340
cmpb $0x1, (%rax,%rcx)
jne 0xf8df4
cmpb $0x15, %al
jne 0xf8de2
testb $0x1, 0x7(%rsi)
jne 0xf8df4
movq %rbx, %rdi
movq %r14, %rdx
movl %ebp, %ecx
movq %r12, %r8
callq 0x9c033
jmp 0xf8e0d
movzbl (%rsi), %eax
movq %rbx, %rdi
movq %r14, %rdx
movl %ebp, %ecx
movq %r12, %r8
leaq 0x61577(%rip), %r9      # 0x15a380
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 0x10(%r15), %rsi
testq %r12, %r12
je 0xf8e58
movzbl (%rsi), %eax
leaq 0x6150a(%rip), %rcx     # 0x15a340
cmpb $0x1, (%rax,%rcx)
jne 0xf8e58
cmpb $0x15, %al
jne 0xf8e46
testb $0x1, 0x7(%rsi)
jne 0xf8e58
movq %rbx, %rdi
movq %r14, %rdx
movl %ebp, %ecx
movq %r12, %r8
callq 0x9c033
jmp 0xf8e71
movzbl (%rsi), %eax
movq %rbx, %rdi
movq %r14, %rdx
movl %ebp, %ecx
movq %r12, %r8
leaq 0x61513(%rip), %r9      # 0x15a380
callq *(%r9,%rax,8)
decq %r13
jne 0xf8d6d
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
cmpb $0x0, 0x28(%rsp)
je 0xf92eb
leaq 0x2874c(%rip), %rsi     # 0x1215e0
movl $0x5, %edx
movq %rbx, %rdi
movq %r14, %rcx
callq *0x10(%rax)
jmp 0xf92f9
leaq 0x2a6bf(%rip), %rsi     # 0x12356d
movl $0x10, %edx
movq %rbx, %rdi
movq %r14, %rcx
callq *%rax
testq %r13, %r13
jle 0xf92e3
movl %ebp, %eax
movq %rax, 0x58(%rsp)
leaq 0xb6f(%rbx), %rax
movq %rax, 0x30(%rsp)
leaq 0x26552(%rip), %r15     # 0x11f430
movabsq $-0x3333333333333333, %r12 # imm = 0xCCCCCCCCCCCCCCCD
xorl %ebp, %ebp
movq %rbx, %rdi
movq 0x18(%rsp), %rsi
callq 0x39928
movq 0x8(%rax), %r8
movq 0x10(%rax), %rdi
movzbl (%rdi), %eax
leaq 0x61437(%rip), %rcx     # 0x15a340
cmpb $0x1, (%rax,%rcx)
movq %rdi, 0x28(%rsp)
movq %r8, 0x10(%rsp)
jne 0xf8f23
cmpb $0x15, %al
jne 0xf8f3f
testb $0x1, 0x7(%rdi)
je 0xf8f3f
movzbl (%r8), %eax
leaq 0x61412(%rip), %rcx     # 0x15a340
cmpb $0x1, (%rax,%rcx)
jne 0xf8f80
cmpb $0x15, %al
jne 0xf8f3f
testb $0x1, 0x7(%r8)
jne 0xf8f80
xorl %r9d, %r9d
testb $0x2, 0x2(%rdi)
movl $0x0, %ecx
movq (%rsp), %rsi
je 0xf905b
movslq 0xc(%rsi), %rax
testq %rax, %rax
jle 0xf905b
movq (%rsi), %rdx
xorl %ecx, %ecx
cmpq %rdi, (%rdx,%rcx,8)
je 0xf9054
incq %rcx
cmpq %rcx, %rax
jne 0xf8f67
xorl %ecx, %ecx
jmp 0xf905b
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x20, %esi
movq %r14, %rdx
callq *0x8(%rax)
movq 0x10(%rsp), %rsi
movzbl (%rsi), %eax
leaq 0x6139b(%rip), %rcx     # 0x15a340
cmpb $0x1, (%rax,%rcx)
jne 0xf8fcc
cmpl $0x15, %eax
jne 0xf8fb6
testb $0x1, 0x7(%rsi)
jne 0xf8fcc
movq %rbx, %rdi
movq %r14, %rdx
movl $0x2, %ecx
movq (%rsp), %r8
callq 0x9c033
jmp 0xf8fe6
movq %rbx, %rdi
movq %r14, %rdx
movl $0x2, %ecx
movq (%rsp), %r8
leaq 0x6139e(%rip), %r9      # 0x15a380
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 0x61335(%rip), %rcx     # 0x15a340
cmpb $0x1, (%rax,%rcx)
jne 0xf9035
cmpl $0x15, %eax
jne 0xf901c
testb $0x1, 0x7(%rsi)
jne 0xf9035
movq %rbx, %rdi
movq %r14, %rdx
movl $0x2, %ecx
movq (%rsp), %r8
callq 0x9c033
jmp 0xf92d7
movq %rbx, %rdi
movq %r14, %rdx
movl $0x2, %ecx
movq (%rsp), %r8
leaq 0x61335(%rip), %r9      # 0x15a380
callq *(%r9,%rax,8)
jmp 0xf92d7
movq 0x20(%rsi), %rax
movl (%rax,%rcx,4), %ecx
testb $0x2, 0x2(%r8)
movl %ecx, 0x3c(%rsp)
je 0xf908c
movslq 0xc(%rsi), %rax
testq %rax, %rax
jle 0xf908c
movq (%rsi), %rdx
xorl %ecx, %ecx
cmpq %r8, (%rdx,%rcx,8)
je 0xf9084
incq %rcx
cmpq %rcx, %rax
jne 0xf9074
jmp 0xf908c
movq 0x20(%rsi), %rax
movl (%rax,%rcx,4), %r9d
movl %r9d, 0x38(%rsp)
movq %rbp, 0x40(%rsp)
movq 0x30(%rsp), %rcx
movb $0x0, (%rcx)
movq 0x58(%rsp), %rsi
movq %rsi, %rax
mulq %r12
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rsi, %rdi
subq %rax, %rdi
movb (%r15,%rdi), %al
movb %al, -0x1(%rcx)
decq %rcx
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0xf90a3
leaq 0x60(%rsp), %rdi
leaq 0x2a3ba(%rip), %rsi     # 0x123494
movq %rcx, %rdx
leaq 0x2694b(%rip), %rcx     # 0x11fa2f
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xd1cb
movq (%rsp), %rbp
movq 0x28(%rbp), %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 0xf9191
movl %eax, %esi
negl %esi
cmovsl %eax, %esi
movq 0x30(%rsp), %rcx
movb $0x0, (%rcx)
movq %rsi, %rax
mulq %r12
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rsi, %rdi
subq %rax, %rdi
movb (%r15,%rdi), %al
movb %al, -0x1(%rcx)
decq %rcx
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0xf9124
leaq 0x60(%rsp), %rbp
movq %rbp, %rdi
leaq 0x2a5fd(%rip), %rsi     # 0x12375b
movq %rcx, %rdx
leaq 0x2a8c9(%rip), %rcx     # 0x123a31
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xd1cb
movq (%rsp), %rcx
movq 0x28(%rcx), %rcx
movq 0x8(%rcx), %rdx
movq 0x48(%rdx), %r8
movslq %eax, %rdx
movq %rbx, %rdi
movq %rbp, %rsi
callq *0x10(%r8)
jmp 0xf91b3
movq 0x10(%rsp), %rsi
movzbl (%rsi), %eax
movq 0x28(%rbp), %rdx
movq %rbx, %rdi
movl $0x2, %ecx
movq %rbp, %r8
leaq 0x611d1(%rip), %r9      # 0x15a380
callq *(%r9,%rax,8)
movl 0x3c(%rsp), %eax
testl %eax, %eax
je 0xf923a
movl %eax, %esi
negl %esi
cmovsl %eax, %esi
movq 0x30(%rsp), %rcx
movb $0x0, (%rcx)
movq %rsi, %rax
mulq %r12
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rsi, %rdi
subq %rax, %rdi
movb (%r15,%rdi), %al
movb %al, -0x1(%rcx)
decq %rcx
cmpq $0x9, %rsi
movq %rdx, %rsi
ja 0xf91ca
leaq 0x60(%rsp), %rbp
movq %rbp, %rdi
leaq 0x2a29b(%rip), %rsi     # 0x12349f
movq %rcx, %rdx
leaq 0x2a29a(%rip), %rcx     # 0x1234a8
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xd1cb
movq (%rsp), %rcx
movq 0x28(%rcx), %rcx
movq 0x8(%rcx), %rdx
movq 0x48(%rdx), %r8
movslq %eax, %rdx
movq %rbx, %rdi
movq %rbp, %rsi
callq *0x10(%r8)
jmp 0xf92d2
movq (%rsp), %rax
movq 0x28(%rax), %rcx
movq 0x8(%rcx), %rax
movq 0x48(%rax), %rax
movl $0x2, %edx
movq %rbx, %rdi
leaq 0x2a44c(%rip), %rsi     # 0x1236a5
callq *0x10(%rax)
movq 0x28(%rsp), %rsi
movzbl (%rsi), %eax
leaq 0x610d5(%rip), %rcx     # 0x15a340
cmpb $0x1, (%rax,%rcx)
jne 0xf9296
cmpl $0x15, %eax
jne 0xf927c
testb $0x1, 0x7(%rsi)
jne 0xf9296
movq (%rsp), %rbp
movq 0x28(%rbp), %rdx
movq %rbx, %rdi
movl $0x2, %ecx
movq %rbp, %r8
callq 0x9c033
jmp 0xf92b4
movq (%rsp), %rbp
movq 0x28(%rbp), %rdx
movq %rbx, %rdi
movl $0x2, %ecx
movq %rbp, %r8
leaq 0x610d0(%rip), %r9      # 0x15a380
callq *(%r9,%rax,8)
movq 0x28(%rbp), %rcx
movq 0x8(%rcx), %rax
movq 0x48(%rax), %rax
movl $0x2, %edx
movq %rbx, %rdi
leaq 0x2a1fa(%rip), %rsi     # 0x1234c9
callq *0x10(%rax)
movq 0x40(%rsp), %rbp
incq %rbp
cmpq %r13, %rbp
jne 0xf8eea
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x29, %esi
movq %r14, %rdx
callq *0x8(%rax)
movq 0x20(%rsp), %rax
movl 0xc(%rsp), %ecx
cmpl $0x2, %ecx
jne 0xf9323
testb $0x1, 0x3(%rax)
je 0xf9323
movq 0x8(%r14), %rax
movq 0x48(%rax), %rax
movq %rbx, %rdi
movl $0x29, %esi
movq %r14, %rdx
callq *0x8(%rax)
movq 0x50(%rsp), %r8
cmpq %r8, 0xf0(%rbx)
jle 0xf936f
movq 0xd0(%rbx), %rax
movq 0x140(%rbx), %rcx
movq 0x10(%rax), %rdx
cmpq %rcx, (%rdx,%r8,8)
je 0xf9367
movq 0xe8(%rbx), %rdx
movq 0x108(%rbx), %rsi
leaq 0x1(%rsi), %rdi
movq %rdi, 0x108(%rbx)
movq %r8, 0x8(%rdx,%rsi,8)
movq 0x10(%rax), %rax
movq %rcx, (%rax,%r8,8)
movq 0x110(%rbx), %rax
movq 0x18(%rsp), %rcx
movq %rax, 0x10(%rcx)
movq 0x48(%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