// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: type_name_from_type
static const char *type_name_from_type(int32_t typ, article_t article)
                {
                    static const char *frees[2] =          {"free-cell",          "a free cell"};
                    static const char *nils[2] =           {"nil",                "nil"};
                    static const char *unuseds[2] =        {"#<unused>",          "the unused object"};
                    static const char *eofs[2] =           {"#<eof>",             "the end-of-file object"};
                    static const char *unspecs[2] =        {"#<unspecified>",     "the unspecified object"};
                    static const char *undefs[2] =         {"undefined",          "an undefined object"};
                    static const char *booleans[2] =       {"boolean",            "boolean"};
                    static const char *strings[2] =        {"string",             "a string"};
                    static const char *byte_vectors[2] =   {"byte-vector",        "a byte-vector"};
                    static const char *symbols[2] =        {"symbol",             "a symbol"};
                    static const char *syntaxes[2] =       {"syntax",             "syntactic"};
                    static const char *pairs[2] =          {"pair",               "a pair"};
                    static const char *gotos[2] =          {"goto",               "a goto (from call-with-exit)"};
                    static const char *continuations[2] =  {"continuation",       "a continuation"};
                    static const char *c_funcs[2] =        {"c-function",         "a c-function"};
                    static const char *c_funcs_star[2] =   {"c-function*",        "a c-function*"};
                    static const char *macros[2] =         {"macro",              "a macro"};
                    static const char *c_macros[2] =       {"c-macro",            "a c-macro"};
                    static const char *bacros[2] =         {"bacro",              "a bacro"};
                    static const char *vectors[2] =        {"vector",             "a vector"};
                    static const char *int_vectors[2] =    {"int-vector",         "an int-vector"};
                    static const char *float_vectors[2] =  {"float-vector",       "a float-vector"};
                    static const char *c_pointers[2] =     {"c-pointer",          "a raw C pointer"};
                    static const char *counters[2] =       {"internal-counter",   "an internal counter"};
                    static const char *baffles[2] =        {"baffle",             "a baffle"};
                    static const char *slots[2] =          {"slot",               "a slot (variable binding)"};
                    static const char *characters[2] =     {"character",          "a character"};
                    static const char *catches[2] =        {"catch",              "a catch"};
                    static const char *dynamic_winds[2] =  {"dynamic-wind",       "a dynamic-wind"};
                    static const char *hash_tables[2] =    {"hash-table",         "a hash-table"};
                    static const char *iterators[2] =      {"iterator",           "an iterator"};
                    static const char *lets[2] =           {"let",                "a let"};
                    static const char *integers[2] =       {"integer",            "an integer"};
                    static const char *big_integers[2] =   {"big-integer",        "a big integer"};
                    static const char *ratios[2] =         {"ratio",              "a ratio"};
                    static const char *big_ratios[2] =     {"big-ratio",          "a big ratio"};
                    static const char *reals[2] =          {"real",               "a real"};
                    static const char *big_reals[2] =      {"big-real",           "a big real"};
                    static const char *complexes[2] =      {"complex-number",     "a complex number"};
                    static const char *big_complexes[2] =  {"big-complex-number", "a big complex number"};
                    static const char *functions[2] =      {"function",           "a function"};
                    static const char *function_stars[2] = {"function*",          "a function*"};
                    static const char *rngs[2] =           {"random-state",       "a random-state"};
                    static const char *inputs[2] =         {"input-port",         "an input port"};
                    static const char *outputs[2] =        {"output-port",        "an output port"};
                    static const char *c_objects[2] =      {"c-object",           "a c_object"};
                    static const char *stacks[2] =         {"stack",              "a stack"};

                    switch (typ)
                    {
                        case T_FREE:            return(frees[article]);
                        case T_NIL:             return(nils[article]);
                        case T_UNUSED:          return(unuseds[article]);
                        case T_EOF_OBJECT:      return(eofs[article]);
                        case T_UNSPECIFIED:     return(unspecs[article]);
                        case T_UNDEFINED:       return(undefs[article]);
                        case T_BOOLEAN:         return(booleans[article]);
                        case T_STRING:          return(strings[article]);
                        case T_BYTE_VECTOR:     return(byte_vectors[article]);
                        case T_SYMBOL:          return(symbols[article]);
                        case T_SYNTAX:          return(syntaxes[article]);
                        case T_PAIR:            return(pairs[article]);
                        case T_GOTO:            return(gotos[article]);
                        case T_CONTINUATION:    return(continuations[article]);
                        case T_C_OPT_ARGS_FUNCTION:
                        case T_C_RST_ARGS_FUNCTION:
                        case T_C_ANY_ARGS_FUNCTION:
                        case T_C_FUNCTION:      return(c_funcs[article]);
                        case T_C_FUNCTION_STAR: return(c_funcs_star[article]);
                        case T_CLOSURE:         return(functions[article]);
                        case T_CLOSURE_STAR:    return(function_stars[article]);
                        case T_C_MACRO:         return(c_macros[article]);
                        case T_C_POINTER:       return(c_pointers[article]);
                        case T_CHARACTER:       return(characters[article]);
                        case T_VECTOR:          return(vectors[article]);
                        case T_INT_VECTOR:      return(int_vectors[article]);
                        case T_FLOAT_VECTOR:    return(float_vectors[article]);
                        case T_MACRO_STAR:
                        case T_MACRO:           return(macros[article]);
                        case T_BACRO_STAR:
                        case T_BACRO:           return(bacros[article]);
                        case T_CATCH:           return(catches[article]);
                        case T_STACK:           return(stacks[article]);
                        case T_DYNAMIC_WIND:    return(dynamic_winds[article]);
                        case T_HASH_TABLE:      return(hash_tables[article]);
                        case T_ITERATOR:        return(iterators[article]);
                        case T_LET:             return(lets[article]);
                        case T_COUNTER:         return(counters[article]);
                        case T_BAFFLE:          return(baffles[article]);
                        case T_RANDOM_STATE:    return(rngs[article]);
                        case T_SLOT:            return(slots[article]);
                        case T_INTEGER:         return(integers[article]);
                        case T_RATIO:           return(ratios[article]);
                        case T_REAL:            return(reals[article]);
                        case T_COMPLEX:         return(complexes[article]);
                        case T_BIG_INTEGER:     return(big_integers[article]);
                        case T_BIG_RATIO:       return(big_ratios[article]);
                        case T_BIG_REAL:        return(big_reals[article]);
                        case T_BIG_COMPLEX:     return(big_complexes[article]);
                        case T_INPUT_PORT:      return(inputs[article]);
                        case T_OUTPUT_PORT:     return(outputs[article]);
                        case T_C_OBJECT:        return(c_objects[article]);
                    }
                    return(NULL);
                }

