// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: decoded_name
static const char *decoded_name(s7_scheme *sc, s7_pointer p)
                {
                    int32_t i;
                    if (p == sc->value) return("value");
                    if (p == sc->args) return("args");
                    if (p == sc->code) return("code");
                    if (p == sc->cur_code) return("cur_code");
                    if (p == sc->envir) return("envir");
                    if (p == sc->nil) return("nil");
                    if (p == sc->T) return("T");
                    if (p == sc->F) return("F");
                    if (p == eof_object) return("eof_object");
                    if (p == sc->undefined) return("undefined");
                    if (p == sc->unspecified) return("unspecified");
                    if (p == sc->no_value) return("no_value");
                    if (p == sc->unused) return("#<unused>");
                    if (p == sc->symbol_table) return("symbol_table");
                    if (p == sc->rootlet) return("rootlet");
                    if (p == sc->s7_let) return("*s7*");
                    if (p == sc->unlet) return("unlet");
                    if (p == sc->input_port) return("input_port");
                    if (p == sc->output_port) return("output_port");
                    if (p == sc->error_port) return("error_port");
                    if (p == sc->owlet) return("owlet");
                    if (p == sc->error_type) return("error_type");
                    if (p == sc->error_data) return("error_data");
                    if (p == sc->error_code) return("error_code");
                    if (p == sc->error_line) return("error_line");
                    if (p == sc->error_file) return("error_file");
                    if (p == sc->standard_input) return("standard_input");
                    if (p == sc->standard_output) return("standard_output");
                    if (p == sc->standard_error) return("standard_error");
                    if (p == sc->else_symbol) return("else_symbol");
                    if (p == sc->load_hook) return("load_hook");
                    if (p == sc->unbound_variable_hook) return("unbound_variable_hook");
                    if (p == sc->missing_close_paren_hook) return("missing_close_paren_hook");
                    if (p == sc->rootlet_redefinition_hook) return("rootlet_redefinition_hook");
                    if (p == sc->error_hook) return("error_hook");
                    if (p == sc->read_error_hook) return("read_error_hook");
                    if (p == sc->v) return("v");
                    if (p == sc->w) return("w");
                    if (p == sc->x) return("x");
                    if (p == sc->y) return("y");
                    if (p == sc->z) return("z");
                    if (p == sc->temp1) return("temp1");
                    if (p == sc->temp2) return("temp2");
                    if (p == sc->temp3) return("temp3");
                    if (p == sc->temp4) return("temp4");
                    if (p == sc->temp6) return("temp6");
                    if (p == sc->temp7) return("temp7");
                    if (p == sc->temp8) return("temp8");
                    if (p == sc->temp9) return("temp9");
                    if (p == sc->temp10) return("temp10");
                    if (p == sc->temp_cell) return("temp_cell");
                    if (p == sc->temp_cell_1) return("temp_cell_1");
                    if (p == sc->temp_cell_2) return("temp_cell_2");
                    if (p == sc->t1_1) return("t1_1");
                    if (p == sc->t2_1) return("t2_1");
                    if (p == sc->t2_2) return("t2_2");
                    if (p == sc->t3_1) return("t3_1");
                    if (p == sc->t3_2) return("t3_2");
                    if (p == sc->t3_3) return("t3_3");
                    if (p == sc->t4_1) return("t4_1");
                    if (p == sc->z2_1) return("z2_1");
                    if (p == sc->z2_2) return("z2_2");
                    if (p == sc->elist_1) return("elist_1");
                    if (p == sc->elist_2) return("elist_2");
                    if (p == sc->elist_3) return("elist_3");
                    if (p == sc->elist_4) return("elist_4");
                    if (p == sc->elist_5) return("elist_5");
                    if (p == sc->plist_1) return("plist_1");
                    if (p == sc->plist_2) return("plist_2");
                    if (p == sc->plist_3) return("plist_3");
                    if (p == sc->qlist_2) return("qlist_2");
                    if (p == sc->qlist_3) return("qlist_3");
                    if (p == sc->clist_1) return("clist_1");
                    if (p == sc->integer_wrapper1) return("integer_wrapper1");
                    if (p == sc->integer_wrapper2) return("integer_wrapper2");
                    if (p == sc->integer_wrapper3) return("integer_wrapper3");
                    if (p == sc->real_wrapper1) return("real_wrapper1");
                    if (p == sc->real_wrapper2) return("real_wrapper2");
                    if (p == sc->real_wrapper3) return("real_wrapper3");
                    if (p == sc->real_wrapper4) return("real_wrapper4");
                    for (i = 0; i < NUM_STRING_WRAPPERS; i++)
                        if (p == sc->string_wrappers[i])
                            return("string_wrapper");
                    if (p == sc->wrong_type_arg_info) return("wrong_type_arg_info");
                    if (p == sc->out_of_range_info) return("out_of_range_info");
                    if (p == sc->simple_wrong_type_arg_info) return("simple_wrong_type_arg_info");
                    if (p == sc->simple_out_of_range_info) return("simple_out_of_range_info");
                    if (p == too_many_arguments_string) return("too_many_arguments_string");
                    if (p == not_enough_arguments_string) return("not_enough_arguments_string");
                    if (p == missing_method_string) return("missing_method_string");
                    if (p == sc->stack) return("stack");

                    for (i = 0; i < NUM_SAFE_LISTS; i++)
                        if (p == sc->safe_lists[i])
                            return("safe_list");

#if WITH_HISTORY
                    if (p == sc->history_sink) return("history_sink");
                    {
                        s7_pointer p1, p2, p3;
                        for (p1 = sc->eval_history1, p2 = sc->eval_history2, p3 = sc->history_pairs; ; p2 = cdr(p2), p3 = cdr(p3))
                        {
                            if (p == p1) return("eval_history1");
                            if (p == p2) return("eval_history2");
                            if (p == p3) return("history_pairs");
                            p1 = cdr(p1);
                            if (p1 == sc->eval_history1) break; /* these are circular lists */
                        }
                    }
#endif
                    return(NULL);
                }

