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

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x28(%rsi), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbee8d
jle 0xbee84
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbee77
cmpq %rsi, %rdi
jne 0xbefcb
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %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 0xbeed1
jle 0xbeec8
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbeebb
cmpq %rsi, %rdi
jne 0xbeff3
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 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbef39
jle 0xbef30
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbef23
cmpq %rdx, %rsi
jne 0xbf017
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbefa1
jle 0xbef98
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbef8b
cmpq %rdx, %rsi
jne 0xbf03b
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbf05f
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbefed
cmpq %rcx, 0x8(%rsi)
je 0xbee91
movq 0x18(%rsi), %rsi
jmp 0xbefd8
movq 0x10(%rdx), %rdx
jmp 0xbefcb
cmpb $0x1c, (%rdx)
jne 0xbf073
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbf011
cmpq %rcx, 0x8(%rsi)
je 0xbeed5
movq 0x18(%rsi), %rsi
jmp 0xbeffc
movq 0x10(%rdx), %rdx
jmp 0xbeff3
cmpb $0x1c, (%rcx)
jne 0xbf087
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xbf035
cmpq %rax, 0x8(%rdx)
je 0xbef3d
movq 0x18(%rdx), %rdx
jmp 0xbf020
movq 0x10(%rcx), %rcx
jmp 0xbf017
cmpb $0x1c, (%rcx)
jne 0xbf09b
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xbf059
cmpq %rax, 0x8(%rdx)
je 0xbefa5
movq 0x18(%rdx), %rdx
jmp 0xbf044
movq 0x10(%rcx), %rcx
jmp 0xbf03b
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbee91
xorl %ecx, %ecx
jmp 0xbee95
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbeed5
xorl %ecx, %ecx
jmp 0xbeed9
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xbef3d
xorl %eax, %eax
jmp 0xbef41
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xbefa5
xorl %eax, %eax
jmp 0xbefa9