// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: simple_do_ex
static bool simple_do_ex(s7_scheme *sc, s7_pointer code)
                {
#if (!WITH_GMP)
                    s7_pointer body, step_expr, step_var, ctr_slot, end_slot;
                    s7_function stepf, endf;
                    s7_function func;

                    code = cdr(code);
                    body = caddr(code);

                    if (no_cell_opt(cddr(code)))
                        return(false);

                    func = s7_optimize_nr(sc, cddr(code));
                    if (!func)
                    {
                        set_no_cell_opt(cddr(code));
                        return(false);
                    }

                    /* func must be set */
                    step_expr = caddr(caar(code));
                    stepf = c_callee(step_expr);
                    endf = c_callee(caadr(code));
                    ctr_slot = let_dox_slot1(sc->envir);
                    end_slot = let_dox_slot2(sc->envir);
                    step_var = caddr(step_expr);
                    /* use g* funcs (not fx) because we're passing the actual values, not the expressions */

                    if ((stepf == g_add_x1) &&
                            (is_t_integer(slot_value(ctr_slot))) &&
                            ((endf == g_num_eq_2) || (endf == g_num_eq_xi) || (endf == g_geq_2)) &&
                            (is_t_integer(slot_value(end_slot))))
                    {
                        s7_int i, start, stop;
                        start = integer(slot_value(ctr_slot));
                        stop = integer(slot_value(end_slot));

                        if (func == opt_cell_any_nr)
                        {
                            opt_info *o;
                            s7_pointer (*fp)(opt_info *o);
                            o = sc->opts[0];
                            fp = o->v[0].fp;
                            if (fp == opt_p_ppp_sss)
                            {
                                s7_p_ppp_t fpt;
                                fpt = o->v[4].p_ppp_f;
                                for (i = start; i < stop; i++)
                                {
                                    slot_set_value(ctr_slot, make_integer(sc, i));
                                    fpt(sc, slot_value(o->v[1].p), slot_value(o->v[2].p), slot_value(o->v[3].p));
                                }
                            }
                            else
                            {
                                if (fp == opt_p_ppp_sfs)
                                {
                                    s7_p_ppp_t fpt;
                                    opt_info *o1;
                                    fpt = o->v[3].p_ppp_f;
                                    o1 = sc->opts[1];
                                    for (i = start; i < stop; i++)
                                    {
                                        slot_set_value(ctr_slot, make_integer(sc, i));
                                        sc->pc = 1;
                                        fpt(sc, slot_value(o->v[1].p), o1->v[0].fp(o1), slot_value(o->v[2].p));
                                    }
                                }
                                else
                                {
                                    for (i = start; i < stop; i++)
                                    {
                                        slot_set_value(ctr_slot, make_integer(sc, i));
                                        sc->pc = 0;
                                        fp(o);
                                    }
                                }
                            }
                        }
                        else
                        {
                            /* splitting out opt_float_any_nr here saves almost nothing */
                            for (i = start; i < stop; i++)
                            {
                                slot_set_value(ctr_slot, make_integer(sc, i));
                                func(sc, body);
                            }
                        }
                        sc->value = sc->T;
                        sc->code = cdadr(code);
                        return(true);
                    }

                    if ((stepf == g_subtract_s1) &&
                            (is_t_integer(slot_value(ctr_slot))) &&
                            ((endf == g_less_x0) || (endf == g_less_2) || (endf == g_less_xi)) &&
                            (is_t_integer(slot_value(end_slot))))
                    {
                        s7_int i, start, stop;
                        start = integer(slot_value(ctr_slot));
                        stop = integer(slot_value(end_slot));

                        if (func == opt_cell_any_nr)
                        {
                            opt_info *o;
                            o = sc->opts[0];
                            if (!opt_do_copy(sc, o, stop, start + 1))
                            {
                                s7_pointer (*fp)(opt_info *o);
                                fp = o->v[0].fp;
                                for (i = start; i >= stop; i--)
                                {
                                    slot_set_value(ctr_slot, make_integer(sc, i));
                                    sc->pc = 0;
                                    fp(o);
                                }
                            }
                        }
                        else
                        {
                            for (i = start; i >= stop; i--)
                            {
                                slot_set_value(ctr_slot, make_integer(sc, i));
                                func(sc, body);
                            }
                        }
                        sc->value = sc->T;
                        sc->code = cdadr(code);
                        return(true);
                    }

                    if ((stepf == g_add_2_xi) &&
                            (is_t_integer(slot_value(ctr_slot))) &&
                            ((endf == g_num_eq_2) || (endf == g_num_eq_xi) || (endf == g_geq_2)) &&
                            (is_t_integer(slot_value(end_slot))))
                    {
                        s7_int i, start, stop, incr;
                        start = integer(slot_value(ctr_slot));
                        stop = integer(slot_value(end_slot));
                        incr = integer(caddr(step_expr));
                        for (i = start; i < stop; i += incr)
                        {
                            slot_set_value(ctr_slot, make_integer(sc, i));
                            func(sc, body);
                        }
                        sc->value = sc->T;
                        sc->code = cdadr(code);
                        return(true);
                    }

                    while (true)
                    {
                        func(sc, body);

                        set_car(sc->t2_1, slot_value(ctr_slot));
                        set_car(sc->t2_2, step_var);
                        slot_set_value(ctr_slot, stepf(sc, sc->t2_1));

                        set_car(sc->t2_1, slot_value(ctr_slot));
                        set_car(sc->t2_2, slot_value(end_slot));
                        if (is_true(sc, sc->value = endf(sc, sc->t2_1)))
                        {
                            sc->code = cdadr(code);
                            return(true);
                        }
                    }
#endif
                    return(false);
                }