// Assembly:
movq %rdi, -0x10(%rsp)
movq %rsi, -0x18(%rsp)
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x20(%rcx), %rax
jne 0x4825b
leaq 0x1a6aa6(%rip), %rax    # 0x1eecf7
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x10(%rcx), %rax
jne 0x4827c
leaq 0x1ab97b(%rip), %rax    # 0x1f3bed
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq (%rcx), %rax
jne 0x4829c
leaq 0x1a2dbb(%rip), %rax    # 0x1eb04d
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x28(%rcx), %rax
jne 0x482bd
leaq 0x1a9917(%rip), %rax    # 0x1f1bca
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x8(%rcx), %rax
jne 0x482de
leaq 0x1a98ff(%rip), %rax    # 0x1f1bd3
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x48302
leaq 0x1a98e1(%rip), %rax    # 0x1f1bd9
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x118(%rcx), %rax
jne 0x48326
leaq 0x1a98c1(%rip), %rax    # 0x1f1bdd
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x120(%rcx), %rax
jne 0x4834a
leaq 0x1a989f(%rip), %rax    # 0x1f1bdf
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
cmpq 0x1cdf3a(%rip), %rax    # 0x216290
jne 0x48369
leaq 0x1a9882(%rip), %rax    # 0x1f1be1
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x128(%rcx), %rax
jne 0x4838d
leaq 0x1a9869(%rip), %rax    # 0x1f1bec
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x130(%rcx), %rax
jne 0x483b1
leaq 0x1a984f(%rip), %rax    # 0x1f1bf6
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x138(%rcx), %rax
jne 0x483d5
leaq 0x1a9837(%rip), %rax    # 0x1f1c02
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x140(%rcx), %rax
jne 0x483f9
leaq 0x199b06(%rip), %rax    # 0x1e1ef5
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x148(%rcx), %rax
jne 0x4841d
leaq 0x1a97f8(%rip), %rax    # 0x1f1c0b
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x150(%rcx), %rax
jne 0x48441
leaq 0x1a6a7d(%rip), %rax    # 0x1eeeb4
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x2150(%rcx), %rax
jne 0x48465
leaq 0x1a69f2(%rip), %rax    # 0x1eee4d
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x168(%rcx), %rax
jne 0x48489
leaq 0x19bb9a(%rip), %rax    # 0x1e4019
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x170(%rcx), %rax
jne 0x484ad
leaq 0x1a9775(%rip), %rax    # 0x1f1c18
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x188(%rcx), %rax
jne 0x484d1
leaq 0x1a975c(%rip), %rax    # 0x1f1c23
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x190(%rcx), %rax
jne 0x484f5
leaq 0x1a9744(%rip), %rax    # 0x1f1c2f
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x198(%rcx), %rax
jne 0x48519
leaq 0x1a6abd(%rip), %rax    # 0x1eefcc
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1a0(%rcx), %rax
jne 0x4853d
leaq 0x1a9707(%rip), %rax    # 0x1f1c3a
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1a8(%rcx), %rax
jne 0x48561
leaq 0x1a96ee(%rip), %rax    # 0x1f1c45
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1b0(%rcx), %rax
jne 0x48585
leaq 0x1a96d5(%rip), %rax    # 0x1f1c50
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1b8(%rcx), %rax
jne 0x485a9
leaq 0x1a96bc(%rip), %rax    # 0x1f1c5b
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1c0(%rcx), %rax
jne 0x485cd
leaq 0x1a96a3(%rip), %rax    # 0x1f1c66
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1c8(%rcx), %rax
jne 0x485f1
leaq 0x1a968a(%rip), %rax    # 0x1f1c71
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1d0(%rcx), %rax
jne 0x48615
leaq 0x1a9675(%rip), %rax    # 0x1f1c80
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1d8(%rcx), %rax
jne 0x48639
leaq 0x1a9661(%rip), %rax    # 0x1f1c90
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1790(%rcx), %rax
jne 0x4865d
leaq 0x1a964c(%rip), %rax    # 0x1f1c9f
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1e8(%rcx), %rax
jne 0x48681
leaq 0x1a9634(%rip), %rax    # 0x1f1cab
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1f0(%rcx), %rax
jne 0x486a5
leaq 0x1a961a(%rip), %rax    # 0x1f1cb5
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1f8(%rcx), %rax
jne 0x486c9
leaq 0x1a960c(%rip), %rax    # 0x1f1ccb
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x200(%rcx), %rax
jne 0x486ed
leaq 0x1a9601(%rip), %rax    # 0x1f1ce4
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x208(%rcx), %rax
jne 0x48711
leaq 0x1a95fc(%rip), %rax    # 0x1f1d03
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x210(%rcx), %rax
jne 0x48735
leaq 0x1a95d3(%rip), %rax    # 0x1f1cfe
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x4d0(%rcx), %rax
jne 0x48759
leaq 0x1a15c5(%rip), %rax    # 0x1e9d14
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x4d8(%rcx), %rax
jne 0x4877d
leaq 0x1ab662(%rip), %rax    # 0x1f3dd5
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x4e0(%rcx), %rax
jne 0x487a1
leaq 0x19db60(%rip), %rax    # 0x1e62f7
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x4e8(%rcx), %rax
jne 0x487c5
leaq 0x1994f1(%rip), %rax    # 0x1e1cac
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x4f0(%rcx), %rax
jne 0x487e9
leaq 0x19d950(%rip), %rax    # 0x1e612f
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x4f8(%rcx), %rax
jne 0x4880d
leaq 0x1a950b(%rip), %rax    # 0x1f1d0e
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x500(%rcx), %rax
jne 0x48831
leaq 0x1a94ed(%rip), %rax    # 0x1f1d14
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x508(%rcx), %rax
jne 0x48855
leaq 0x1a94cf(%rip), %rax    # 0x1f1d1a
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x510(%rcx), %rax
jne 0x48879
leaq 0x1a94b1(%rip), %rax    # 0x1f1d20
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x520(%rcx), %rax
jne 0x4889d
leaq 0x1a9493(%rip), %rax    # 0x1f1d26
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x528(%rcx), %rax
jne 0x488c1
leaq 0x1a9475(%rip), %rax    # 0x1f1d2c
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x530(%rcx), %rax
jne 0x488e5
leaq 0x1a9457(%rip), %rax    # 0x1f1d32
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x538(%rcx), %rax
jne 0x48909
leaq 0x1a9439(%rip), %rax    # 0x1f1d38
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x540(%rcx), %rax
jne 0x4892d
leaq 0x1a941b(%rip), %rax    # 0x1f1d3e
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x548(%rcx), %rax
jne 0x48951
leaq 0x1a93fe(%rip), %rax    # 0x1f1d45
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x550(%rcx), %rax
jne 0x48975
leaq 0x1a93e4(%rip), %rax    # 0x1f1d4f
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x558(%rcx), %rax
jne 0x48999
leaq 0x1a93cc(%rip), %rax    # 0x1f1d5b
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x568(%rcx), %rax
jne 0x489bd
leaq 0x1a93b4(%rip), %rax    # 0x1f1d67
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x570(%rcx), %rax
jne 0x489e1
leaq 0x1a9395(%rip), %rax    # 0x1f1d6c
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x578(%rcx), %rax
jne 0x48a05
leaq 0x1a9376(%rip), %rax    # 0x1f1d71
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x580(%rcx), %rax
jne 0x48a29
leaq 0x1a9357(%rip), %rax    # 0x1f1d76
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x588(%rcx), %rax
jne 0x48a4d
leaq 0x1a9338(%rip), %rax    # 0x1f1d7b
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x590(%rcx), %rax
jne 0x48a71
leaq 0x1a9319(%rip), %rax    # 0x1f1d80
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x5a8(%rcx), %rax
jne 0x48a95
leaq 0x1a92fa(%rip), %rax    # 0x1f1d85
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x598(%rcx), %rax
jne 0x48ab9
leaq 0x1a92db(%rip), %rax    # 0x1f1d8a
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x5a0(%rcx), %rax
jne 0x48add
leaq 0x1a92bc(%rip), %rax    # 0x1f1d8f
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x6d8(%rcx), %rax
jne 0x48b01
leaq 0x1a929d(%rip), %rax    # 0x1f1d94
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x6e0(%rcx), %rax
jne 0x48b25
leaq 0x1a9281(%rip), %rax    # 0x1f1d9c
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x6e8(%rcx), %rax
jne 0x48b49
leaq 0x1a9265(%rip), %rax    # 0x1f1da4
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x6f0(%rcx), %rax
jne 0x48b6d
leaq 0x1a9249(%rip), %rax    # 0x1f1dac
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x6f8(%rcx), %rax
jne 0x48b91
leaq 0x1a922d(%rip), %rax    # 0x1f1db4
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x700(%rcx), %rax
jne 0x48bb5
leaq 0x1a9211(%rip), %rax    # 0x1f1dbc
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x708(%rcx), %rax
jne 0x48bd9
leaq 0x1a91f5(%rip), %rax    # 0x1f1dc4
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x718(%rcx), %rax
jne 0x48bfd
leaq 0x1a91d9(%rip), %rax    # 0x1f1dcc
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x720(%rcx), %rax
jne 0x48c21
leaq 0x1a91bd(%rip), %rax    # 0x1f1dd4
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x728(%rcx), %rax
jne 0x48c45
leaq 0x1a91a1(%rip), %rax    # 0x1f1ddc
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x730(%rcx), %rax
jne 0x48c69
leaq 0x1a9185(%rip), %rax    # 0x1f1de4
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1f00(%rcx), %rax
jne 0x48c8d
leaq 0x1a9169(%rip), %rax    # 0x1f1dec
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1f08(%rcx), %rax
jne 0x48cb1
leaq 0x1a9156(%rip), %rax    # 0x1f1dfd
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1f10(%rcx), %rax
jne 0x48cd5
leaq 0x1a9143(%rip), %rax    # 0x1f1e0e
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1f18(%rcx), %rax
jne 0x48cf9
leaq 0x1a9130(%rip), %rax    # 0x1f1e1f
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1f20(%rcx), %rax
jne 0x48d1d
leaq 0x1a911a(%rip), %rax    # 0x1f1e2d
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1f28(%rcx), %rax
jne 0x48d41
leaq 0x1a9104(%rip), %rax    # 0x1f1e3b
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1f30(%rcx), %rax
jne 0x48d65
leaq 0x1a90ee(%rip), %rax    # 0x1f1e49
movq %rax, -0x8(%rsp)
jmp 0x48f06
movl $0x0, -0x1c(%rsp)
cmpl $0x8, -0x1c(%rsp)
jge 0x48db0
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
movq 0x820(%rcx), %rcx
movslq -0x1c(%rsp), %rdx
cmpq (%rcx,%rdx,8), %rax
jne 0x48da1
leaq 0x1a90c0(%rip), %rax    # 0x1f1e57
movq %rax, -0x8(%rsp)
jmp 0x48f06
jmp 0x48da3
movl -0x1c(%rsp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rsp)
jmp 0x48d6d
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1ee0(%rcx), %rax
jne 0x48dd4
leaq 0x1a90a3(%rip), %rax    # 0x1f1e6d
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1ee8(%rcx), %rax
jne 0x48df8
leaq 0x1a909a(%rip), %rax    # 0x1f1e88
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1ef0(%rcx), %rax
jne 0x48e1c
leaq 0x1a9054(%rip), %rax    # 0x1f1e66
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x1ef8(%rcx), %rax
jne 0x48e40
leaq 0x1a904b(%rip), %rax    # 0x1f1e81
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
cmpq 0x1d9d9c(%rip), %rax    # 0x222be8
jne 0x48e5f
leaq 0x1a9045(%rip), %rax    # 0x1f1e9a
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
cmpq 0x1dc0cd(%rip), %rax    # 0x224f38
jne 0x48e7e
leaq 0x1a9040(%rip), %rax    # 0x1f1eb4
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
cmpq 0x1d8f76(%rip), %rax    # 0x221e00
jne 0x48e9a
leaq 0x1a903d(%rip), %rax    # 0x1f1ed0
movq %rax, -0x8(%rsp)
jmp 0x48f06
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
cmpq 0x38(%rcx), %rax
jne 0x48eb8
leaq 0x1aa462(%rip), %rax    # 0x1f3313
movq %rax, -0x8(%rsp)
jmp 0x48f06
movl $0x0, -0x1c(%rsp)
cmpl $0x40, -0x1c(%rsp)
jge 0x48efd
movq -0x18(%rsp), %rax
movq -0x10(%rsp), %rcx
movslq -0x1c(%rsp), %rdx
cmpq 0x1f38(%rcx,%rdx,8), %rax
jne 0x48eee
leaq 0x1a8fff(%rip), %rax    # 0x1f1ee6
movq %rax, -0x8(%rsp)
jmp 0x48f06
jmp 0x48ef0
movl -0x1c(%rsp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rsp)
jmp 0x48ec0
movq $0x0, -0x8(%rsp)
movq -0x8(%rsp), %rax
retq
nopl (%rax)