// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: g_signature
static s7_pointer g_signature(s7_scheme *sc, s7_pointer args)
                {
                    s7_pointer p;
#define H_signature "(signature obj) returns obj's signature"
#define Q_signature s7_make_signature(sc, 2, s7_make_signature(sc, 2, sc->is_pair_symbol, sc->is_boolean_symbol), sc->T)

                    p = car(args);
                    switch (type(p))
                    {
                        case T_C_FUNCTION:
                        case T_C_FUNCTION_STAR:
                        case T_C_ANY_ARGS_FUNCTION:
                        case T_C_OPT_ARGS_FUNCTION:
                        case T_C_RST_ARGS_FUNCTION:
                        case T_C_MACRO:
                            return((s7_pointer)c_function_signature(p));

                        case T_MACRO:   case T_MACRO_STAR:
                        case T_BACRO:   case T_BACRO_STAR:
                        case T_CLOSURE: case T_CLOSURE_STAR:
                            {
                                s7_pointer func;
                                func = funclet_entry(sc, p, sc->local_signature_symbol);
                                if (func) return(func);
                                func = funclet_entry(sc, p, sc->signature_symbol);
                                if (func) return(s7_apply_function(sc, func, args));
                                return(sc->F);
                            }

                        case T_VECTOR:
                            if (vector_length(p) == 0) return(sc->F); /* sig () is #f so sig #() should be #f */
                            if (!is_typed_vector(p))
                                return(sc->vector_signature);
                            {
                                s7_pointer lst;
                                lst = list_3(sc, typed_vector_typer_symbol(sc, p), sc->is_vector_symbol, sc->is_integer_symbol);
                                cdddr(lst) = cddr(lst);
                                return(lst);
                            }

                        case T_FLOAT_VECTOR: return((vector_length(p) == 0) ? sc->F : sc->float_vector_signature);
                        case T_INT_VECTOR:   return((vector_length(p) == 0) ? sc->F : sc->int_vector_signature);
                        case T_BYTE_VECTOR:  return((vector_length(p) == 0) ? sc->F : sc->byte_vector_signature);
                        case T_PAIR:         return(sc->pair_signature);
                        case T_STRING:       return(sc->string_signature);

                        case T_HASH_TABLE:
                                             if (is_typed_hash_table(p))
                                                 return(list_3(sc,
                                                             hash_table_typer_symbol(sc, hash_table_value_typer(p)),
                                                             sc->is_hash_table_symbol,
                                                             hash_table_typer_symbol(sc, hash_table_key_typer(p))));
                                             return(sc->hash_table_signature);

                        case T_ITERATOR:
                                             p = iterator_sequence(p);
                                             if ((is_hash_table(p)) || (is_let(p)))   /* cons returned -- would be nice to include the car/cdr types if known */
                                                 return(list_1(sc, sc->is_pair_symbol));
                                             p = g_signature(sc, set_plist_1(sc, p));
                                             if (is_pair(p))
                                                 return(list_1(sc, car(p)));
                                             return(list_1(sc, sc->T));

                        case T_C_OBJECT:
                                             check_method(sc, p, sc->signature_symbol, args);
                                             return(sc->c_object_signature);

                        case T_LET:
                                             check_method(sc, p, sc->signature_symbol, args);
                                             return(sc->let_signature);

                        case T_SYMBOL:
                                             /* this used to get the symbol's value and call g_signature on that */
                                             {
                                                 s7_pointer slot;
                                                 slot = symbol_to_slot(sc, p);
                                                 if ((is_slot(slot)) && (slot_has_setter(slot)))
                                                 {
                                                     s7_pointer setter;
                                                     setter = slot_setter(slot);
                                                     p = g_signature(sc, set_plist_1(sc, setter));
                                                     if (is_pair(p))
                                                         return(list_1(sc, car(p)));
                                                 }
                                             }
                                             break;

                        default:
                                             break;
                    }
                    return(sc->F);
                }