// Assembly:
subq $0x218, %rsp            # imm = 0x218
movq %rdi, 0x208(%rsp)
movq %rsi, 0x200(%rsp)
movq 0x200(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x200(%rsp)
movq 0x200(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x1f8(%rsp)
movq 0x200(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq (%rax), %rax
andq $0x4000000, %rax        # imm = 0x4000000
cmpq $0x0, %rax
je 0x1724c3
movb $0x0, 0x217(%rsp)
jmp 0x1734db
movq 0x208(%rsp), %rdi
movq 0x200(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rsi
callq 0x47ae0
movq %rax, 0x1c0(%rsp)
cmpq $0x0, 0x1c0(%rsp)
jne 0x17251d
movq 0x200(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq (%rax), %rcx
orq $0x4000000, %rcx        # imm = 0x4000000
movq %rcx, (%rax)
movb $0x0, 0x217(%rsp)
jmp 0x1734db
movq 0x200(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x1f0(%rsp)
movq 0x1f0(%rsp), %rax
movq 0x20(%rax), %rax
movq %rax, 0x1d0(%rsp)
movq 0x200(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x20(%rax), %rax
movq %rax, 0x1c8(%rsp)
movq 0x208(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x20(%rax), %rax
movq %rax, 0x1e0(%rsp)
movq 0x208(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x28(%rax), %rax
movq %rax, 0x1d8(%rsp)
movq 0x1f0(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x1e8(%rsp)
leaq 0xf28(%rip), %rax       # 0x1734f0
cmpq %rax, 0x1d0(%rsp)
jne 0x172d4f
movq 0x1e0(%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x172d4f
leaq 0x101b(%rip), %rax      # 0x173610
cmpq %rax, 0x1c8(%rsp)
je 0x172625
leaq 0x10ba(%rip), %rax      # 0x1736c0
cmpq %rax, 0x1c8(%rsp)
je 0x172625
leaq -0x6b667(%rip), %rax    # 0x106fb0
cmpq %rax, 0x1c8(%rsp)
jne 0x172d4f
movq 0x1d8(%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x172d4f
movq 0x1e0(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x1b0(%rsp)
movq 0x1d8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x1a8(%rsp)
leaq -0x5a984(%rip), %rax    # 0x117cf0
cmpq %rax, 0x1c0(%rsp)
jne 0x172bb3
movq 0x208(%rsp), %rax
movq 0x2260(%rax), %rax
movq %rax, 0x1a0(%rsp)
movq 0x1a0(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x198(%rsp)
leaq -0x7bce3(%rip), %rax    # 0xf69d0
cmpq %rax, 0x198(%rsp)
jne 0x172855
movq 0x1a0(%rsp), %rax
movq 0x20(%rax), %rax
movq %rax, 0x190(%rsp)
movq 0x1b0(%rsp), %rax
movq %rax, 0x1b8(%rsp)
movq 0x1b8(%rsp), %rax
cmpq 0x1a8(%rsp), %rax
jge 0x172850
movq 0x1b8(%rsp), %rax
movq %rax, 0x188(%rsp)
movq 0x188(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x17273c
movq 0x188(%rsp), %rcx
leaq 0xa3d52(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x50(%rsp)
jmp 0x1727d4
jmp 0x17273e
movq 0x208(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x208(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x17276b
movq 0x208(%rsp), %rdi
callq 0xc670
movq 0x208(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x178(%rsp)
movq 0x178(%rsp), %rax
movq $0xb, (%rax)
movq 0x188(%rsp), %rcx
movq 0x178(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x178(%rsp), %rax
movq %rax, 0x170(%rsp)
movq 0x170(%rsp), %rax
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x180(%rsp)
movq 0x180(%rsp), %rcx
movq 0x1e0(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x190(%rsp), %rax
movq 0x208(%rsp), %rdi
movq 0x1a0(%rsp), %rcx
movq 0x8(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x1a0(%rsp), %rcx
movq 0x10(%rcx), %rcx
movq 0x10(%rcx), %rdx
movq 0x1a0(%rsp), %rcx
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rcx
callq *%rax
movq 0x1b8(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x1b8(%rsp)
jmp 0x1726e5
jmp 0x172bae
leaq -0x7b83c(%rip), %rax    # 0xf7020
cmpq %rax, 0x198(%rsp)
jne 0x172a4d
movq 0x1a0(%rsp), %rax
movq 0x18(%rax), %rax
movq %rax, 0x168(%rsp)
movq 0x208(%rsp), %rax
movq 0x2268(%rax), %rax
movq %rax, 0x160(%rsp)
movq 0x1b0(%rsp), %rax
movq %rax, 0x1b8(%rsp)
movq 0x1b8(%rsp), %rax
cmpq 0x1a8(%rsp), %rax
jge 0x172a48
movq 0x1b8(%rsp), %rax
movq %rax, 0x158(%rsp)
movq 0x158(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x1728fc
movq 0x158(%rsp), %rcx
leaq 0xa3b92(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x48(%rsp)
jmp 0x172994
jmp 0x1728fe
movq 0x208(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x208(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x17292b
movq 0x208(%rsp), %rdi
callq 0xc670
movq 0x208(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x148(%rsp)
movq 0x148(%rsp), %rax
movq $0xb, (%rax)
movq 0x158(%rsp), %rcx
movq 0x148(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x148(%rsp), %rax
movq %rax, 0x140(%rsp)
movq 0x140(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq %rax, 0x150(%rsp)
movq 0x150(%rsp), %rcx
movq 0x1e0(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x208(%rsp), %rax
movl $0x1, 0x2258(%rax)
movq 0x168(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x208(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x1a0(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x38(%rsp)
movq 0x160(%rsp), %rax
movq (%rax), %rax
movq 0x160(%rsp), %rdi
callq *%rax
movq 0x30(%rsp), %rdi
movq 0x38(%rsp), %rsi
movq %rax, %rdx
movq 0x40(%rsp), %rax
movq 0x1a0(%rsp), %rcx
movq 0x10(%rcx), %rcx
movq 0x10(%rcx), %rcx
callq *%rax
movq 0x1b8(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x1b8(%rsp)
jmp 0x1728a5
jmp 0x172bac
movq 0x1b0(%rsp), %rax
movq %rax, 0x1b8(%rsp)
movq 0x1b8(%rsp), %rax
cmpq 0x1a8(%rsp), %rax
jge 0x172baa
movq 0x1b8(%rsp), %rax
movq %rax, 0x138(%rsp)
movq 0x138(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x172ab4
movq 0x138(%rsp), %rcx
leaq 0xa39da(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x28(%rsp)
jmp 0x172b4c
jmp 0x172ab6
movq 0x208(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x208(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x172ae3
movq 0x208(%rsp), %rdi
callq 0xc670
movq 0x208(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x128(%rsp)
movq 0x128(%rsp), %rax
movq $0xb, (%rax)
movq 0x138(%rsp), %rcx
movq 0x128(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x128(%rsp), %rax
movq %rax, 0x120(%rsp)
movq 0x120(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movq %rax, 0x130(%rsp)
movq 0x130(%rsp), %rcx
movq 0x1e0(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x208(%rsp), %rax
movl $0x0, 0x2258(%rax)
movq 0x198(%rsp), %rax
movq 0x1a0(%rsp), %rdi
callq *%rax
movq 0x1b8(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x1b8(%rsp)
jmp 0x172a5d
jmp 0x172bac
jmp 0x172bae
jmp 0x172d08
movq 0x1b0(%rsp), %rax
movq %rax, 0x1b8(%rsp)
movq 0x1b8(%rsp), %rax
cmpq 0x1a8(%rsp), %rax
jge 0x172d06
movq 0x1b8(%rsp), %rax
movq %rax, 0x118(%rsp)
movq 0x118(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x172c1a
movq 0x118(%rsp), %rcx
leaq 0xa3874(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x20(%rsp)
jmp 0x172cb2
jmp 0x172c1c
movq 0x208(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x208(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x172c49
movq 0x208(%rsp), %rdi
callq 0xc670
movq 0x208(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x108(%rsp)
movq 0x108(%rsp), %rax
movq $0xb, (%rax)
movq 0x118(%rsp), %rcx
movq 0x108(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x108(%rsp), %rax
movq %rax, 0x100(%rsp)
movq 0x100(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x110(%rsp)
movq 0x110(%rsp), %rcx
movq 0x1e0(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x1c0(%rsp), %rax
movq 0x208(%rsp), %rdi
movq 0x1f8(%rsp), %rsi
callq *%rax
movq 0x1b8(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x1b8(%rsp)
jmp 0x172bc3
jmp 0x172d08
movq 0x208(%rsp), %rax
movq 0x118(%rax), %rcx
movq 0x208(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x200(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x208(%rsp), %rax
movq %rcx, (%rax)
movb $0x1, 0x217(%rsp)
jmp 0x1734db
leaq 0xa9a(%rip), %rax       # 0x1737f0
cmpq %rax, 0x1d0(%rsp)
jne 0x17316b
movq 0x1e0(%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x17316b
leaq -0x13383(%rip), %rax    # 0x15fa00
cmpq %rax, 0x1c8(%rsp)
je 0x172db3
leaq -0x6b4e4(%rip), %rax    # 0x1078b0
cmpq %rax, 0x1c8(%rsp)
je 0x172db3
leaq -0x13515(%rip), %rax    # 0x15f890
cmpq %rax, 0x1c8(%rsp)
jne 0x17316b
movq 0x1d8(%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x17316b
movq 0x1e0(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0xf0(%rsp)
movq 0x1d8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0xe8(%rsp)
leaq -0x5b112(%rip), %rax    # 0x117cf0
cmpq %rax, 0x1c0(%rsp)
jne 0x172fcf
movq 0x208(%rsp), %rax
movq 0x2260(%rax), %rax
movq %rax, 0xe0(%rsp)
movq 0x208(%rsp), %rdi
movq 0xe0(%rsp), %rsi
movq 0xe8(%rsp), %rdx
movq 0xf0(%rsp), %rcx
addq $0x1, %rcx
callq 0x171c20
testb $0x1, %al
jne 0x172fca
movq 0xe0(%rsp), %rax
movq (%rax), %rax
movq %rax, 0xd8(%rsp)
movq 0xf0(%rsp), %rax
movq %rax, 0xf8(%rsp)
movq 0xf8(%rsp), %rax
cmpq 0xe8(%rsp), %rax
jl 0x172fc8
movq 0xf8(%rsp), %rax
movq %rax, 0xd0(%rsp)
movq 0xd0(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x172ed2
movq 0xd0(%rsp), %rcx
leaq 0xa35bc(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x18(%rsp)
jmp 0x172f6a
jmp 0x172ed4
movq 0x208(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x208(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x172f01
movq 0x208(%rsp), %rdi
callq 0xc670
movq 0x208(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0xc0(%rsp)
movq 0xc0(%rsp), %rax
movq $0xb, (%rax)
movq 0xd0(%rsp), %rcx
movq 0xc0(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0xc0(%rsp), %rax
movq %rax, 0xb8(%rsp)
movq 0xb8(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0xc8(%rsp)
movq 0xc8(%rsp), %rcx
movq 0x1e0(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x208(%rsp), %rax
movl $0x0, 0x2258(%rax)
movq 0xd8(%rsp), %rax
movq 0xe0(%rsp), %rdi
callq *%rax
movq 0xf8(%rsp), %rax
addq $-0x1, %rax
movq %rax, 0xf8(%rsp)
jmp 0x172e7b
jmp 0x172fca
jmp 0x173124
movq 0xf0(%rsp), %rax
movq %rax, 0xf8(%rsp)
movq 0xf8(%rsp), %rax
cmpq 0xe8(%rsp), %rax
jl 0x173122
movq 0xf8(%rsp), %rax
movq %rax, 0xb0(%rsp)
movq 0xb0(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x173036
movq 0xb0(%rsp), %rcx
leaq 0xa3458(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x10(%rsp)
jmp 0x1730ce
jmp 0x173038
movq 0x208(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x208(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x173065
movq 0x208(%rsp), %rdi
callq 0xc670
movq 0x208(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0xa0(%rsp)
movq 0xa0(%rsp), %rax
movq $0xb, (%rax)
movq 0xb0(%rsp), %rcx
movq 0xa0(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0xa0(%rsp), %rax
movq %rax, 0x98(%rsp)
movq 0x98(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq %rax, 0xa8(%rsp)
movq 0xa8(%rsp), %rcx
movq 0x1e0(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x1c0(%rsp), %rax
movq 0x208(%rsp), %rdi
movq 0x1f8(%rsp), %rsi
callq *%rax
movq 0xf8(%rsp), %rax
addq $-0x1, %rax
movq %rax, 0xf8(%rsp)
jmp 0x172fdf
jmp 0x173124
movq 0x208(%rsp), %rax
movq 0x118(%rax), %rcx
movq 0x208(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x200(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x208(%rsp), %rax
movq %rcx, (%rax)
movb $0x1, 0x217(%rsp)
jmp 0x1734db
leaq 0x6ae(%rip), %rax       # 0x173820
cmpq %rax, 0x1d0(%rsp)
jne 0x1733ab
movq 0x1e0(%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x1733ab
leaq 0x471(%rip), %rax       # 0x173610
cmpq %rax, 0x1c8(%rsp)
je 0x1731cf
leaq 0x510(%rip), %rax       # 0x1736c0
cmpq %rax, 0x1c8(%rsp)
je 0x1731cf
leaq -0x6c211(%rip), %rax    # 0x106fb0
cmpq %rax, 0x1c8(%rsp)
jne 0x1733ab
movq 0x1d8(%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x1733ab
movq 0x1e0(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x88(%rsp)
movq 0x1d8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x80(%rsp)
movq 0x1f0(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x78(%rsp)
movq 0x88(%rsp), %rax
movq %rax, 0x90(%rsp)
movq 0x90(%rsp), %rax
cmpq 0x80(%rsp), %rax
jge 0x173364
movq 0x90(%rsp), %rax
movq %rax, 0x70(%rsp)
movq 0x70(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x173292
movq 0x70(%rsp), %rcx
leaq 0xa31fc(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x8(%rsp)
jmp 0x173315
jmp 0x173294
movq 0x208(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x208(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1732c1
movq 0x208(%rsp), %rdi
callq 0xc670
movq 0x208(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
movq $0xb, (%rax)
movq 0x70(%rsp), %rcx
movq 0x60(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x60(%rsp), %rax
movq %rax, 0x58(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x68(%rsp)
movq 0x68(%rsp), %rcx
movq 0x1e0(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x1c0(%rsp), %rax
movq 0x208(%rsp), %rdi
movq 0x1f8(%rsp), %rsi
callq *%rax
movq 0x78(%rsp), %rax
addq 0x90(%rsp), %rax
movq %rax, 0x90(%rsp)
jmp 0x173244
movq 0x208(%rsp), %rax
movq 0x118(%rax), %rcx
movq 0x208(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x200(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x208(%rsp), %rax
movq %rcx, (%rax)
movb $0x1, 0x217(%rsp)
jmp 0x1734db
jmp 0x1733ad
movq 0x1c0(%rsp), %rax
movq 0x208(%rsp), %rdi
movq 0x1f8(%rsp), %rsi
callq *%rax
movq 0x1e0(%rsp), %rax
movq 0x10(%rax), %rcx
movq 0x208(%rsp), %rax
movq 0x570(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x1e8(%rsp), %rcx
movq 0x208(%rsp), %rax
movq 0x578(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x1d0(%rsp), %rax
movq 0x208(%rsp), %rdi
movq 0x208(%rsp), %rcx
movq 0x570(%rcx), %rsi
callq *%rax
movq %rax, %rcx
movq 0x1e0(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x1e0(%rsp), %rax
movq 0x10(%rax), %rcx
movq 0x208(%rsp), %rax
movq 0x570(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x1d8(%rsp), %rax
movq 0x10(%rax), %rcx
movq 0x208(%rsp), %rax
movq 0x578(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x1c8(%rsp), %rax
movq 0x208(%rsp), %rdi
movq 0x208(%rsp), %rcx
movq 0x570(%rcx), %rsi
callq *%rax
movq 0x208(%rsp), %rcx
movq %rax, 0x20(%rcx)
movq 0x208(%rsp), %rcx
cmpq 0x120(%rcx), %rax
je 0x1734d6
movq 0x200(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x208(%rsp), %rax
movq %rcx, (%rax)
movb $0x1, 0x217(%rsp)
jmp 0x1734db
jmp 0x1733ad
movb 0x217(%rsp), %al
andb $0x1, %al
addq $0x218, %rsp            # imm = 0x218
retq
nopl (%rax)