// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: set_c_function_star_defaults
static s7_pointer set_c_function_star_defaults(s7_scheme *sc, int32_t num)
                {
                    s7_pointer call_args, func, par;
                    int32_t n_args;

                    func = sc->code;
                    n_args = c_function_all_args(func);

                    if (is_safe_procedure(func))
                        call_args = c_function_call_args(func);
                    else call_args = protected_make_list(sc, n_args, sc->F);

                    par = call_args;
                    if (num == 1)
                    {
                        set_car(par, car(sc->args));
                        par = cdr(par);
                    }
                    fill_star_defaults(sc, func, num, n_args, par);
                    return(call_args);
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %esi, %ebp
movq %rdi, %r15
movq (%rdi), %r14
movq 0x28(%r14), %rbx
testb $0x20, 0x2(%r14)
jne 0xccd2f
movq 0x120(%r15), %rdx
movq %r15, %rdi
movl %ebx, %esi
callq 0x3a029
movq %rax, 0x520(%r15)
jmp 0xccd37
movq 0x8(%r14), %rax
movq 0x60(%rax), %rax
cmpl $0x1, %ebp
movq %rax, (%rsp)
jne 0xcce1f
movq 0x10(%r15), %rcx
movq 0x8(%rcx), %rcx
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %r12
movq 0x8(%r14), %rax
movq 0x50(%rax), %r13
testb $0x4, 0x2(%r14)
jne 0xccee5
cmpl $0x2, %ebx
jl 0xccf32
andl $0x7fffffff, %ebx       # imm = 0x7FFFFFFF
movl $0x1, %ebp
movq (%r13,%rbp,8), %rsi
movzbl (%rsi), %eax
cmpl $0x1, %eax
je 0xccdc9
cmpl $0xa, %eax
jne 0xccdda
movq 0x8(%r15), %rax
movq 0x18(%rax), %rdx
movq 0x20(%rsi), %rcx
cmpq %rcx, %rdx
je 0xccdb2
jle 0xccdad
movq 0x10(%rax), %rax
movq 0x18(%rax), %rdx
cmpq %rdx, %rcx
jl 0xccda0
cmpq %rcx, %rdx
jne 0xccdf4
movq 0x18(%rsi), %rcx
movq 0x10(%rcx), %rax
testq %rax, %rax
jne 0xccddd
movq %r15, %rdi
callq 0x9c492
jmp 0xccddd
movq 0x110(%r15), %rdx
movq %r15, %rdi
callq 0x37073
jmp 0xccddd
movq %rsi, %rax
movq %rax, 0x8(%r12)
incq %rbp
movq 0x10(%r12), %r12
cmpq %rbx, %rbp
jne 0xccd7b
jmp 0xccf32
cmpb $0x1c, (%rax)
jne 0xcce14
movq 0x8(%rax), %rcx
testq %rcx, %rcx
je 0xcce0e
cmpq %rsi, 0x8(%rcx)
je 0xccdb6
movq 0x18(%rcx), %rcx
jmp 0xccdfd
movq 0x10(%rax), %rax
jmp 0xccdf4
movq 0x10(%rsi), %rcx
cmpb $0x20, (%rcx)
je 0xccdb6
jmp 0xccdbf
movq 0x8(%r14), %rax
movq 0x50(%rax), %r12
testb $0x4, 0x2(%r14)
jne 0xccf0e
testl %ebx, %ebx
jle 0xccf32
andl $0x7fffffff, %ebx       # imm = 0x7FFFFFFF
xorl %r13d, %r13d
movq (%rsp), %rbp
movq (%r12,%r13,8), %rsi
movzbl (%rsi), %eax
cmpl $0x1, %eax
je 0xcce94
cmpl $0xa, %eax
jne 0xccea5
movq 0x8(%r15), %rax
movq 0x18(%rax), %rdx
movq 0x20(%rsi), %rcx
cmpq %rcx, %rdx
je 0xcce7d
jle 0xcce78
movq 0x10(%rax), %rax
movq 0x18(%rax), %rdx
cmpq %rdx, %rcx
jl 0xcce6b
cmpq %rcx, %rdx
jne 0xcceba
movq 0x18(%rsi), %rcx
movq 0x10(%rcx), %rax
testq %rax, %rax
jne 0xccea8
movq %r15, %rdi
callq 0x9c492
jmp 0xccea8
movq 0x110(%r15), %rdx
movq %r15, %rdi
callq 0x37073
jmp 0xccea8
movq %rsi, %rax
movq %rax, 0x8(%rbp)
incq %r13
movq 0x10(%rbp), %rbp
cmpq %rbx, %r13
jne 0xcce47
jmp 0xccf32
cmpb $0x1c, (%rax)
jne 0xcceda
movq 0x8(%rax), %rcx
testq %rcx, %rcx
je 0xcced4
cmpq %rsi, 0x8(%rcx)
je 0xcce81
movq 0x18(%rcx), %rcx
jmp 0xccec3
movq 0x10(%rax), %rax
jmp 0xcceba
movq 0x10(%rsi), %rcx
cmpb $0x20, (%rcx)
je 0xcce81
jmp 0xcce8a
cmpl $0x2, %ebx
jl 0xccf32
andl $0x7fffffff, %ebx       # imm = 0x7FFFFFFF
movl $0x1, %eax
movq (%r13,%rax,8), %rcx
movq %rcx, 0x8(%r12)
incq %rax
movq 0x10(%r12), %r12
cmpq %rax, %rbx
jne 0xccef5
jmp 0xccf32
testl %ebx, %ebx
jle 0xccf32
andl $0x7fffffff, %ebx       # imm = 0x7FFFFFFF
xorl %eax, %eax
movq (%rsp), %rcx
movq (%r12,%rax,8), %rdx
movq %rdx, 0x8(%rcx)
incq %rax
movq 0x10(%rcx), %rcx
cmpq %rax, %rbx
jne 0xccf1e
movq (%rsp), %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq