// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: s7_is_aritable
bool s7_is_aritable(s7_scheme *sc, s7_pointer x, s7_int args)
                {
                    switch (type(x))
                    {
                        case T_C_RST_ARGS_FUNCTION:
                        case T_C_FUNCTION:
                            return((c_function_required_args(x) <= args) &&
                                    (c_function_all_args(x) >= args));

                        case T_C_OPT_ARGS_FUNCTION: /* any/opt req args == 0 */
                        case T_C_ANY_ARGS_FUNCTION:
                        case T_C_FUNCTION_STAR:
                            return(c_function_all_args(x) >= args);

                        case T_MACRO:
                        case T_BACRO:
                        case T_CLOSURE:
                            return(closure_is_aritable(sc, x, closure_args(x), args));

                        case T_MACRO_STAR:
                        case T_BACRO_STAR:
                        case T_CLOSURE_STAR:
                            return(closure_star_is_aritable(sc, x, closure_args(x), args));

                        case T_C_MACRO:
                            return((c_macro_required_args(x) <= args) &&
                                    (c_macro_all_args(x) >= args));

                        case T_GOTO:
                        case T_CONTINUATION:
                            return(true);

                        case T_STRING:
                            return((args == 1) && (string_length(x) > 0)); /* ("" 0) -> error */

                        case T_C_OBJECT:
                            {
                                s7_pointer func;
                                if ((has_active_methods(sc, x)) &&
                                        ((func = find_method(sc, find_let(sc, x), sc->is_aritable_symbol)) != sc->undefined))
                                    return(s7_apply_function(sc, func, list_2(sc, x, s7_make_integer(sc, args))) != sc->F);
                                return(is_safe_procedure(x));
                            }

                        case T_VECTOR: case T_INT_VECTOR: case T_FLOAT_VECTOR: case T_BYTE_VECTOR:
                            return((args > 0) &&
                                    (vector_length(x) > 0) &&   /* (#() 0) -> error */
                                    (args <= vector_rank(x)));

                        case T_LET:
                        case T_HASH_TABLE:
                        case T_PAIR:
                            return(args == 1);

                        case T_ITERATOR:
                            return(args == 0);

                        case T_SYNTAX:
                            return((args >= syntax_min_args(x)) && ((args <= syntax_max_args(x)) || (syntax_max_args(x) == -1)));
                    }
                    return(false);
                }

