// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_op_s_opssqq
static s7_pointer fx_c_s_op_s_opssqq(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer args, val, val1;
                    args = caddr(code);
                    val1 = caddr(args);
                    val = lookup(sc, cadr(args));
                    set_car(sc->t2_1, lookup(sc, cadr(val1)));
                    set_car(sc->t2_2, lookup(sc, opt2_sym(cdr(val1))));
                    set_car(sc->t2_2, c_call(val1)(sc, sc->t2_1));
                    set_car(sc->t2_1, val);
                    set_car(sc->t2_2, c_call(args)(sc, sc->t2_1));
                    set_car(sc->t2_1, lookup(sc, cadr(code)));
                    return(c_call(code)(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rdx
movq 0x20(%rsi), %r8
cmpq %r8, %rdx
je 0xb81e8
movq %rcx, %rdi
movq %rdx, %r9
jle 0xb81df
movq %rcx, %rdi
movq 0x10(%rdi), %rdi
movq 0x18(%rdi), %r9
cmpq %r9, %r8
jl 0xb81d2
cmpq %r8, %r9
jne 0xb830b
movq 0x18(%rsi), %r8
movq 0x10(%r8), %r12
movq 0x10(%rax), %rsi
movq 0x8(%rsi), %rsi
movq 0x20(%rsi), %rdi
cmpq %rdi, %rdx
je 0xb8219
jle 0xb8210
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdx
cmpq %rdx, %rdi
jl 0xb8203
cmpq %rdi, %rdx
jne 0xb8333
movq 0x18(%rsi), %rdx
movq 0x10(%rdx), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x10(%rax), %rcx
movq 0x20(%rcx), %rcx
movq 0x8(%rbx), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb825d
jle 0xb8254
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb8247
cmpq %rsi, %rdi
jne 0xb8357
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x570(%rbx), %rax
movq %r12, 0x8(%rax)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb82dd
jle 0xb82d4
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb82c7
cmpq %rdx, %rsi
jne 0xb837b
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rdi)
jne 0xb839f
movq 0x8(%rdi), %r8
testq %r8, %r8
je 0xb832d
cmpq %rsi, 0x8(%r8)
je 0xb81ec
movq 0x18(%r8), %r8
jmp 0xb8318
movq 0x10(%rdi), %rdi
jmp 0xb830b
cmpb $0x1c, (%rcx)
jne 0xb83b5
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb8351
cmpq %rsi, 0x8(%rdx)
je 0xb821d
movq 0x18(%rdx), %rdx
jmp 0xb833c
movq 0x10(%rcx), %rcx
jmp 0xb8333
cmpb $0x1c, (%rdx)
jne 0xb83c9
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb8375
cmpq %rcx, 0x8(%rsi)
je 0xb8261
movq 0x18(%rsi), %rsi
jmp 0xb8360
movq 0x10(%rdx), %rdx
jmp 0xb8357
cmpb $0x1c, (%rcx)
jne 0xb83dd
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb8399
cmpq %rax, 0x8(%rdx)
je 0xb82e1
movq 0x18(%rdx), %rdx
jmp 0xb8384
movq 0x10(%rcx), %rcx
jmp 0xb837b
movq 0x10(%rsi), %r8
cmpb $0x20, (%r8)
je 0xb81ec
xorl %r12d, %r12d
jmp 0xb81f0
movq 0x10(%rsi), %rdx
cmpb $0x20, (%rdx)
je 0xb821d
xorl %ecx, %ecx
jmp 0xb8221
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb8261
xorl %ecx, %ecx
jmp 0xb8265
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb82e1
xorl %eax, %eax
jmp 0xb82e5