// Assembly:
subq $0x1b8, %rsp            # imm = 0x1B8
movq %rdi, 0x1a8(%rsp)
movq %rsi, 0x1a0(%rsp)
movq 0x1a0(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x198(%rsp)
movq 0x198(%rsp), %rax
movzbl (%rax), %eax
decl %eax
movl %eax, %ecx
movq %rcx, 0xa0(%rsp)
subl $0x32, %eax
ja 0x3b408
movq 0xa0(%rsp), %rax
leaq 0x1a3ba2(%rip), %rcx    # 0x1de38c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x198(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x38(%rax), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x1a8(%rsp), %rdi
movq 0x198(%rsp), %rsi
movq 0x1a8(%rsp), %rax
movq 0x16c8(%rax), %rdx
callq 0x3a500
movq %rax, 0x190(%rsp)
cmpq $0x0, 0x190(%rsp)
je 0x3a85c
movq 0x190(%rsp), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x1a8(%rsp), %rdi
movq 0x198(%rsp), %rsi
movq 0x1a8(%rsp), %rax
movq 0x14d0(%rax), %rdx
callq 0x3a500
movq %rax, 0x190(%rsp)
cmpq $0x0, 0x190(%rsp)
je 0x3a8bd
movq 0x1a8(%rsp), %rdi
movq 0x190(%rsp), %rsi
movq 0x1a0(%rsp), %rdx
callq 0xda50
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x1a8(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x198(%rsp), %rax
cmpq $0x0, 0x8(%rax)
jne 0x3a904
movq 0x1a8(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x198(%rsp), %rax
movzwl 0x6(%rax), %eax
andl $0x2, %eax
cmpl $0x0, %eax
jne 0x3a934
movq 0x1a8(%rsp), %rax
movq 0x1978(%rax), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x1a8(%rsp), %rax
movq %rax, 0x80(%rsp)
movq 0x1a8(%rsp), %rdi
movq 0x198(%rsp), %rsi
callq 0xd8a90
movq %rax, 0x88(%rsp)
movq 0x1a8(%rsp), %rax
movq %rax, 0x90(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x11b0(%rax), %rax
movq %rax, 0x98(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x10d0(%rax), %rax
movq %rax, 0x178(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x170(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x1a8(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x3a9e3
movq 0x1a8(%rsp), %rdi
callq 0xc670
movq 0x1a8(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x180(%rsp)
movq 0x180(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x98(%rsp), %rsi
movq 0x90(%rsp), %rdi
movq 0x178(%rsp), %rcx
movq 0x180(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x170(%rsp), %rcx
movq 0x180(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x180(%rsp), %rax
movq %rax, 0x168(%rsp)
movq 0x168(%rsp), %rdx
callq 0xd9f0
movq 0x80(%rsp), %rdi
movq 0x88(%rsp), %rsi
movq %rax, %rdx
callq 0xd9f0
movq %rax, 0x188(%rsp)
movq 0x188(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x188(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rcx, 0x10(%rax)
movq 0x188(%rsp), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x198(%rsp), %rax
cmpq $0x0, 0x8(%rax)
jne 0x3aaee
movq 0x1a8(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x78(%rsp)
jmp 0x3ab02
movq 0x1a8(%rsp), %rax
movq 0x1980(%rax), %rax
movq %rax, 0x78(%rsp)
movq 0x78(%rsp), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x198(%rsp), %rax
cmpq $0x0, 0x8(%rax)
jne 0x3ab39
movq 0x1a8(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x70(%rsp)
jmp 0x3ab4d
movq 0x1a8(%rsp), %rax
movq 0x1988(%rax), %rax
movq %rax, 0x70(%rsp)
movq 0x70(%rsp), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x198(%rsp), %rax
cmpq $0x0, 0x8(%rax)
jne 0x3ab84
movq 0x1a8(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x68(%rsp)
jmp 0x3ab98
movq 0x1a8(%rsp), %rax
movq 0x1990(%rax), %rax
movq %rax, 0x68(%rsp)
movq 0x68(%rsp), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x1a8(%rsp), %rax
movq 0x19b0(%rax), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x1a8(%rsp), %rax
movq 0x1970(%rax), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x198(%rsp), %rax
movzwl 0x6(%rax), %eax
andl $0x2, %eax
cmpl $0x0, %eax
je 0x3ad61
movq 0x1a8(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x1a8(%rsp), %rdi
movq 0x198(%rsp), %rax
movq 0x28(%rax), %rax
movq 0x20(%rax), %rax
movq 0x20(%rax), %rsi
callq 0xd97a0
movq %rax, 0x50(%rsp)
movq 0x1a8(%rsp), %rax
movq %rax, 0x58(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x10a0(%rax), %rax
movq %rax, 0x60(%rsp)
movq 0x1a8(%rsp), %rdi
movq 0x198(%rsp), %rax
movq 0x28(%rax), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rsi
callq 0xd97a0
movq %rax, 0x158(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x150(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x1a8(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x3acbb
movq 0x1a8(%rsp), %rdi
callq 0xc670
movq 0x1a8(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x160(%rsp)
movq 0x160(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x60(%rsp), %rsi
movq 0x58(%rsp), %rdi
movq 0x158(%rsp), %rcx
movq 0x160(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x150(%rsp), %rcx
movq 0x160(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x160(%rsp), %rax
movq %rax, 0x148(%rsp)
movq 0x148(%rsp), %rdx
callq 0xd9f0
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movq %rax, %rdx
callq 0xd9f0
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x1a8(%rsp), %rax
movq 0x19a8(%rax), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x198(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x198(%rsp)
movq 0x198(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1b, %eax
je 0x3adb5
movq 0x198(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1c, %eax
jne 0x3ae95
movq 0x1a8(%rsp), %rax
movq 0x1140(%rax), %rax
movq %rax, 0x138(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x130(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x1a8(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x3ae10
movq 0x1a8(%rsp), %rdi
callq 0xc670
movq 0x1a8(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x140(%rsp)
movq 0x140(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x138(%rsp), %rcx
movq 0x140(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x130(%rsp), %rcx
movq 0x140(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x140(%rsp), %rax
movq %rax, 0x128(%rsp)
movq 0x128(%rsp), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x1a8(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x1a8(%rsp), %rdi
movq 0x198(%rsp), %rsi
callq 0x35ea0
movq 0x40(%rsp), %rdi
movq %rax, %rsi
callq 0x3a790
movq %rax, 0x198(%rsp)
movq 0x198(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x3afbd
movq 0x198(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x118(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x110(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x1a8(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x3af38
movq 0x1a8(%rsp), %rdi
callq 0xc670
movq 0x1a8(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x120(%rsp)
movq 0x120(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x118(%rsp), %rcx
movq 0x120(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x110(%rsp), %rcx
movq 0x120(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x120(%rsp), %rax
movq %rax, 0x108(%rsp)
movq 0x108(%rsp), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x1a8(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0xf8(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0xf0(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x1a8(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x3b018
movq 0x1a8(%rsp), %rdi
callq 0xc670
movq 0x1a8(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x100(%rsp)
movq 0x100(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0xf8(%rsp), %rcx
movq 0x100(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0xf0(%rsp), %rcx
movq 0x100(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x100(%rsp), %rax
movq %rax, 0xe8(%rsp)
movq 0xe8(%rsp), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x198(%rsp), %rax
movq (%rax), %rax
andq $0x40000000, %rax       # imm = 0x40000000
cmpq $0x0, %rax
je 0x3b172
movq 0x1a8(%rsp), %rax
testb $0x1, 0x24c(%rax)
je 0x3b172
movq 0x1a8(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0x1a8(%rsp), %rdi
movq 0x198(%rsp), %rsi
callq 0x9a10
movq 0x38(%rsp), %rdi
movq %rax, %rsi
movq 0x1a8(%rsp), %rax
movq 0x14d0(%rax), %rdx
callq 0x98d0
movq %rax, 0xe0(%rsp)
movq 0x1a8(%rsp), %rcx
cmpq 0x128(%rcx), %rax
je 0x3b172
movq 0x1a8(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0xe0(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x1a8(%rsp), %rdi
movq 0x1a0(%rsp), %rsi
callq 0x44270
movq 0x28(%rsp), %rdi
movq 0x30(%rsp), %rsi
movq %rax, %rdx
callq 0xda50
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x1a8(%rsp), %rax
movq 0x1998(%rax), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x198(%rsp), %rax
movq (%rax), %rax
andq $0x40000000, %rax       # imm = 0x40000000
cmpq $0x0, %rax
je 0x3b263
movq 0x1a8(%rsp), %rax
testb $0x1, 0x24c(%rax)
je 0x3b263
movq 0x1a8(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x1a8(%rsp), %rdi
movq 0x198(%rsp), %rsi
callq 0x9a10
movq 0x20(%rsp), %rdi
movq %rax, %rsi
movq 0x1a8(%rsp), %rax
movq 0x14d0(%rax), %rdx
callq 0x98d0
movq %rax, 0xd8(%rsp)
movq 0x1a8(%rsp), %rcx
cmpq 0x128(%rcx), %rax
je 0x3b263
movq 0x1a8(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0xd8(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x1a8(%rsp), %rdi
movq 0x1a0(%rsp), %rsi
callq 0x44270
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq %rax, %rdx
callq 0xda50
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x1a8(%rsp), %rax
movq 0x19a0(%rax), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
movq 0x1a8(%rsp), %rdi
movq 0x198(%rsp), %rsi
callq 0xfc80
movq %rax, 0xd0(%rsp)
movq 0xd0(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x20, %eax
jne 0x3b406
movq 0xd0(%rsp), %rax
movq (%rax), %rax
andq $0x40000, %rax          # imm = 0x40000
cmpq $0x0, %rax
je 0x3b406
movq 0xd0(%rsp), %rax
movq 0x28(%rax), %rax
movq %rax, 0xc8(%rsp)
movq 0x1a8(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x1a8(%rsp), %rdi
movq 0xc8(%rsp), %rsi
callq 0x35ea0
movq 0x8(%rsp), %rdi
movq %rax, %rsi
callq 0x3a790
movq %rax, 0x198(%rsp)
movq 0x198(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x3b404
movq 0x198(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0xb8(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0xb0(%rsp)
movq 0x1a8(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x1a8(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x3b382
movq 0x1a8(%rsp), %rdi
callq 0xc670
movq 0x1a8(%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 $0x200001, (%rax)       # imm = 0x200001
movq 0xb8(%rsp), %rcx
movq 0xc0(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0xb0(%rsp), %rcx
movq 0xc0(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0xc0(%rsp), %rax
movq %rax, 0xa8(%rsp)
movq 0xa8(%rsp), %rax
movq %rax, 0x1b0(%rsp)
jmp 0x3b421
jmp 0x3b406
jmp 0x3b40a
jmp 0x3b40a
movq 0x1a8(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x1b0(%rsp)
movq 0x1b0(%rsp), %rax
addq $0x1b8, %rsp            # imm = 0x1B8
retq
nopw %cs:(%rax,%rax)