// Assembly:
subq $0xa8, %rsp
movq %rdi, 0x98(%rsp)
movq %rsi, 0x90(%rsp)
movq %rdx, 0x88(%rsp)
movq 0x90(%rsp), %rax
movzbl (%rax), %eax
decl %eax
movl %eax, %ecx
movq %rcx, 0x58(%rsp)
subl $0x32, %eax
ja 0x3d0b8
movq 0x58(%rsp), %rax
leaq 0x1a18ec(%rip), %rcx    # 0x1de524
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x90(%rsp), %rax
movq 0x18(%rax), %rcx
xorl %eax, %eax
cmpq 0x88(%rsp), %rcx
movb %al, 0x57(%rsp)
jg 0x3cc78
movq 0x90(%rsp), %rax
movq 0x28(%rax), %rax
cmpq 0x88(%rsp), %rax
setge %al
movb %al, 0x57(%rsp)
movb 0x57(%rsp), %al
andb $0x1, %al
movb %al, 0xa7(%rsp)
jmp 0x3d0c0
movq 0x90(%rsp), %rax
movq 0x28(%rax), %rax
cmpq 0x88(%rsp), %rax
setge %al
andb $0x1, %al
movb %al, 0xa7(%rsp)
jmp 0x3d0c0
movq 0x98(%rsp), %rdi
movq 0x90(%rsp), %rsi
movq 0x90(%rsp), %rax
movq 0x8(%rax), %rdx
movq 0x88(%rsp), %rax
movl %eax, %ecx
callq 0x3d0e0
andb $0x1, %al
movb %al, 0xa7(%rsp)
jmp 0x3d0c0
movq 0x98(%rsp), %rdi
movq 0x90(%rsp), %rsi
movq 0x90(%rsp), %rax
movq 0x8(%rax), %rdx
movq 0x88(%rsp), %rax
movl %eax, %ecx
callq 0x3d1b0
andb $0x1, %al
movb %al, 0xa7(%rsp)
jmp 0x3d0c0
movq 0x90(%rsp), %rax
movq 0x18(%rax), %rcx
xorl %eax, %eax
cmpq 0x88(%rsp), %rcx
movb %al, 0x56(%rsp)
jg 0x3cd58
movq 0x90(%rsp), %rax
movq 0x28(%rax), %rax
cmpq 0x88(%rsp), %rax
setge %al
movb %al, 0x56(%rsp)
movb 0x56(%rsp), %al
andb $0x1, %al
movb %al, 0xa7(%rsp)
jmp 0x3d0c0
movb $0x1, 0xa7(%rsp)
jmp 0x3d0c0
xorl %eax, %eax
cmpq $0x1, 0x88(%rsp)
movb %al, 0x55(%rsp)
jne 0x3cd9c
movq 0x90(%rsp), %rax
cmpq $0x0, 0x8(%rax)
setg %al
movb %al, 0x55(%rsp)
movb 0x55(%rsp), %al
andb $0x1, %al
movb %al, 0xa7(%rsp)
jmp 0x3d0c0
movq 0x90(%rsp), %rax
movq (%rax), %rax
andq $0x40000000, %rax       # imm = 0x40000000
cmpq $0x0, %rax
je 0x3cf66
movq 0x98(%rsp), %rax
testb $0x1, 0x24c(%rax)
je 0x3cf66
movq 0x98(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x98(%rsp), %rdi
movq 0x90(%rsp), %rsi
callq 0x9a10
movq 0x48(%rsp), %rdi
movq %rax, %rsi
movq 0x98(%rsp), %rax
movq 0xfd0(%rax), %rdx
callq 0x98d0
movq %rax, 0x80(%rsp)
movq 0x98(%rsp), %rcx
cmpq 0x128(%rcx), %rax
je 0x3cf66
movq 0x98(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x80(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x98(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0x90(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x98(%rsp), %rdi
movq 0x88(%rsp), %rsi
callq 0x120f0
movq %rax, 0x70(%rsp)
movq 0x98(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x68(%rsp)
movq 0x98(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x98(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x3cec8
movq 0x98(%rsp), %rdi
callq 0xc670
movq 0x98(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x78(%rsp)
movq 0x78(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x40(%rsp), %rsi
movq 0x38(%rsp), %rdi
movq 0x70(%rsp), %rcx
movq 0x78(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x68(%rsp), %rcx
movq 0x78(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x78(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rdx
callq 0xd9f0
movq 0x28(%rsp), %rdi
movq 0x30(%rsp), %rsi
movq %rax, %rdx
callq 0xda50
movq 0x98(%rsp), %rcx
cmpq 0x120(%rcx), %rax
setne %al
andb $0x1, %al
movb %al, 0xa7(%rsp)
jmp 0x3d0c0
movq 0x90(%rsp), %rax
movq (%rax), %rax
andq $0x200000, %rax         # imm = 0x200000
cmpq $0x0, %rax
setne %al
andb $0x1, %al
movb %al, 0xa7(%rsp)
jmp 0x3d0c0
xorl %eax, %eax
cmpq $0x0, 0x88(%rsp)
movb %al, 0x27(%rsp)
jle 0x3d00d
movq 0x90(%rsp), %rcx
xorl %eax, %eax
cmpq $0x0, 0x8(%rcx)
movb %al, 0x27(%rsp)
jle 0x3d00d
movq 0x88(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x90(%rsp), %rax
movq 0x18(%rax), %rax
cmpq $0x0, 0x20(%rax)
je 0x3cfed
movq 0x90(%rsp), %rax
movq 0x18(%rax), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0x3cff9
movl $0x1, %eax
movq %rax, 0x10(%rsp)
jmp 0x3cff9
movq 0x18(%rsp), %rax
movq 0x10(%rsp), %rcx
cmpq %rcx, %rax
setle %al
movb %al, 0x27(%rsp)
movb 0x27(%rsp), %al
andb $0x1, %al
movb %al, 0xa7(%rsp)
jmp 0x3d0c0
cmpq $0x1, 0x88(%rsp)
sete %al
andb $0x1, %al
movb %al, 0xa7(%rsp)
jmp 0x3d0c0
cmpq $0x0, 0x88(%rsp)
sete %al
andb $0x1, %al
movb %al, 0xa7(%rsp)
jmp 0x3d0c0
movq 0x88(%rsp), %rcx
movq 0x90(%rsp), %rax
movslq 0x18(%rax), %rdx
xorl %eax, %eax
cmpq %rdx, %rcx
movb %al, 0xf(%rsp)
jl 0x3d0a9
movq 0x88(%rsp), %rcx
movq 0x90(%rsp), %rax
movslq 0x1c(%rax), %rdx
movb $0x1, %al
cmpq %rdx, %rcx
movb %al, 0xe(%rsp)
jle 0x3d0a1
movq 0x90(%rsp), %rax
cmpl $-0x1, 0x1c(%rax)
sete %al
movb %al, 0xe(%rsp)
movb 0xe(%rsp), %al
movb %al, 0xf(%rsp)
movb 0xf(%rsp), %al
andb $0x1, %al
movb %al, 0xa7(%rsp)
jmp 0x3d0c0
movb $0x0, 0xa7(%rsp)
movb 0xa7(%rsp), %al
andb $0x1, %al
addq $0xa8, %rsp
retq
nopw %cs:(%rax,%rax)