// Assembly:
movl %edi, -0xc(%rsp)
movl %esi, -0x10(%rsp)
movl -0xc(%rsp), %eax
movq %rax, -0x18(%rsp)
subq $0x33, %rax
ja 0x61176
movq -0x18(%rsp), %rax
leaq 0x17dc69(%rip), %rcx    # 0x1de8f0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b51a3(%rip), %rax    # 0x215e40
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5198(%rip), %rax    # 0x215e50
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b518d(%rip), %rax    # 0x215e60
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5182(%rip), %rax    # 0x215e70
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5177(%rip), %rax    # 0x215e80
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b516c(%rip), %rax    # 0x215e90
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5161(%rip), %rax    # 0x215ea0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5156(%rip), %rax    # 0x215eb0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b514b(%rip), %rax    # 0x215ec0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5140(%rip), %rax    # 0x215ed0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5135(%rip), %rax    # 0x215ee0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b512a(%rip), %rax    # 0x215ef0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b511f(%rip), %rax    # 0x215f00
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5114(%rip), %rax    # 0x215f10
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5109(%rip), %rax    # 0x215f20
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b50fe(%rip), %rax    # 0x215f30
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5273(%rip), %rax    # 0x2160c0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5268(%rip), %rax    # 0x2160d0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b50cd(%rip), %rax    # 0x215f50
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5102(%rip), %rax    # 0x215fa0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5127(%rip), %rax    # 0x215fe0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b509c(%rip), %rax    # 0x215f70
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5091(%rip), %rax    # 0x215f80
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5086(%rip), %rax    # 0x215f90
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b501b(%rip), %rax    # 0x215f40
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5020(%rip), %rax    # 0x215f60
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5095(%rip), %rax    # 0x215ff0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b51aa(%rip), %rax    # 0x216120
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b506f(%rip), %rax    # 0x216000
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5064(%rip), %rax    # 0x216010
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b5059(%rip), %rax    # 0x216020
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b504e(%rip), %rax    # 0x216030
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4fb3(%rip), %rax    # 0x215fb0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4fa8(%rip), %rax    # 0x215fc0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b50ad(%rip), %rax    # 0x2160e0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4f82(%rip), %rax    # 0x215fd0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4fd7(%rip), %rax    # 0x216040
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4fdc(%rip), %rax    # 0x216060
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4fe1(%rip), %rax    # 0x216080
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4fe6(%rip), %rax    # 0x2160a0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4f7b(%rip), %rax    # 0x216050
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4f80(%rip), %rax    # 0x216070
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4f85(%rip), %rax    # 0x216090
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4f8d(%rip), %rax    # 0x2160b0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4fb5(%rip), %rax    # 0x2160f0
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4fad(%rip), %rax    # 0x216100
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movl -0x10(%rsp), %eax
movl %eax, %ecx
leaq 0x1b4fa5(%rip), %rax    # 0x216110
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rsp)
jmp 0x6117f
movq $0x0, -0x8(%rsp)
movq -0x8(%rsp), %rax
retq
nopw %cs:(%rax,%rax)