// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_op_s_opssqq_direct
static s7_pointer fx_c_s_op_s_opssqq_direct(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer args, val1;
                    args = caddr(code);
                    val1 = caddr(args);
                    return(((s7_p_pp_t)opt3_direct(code))(sc,
                                lookup(sc, cadr(code)),
                                ((s7_p_pp_t)opt2_direct(cdr(code)))(sc,
                                lookup(sc, cadr(args)),
                                ((s7_p_pp_t)opt3_direct(cdr(code)))(sc, lookup(sc, cadr(val1)), lookup(sc, caddr(val1))))));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rdi
movq 0x8(%rdi), %r9
movq 0x10(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %r8
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rdx
movq 0x20(%r9), %r11
cmpq %r11, %rdx
je 0xb7fbb
movq %rcx, %r10
movq %rdx, %r14
jle 0xb7fb2
movq %rcx, %r10
movq 0x10(%r10), %r10
movq 0x18(%r10), %r14
cmpq %r14, %r11
jl 0xb7fa5
cmpq %r11, %r14
jne 0xb80a0
movq 0x18(%r9), %r11
movq 0x10(%r11), %r14
movq 0x8(%r8), %r8
movq 0x8(%rax), %rax
movq 0x20(%rax), %r10
cmpq %r10, %rdx
je 0xb7ff5
movq %rcx, %r9
movq %rdx, %r11
jle 0xb7fec
movq %rcx, %r9
movq 0x10(%r9), %r9
movq 0x18(%r9), %r11
cmpq %r11, %r10
jl 0xb7fdf
cmpq %r10, %r11
jne 0xb80c9
movq 0x18(%rax), %r10
movq 0x10(%r10), %r15
movq 0x10(%r8), %r9
movq 0x8(%r9), %rax
movq 0x20(%rax), %r10
cmpq %r10, %rdx
je 0xb802f
movq %rcx, %r8
movq %rdx, %r11
jle 0xb8026
movq %rcx, %r8
movq 0x10(%r8), %r8
movq 0x18(%r8), %r11
cmpq %r11, %r10
jl 0xb8019
cmpq %r10, %r11
jne 0xb80ee
movq 0x18(%rax), %r10
movq 0x10(%r10), %rax
movq 0x28(%rsi), %r13
movq 0x20(%rdi), %r12
movq 0x28(%rdi), %r8
movq 0x10(%r9), %rsi
movq 0x8(%rsi), %rsi
movq 0x20(%rsi), %rdi
cmpq %rdi, %rdx
je 0xb806c
jle 0xb8063
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdx
cmpq %rdx, %rdi
jl 0xb8056
cmpq %rdi, %rdx
jne 0xb8113
movq 0x18(%rsi), %rdx
movq 0x10(%rdx), %rdx
movq %rbx, %rdi
movq %rax, %rsi
callq *%r8
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq *%r12
movq %rbx, %rdi
movq %r14, %rsi
movq %rax, %rdx
movq %r13, %rax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%r10)
jne 0xb8137
movq 0x8(%r10), %r11
testq %r11, %r11
je 0xb80c3
cmpq %r9, 0x8(%r11)
je 0xb7fbf
movq 0x18(%r11), %r11
jmp 0xb80ae
movq 0x10(%r10), %r10
jmp 0xb80a0
cmpb $0x1c, (%r9)
jne 0xb814d
movq 0x8(%r9), %r10
testq %r10, %r10
je 0xb80e8
cmpq %rax, 0x8(%r10)
je 0xb7ff9
movq 0x18(%r10), %r10
jmp 0xb80d3
movq 0x10(%r9), %r9
jmp 0xb80c9
cmpb $0x1c, (%r8)
jne 0xb8163
movq 0x8(%r8), %r10
testq %r10, %r10
je 0xb810d
cmpq %rax, 0x8(%r10)
je 0xb8033
movq 0x18(%r10), %r10
jmp 0xb80f8
movq 0x10(%r8), %r8
jmp 0xb80ee
cmpb $0x1c, (%rcx)
jne 0xb8178
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb8131
cmpq %rsi, 0x8(%rdx)
je 0xb8070
movq 0x18(%rdx), %rdx
jmp 0xb811c
movq 0x10(%rcx), %rcx
jmp 0xb8113
movq 0x10(%r9), %r11
cmpb $0x20, (%r11)
je 0xb7fbf
xorl %r14d, %r14d
jmp 0xb7fc3
movq 0x10(%rax), %r10
cmpb $0x20, (%r10)
je 0xb7ff9
xorl %r15d, %r15d
jmp 0xb7ffd
movq 0x10(%rax), %r10
cmpb $0x20, (%r10)
je 0xb8033
xorl %eax, %eax
jmp 0xb8037
movq 0x10(%rsi), %rdx
cmpb $0x20, (%rdx)
je 0xb8070
xorl %edx, %edx
jmp 0xb8074