// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_tree_outer
static void fx_tree_outer(s7_scheme *sc, s7_pointer tree, s7_pointer var1, s7_pointer var2)
                {
                    /* if (is_pair(tree)) fprintf(stderr, "%s[%d]: %s %d %s %s\n", __func__, __LINE__, DISPLAY_80(tree), has_fx(tree), DISPLAY(var1), (var2) ? DISPLAY(var2) : ""); */
                    if ((!is_pair(tree)) ||
                            ((is_symbol(car(tree))) &&
                             (is_definer_or_binder(car(tree)))))
                        return;
                    if ((!has_fx(tree)) ||
                            (!fx_tree_out(sc, tree, var1, var2)))
                        fx_tree_outer(sc, car(tree), var1, var2);
                    fx_tree_outer(sc, cdr(tree), var1, var2);
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
leaq -0x1c168(%rip), %rbp    # 0x8f9f8
leaq -0x1e36f(%rip), %r13    # 0x8d7f8
leaq 0xac4a(%rip), %r12      # 0xb67b8
cmpb $0x1, (%r15)
jne 0xabd47
movq 0x8(%r15), %rdi
movzbl (%rdi), %ecx
cmpl $0xa, %ecx
jne 0xabb8e
testb $0xc, 0x6(%rdi)
jne 0xabd47
movzwl 0x6(%r15), %eax
testb $0x4, %al
je 0xabbfb
cmpl $0x1, %ecx
je 0xabbc1
cmpl $0xa, %ecx
jne 0xabbfb
cmpq %r13, 0x20(%r15)
jne 0xabbfb
cmpq %r14, %rdi
je 0xabc64
cmpq %rbx, %rdi
jne 0xabbfb
leaq 0xac0d(%rip), %rcx      # 0xb67c9
jmp 0xabd39
movq 0x10(%rdi), %rcx
cmpb $0x1, (%rcx)
jne 0xabbfb
movq 0x8(%rcx), %rdx
cmpq %r14, %rdx
je 0xabc0f
cmpq %rbx, %rdx
je 0xabc6d
movq 0x10(%rcx), %rcx
cmpb $0x1, (%rcx)
jne 0xabbfb
movq 0x8(%rcx), %rcx
cmpq %r14, %rcx
je 0xabc9e
cmpq %rbx, %rcx
je 0xabcd9
movq %r14, %rsi
movq %rbx, %rdx
callq 0xabb45
movq 0x10(%r15), %r15
jmp 0xabb6e
movq 0x20(%r15), %rsi
leaq -0x1ddc4(%rip), %r8     # 0x8de56
cmpq %r8, %rsi
je 0xabc92
cmpq %rbp, %rsi
je 0xabcd0
leaq -0x1c406(%rip), %r8     # 0x8f829
cmpq %r8, %rsi
je 0xabd0e
leaq -0x16614(%rip), %r8     # 0x9562b
cmpq %r8, %rsi
je 0xabd20
leaq -0x1c0d4(%rip), %r8     # 0x8fb7b
cmpq %r8, %rsi
jne 0xabbd3
leaq 0xad2c(%rip), %rcx      # 0xb698b
jmp 0xabd39
movq %r12, 0x20(%r15)
jmp 0xabd3d
movq 0x20(%r15), %rdx
cmpq %rbp, %rdx
je 0xabcc7
leaq -0x1c454(%rip), %rsi    # 0x8f829
cmpq %rsi, %rdx
jne 0xabbdc
leaq 0xadc8(%rip), %rcx      # 0xb6a55
jmp 0xabd39
leaq 0xab45(%rip), %rcx      # 0xb67de
jmp 0xabd39
movq 0x20(%r15), %rdx
leaq -0x768a(%rip), %rsi     # 0xa461f
cmpq %rsi, %rdx
je 0xabd17
leaq -0x7510(%rip), %rsi     # 0xa47a5
cmpq %rsi, %rdx
jne 0xabbf2
leaq 0xae66(%rip), %rcx      # 0xb6b2b
jmp 0xabd39
leaq 0xacf8(%rip), %rcx      # 0xb69c6
jmp 0xabd39
leaq 0xab2f(%rip), %rcx      # 0xb6806
jmp 0xabd39
movq 0x20(%r15), %rcx
leaq -0x8528(%rip), %rdx     # 0xa37bc
cmpq %rdx, %rcx
je 0xabd29
leaq -0x75db(%rip), %rdx     # 0xa4715
cmpq %rdx, %rcx
je 0xabd32
leaq -0x74a7(%rip), %rdx     # 0xa4855
cmpq %rdx, %rcx
jne 0xabbfb
leaq 0xaea0(%rip), %rcx      # 0xb6bac
jmp 0xabd39
leaq 0xab7c(%rip), %rcx      # 0xb6891
jmp 0xabd39
leaq 0xadcd(%rip), %rcx      # 0xb6aeb
jmp 0xabd39
leaq 0xabfc(%rip), %rcx      # 0xb6923
jmp 0xabd39
leaq 0xae18(%rip), %rcx      # 0xb6b48
jmp 0xabd39
leaq 0xae52(%rip), %rcx      # 0xb6b8b
movq %rcx, 0x20(%r15)
movw %ax, 0x6(%r15)
jmp 0xabc06
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq