// File: /workspace/github_c_makefile_star2_O1/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 -0x28c13(%rip), %r12    # 0xb913e
leaq -0x24984(%rip), %rbp    # 0xbd3d4
leaq -0x29abd(%rip), %r13    # 0xb82a2
cmpb $0x1, (%r15)
jne 0xe1f30
movq 0x8(%r15), %rdi
movzbl (%rdi), %ecx
cmpl $0xa, %ecx
jne 0xe1d7f
testb $0xc, 0x6(%rdi)
jne 0xe1f30
movzwl 0x6(%r15), %eax
testb $0x4, %al
je 0xe1dec
cmpl $0x1, %ecx
je 0xe1db2
cmpl $0xa, %ecx
jne 0xe1dec
cmpq %r13, 0x20(%r15)
jne 0xe1dec
cmpq %r14, %rdi
je 0xe1e4a
cmpq %rbx, %rdi
jne 0xe1dec
leaq 0xc8a1(%rip), %rcx      # 0xee64e
jmp 0xe1f22
movq 0x10(%rdi), %rcx
cmpb $0x1, (%rcx)
jne 0xe1dec
movq 0x8(%rcx), %rdx
cmpq %r14, %rdx
je 0xe1e00
cmpq %rbx, %rdx
je 0xe1e56
movq 0x10(%rcx), %rcx
cmpb $0x1, (%rcx)
jne 0xe1dec
movq 0x8(%rcx), %rcx
cmpq %r14, %rcx
je 0xe1e87
cmpq %rbx, %rcx
je 0xe1ec2
movq %r14, %rsi
movq %rbx, %rdx
callq 0xe1d36
movq 0x10(%r15), %r15
jmp 0xe1d5f
movq 0x20(%r15), %rsi
cmpq %r12, %rsi
je 0xe1e7b
cmpq %rbp, %rsi
je 0xe1eb9
leaq -0x24d4e(%rip), %r8     # 0xbd0cb
cmpq %r8, %rsi
je 0xe1ef7
leaq -0x1c3aa(%rip), %r8     # 0xc5a7f
cmpq %r8, %rsi
je 0xe1f09
leaq -0x24775(%rip), %r8     # 0xbd6c4
cmpq %r8, %rsi
jne 0xe1dc4
leaq 0xc9cb(%rip), %rcx      # 0xee810
jmp 0xe1f22
leaq 0xc7ec(%rip), %rcx      # 0xee63d
jmp 0xe1f22
movq 0x20(%r15), %rdx
cmpq %rbp, %rdx
je 0xe1eb0
leaq -0x24d9b(%rip), %rsi    # 0xbd0cb
cmpq %rsi, %rdx
jne 0xe1dcd
leaq 0xca64(%rip), %rcx      # 0xee8da
jmp 0xe1f22
leaq 0xc7e1(%rip), %rcx      # 0xee663
jmp 0xe1f22
movq 0x20(%r15), %rdx
leaq -0xa307(%rip), %rsi     # 0xd7b8b
cmpq %rsi, %rdx
je 0xe1f00
leaq -0xa020(%rip), %rsi     # 0xd7e7e
cmpq %rsi, %rdx
jne 0xe1de3
leaq 0xcb02(%rip), %rcx      # 0xee9b0
jmp 0xe1f22
leaq 0xc994(%rip), %rcx      # 0xee84b
jmp 0xe1f22
leaq 0xc7cb(%rip), %rcx      # 0xee68b
jmp 0xe1f22
movq 0x20(%r15), %rcx
leaq -0xb39a(%rip), %rdx     # 0xd6b33
cmpq %rdx, %rcx
je 0xe1f12
leaq -0xa161(%rip), %rdx     # 0xd7d78
cmpq %rdx, %rcx
je 0xe1f1b
leaq -0x9f54(%rip), %rdx     # 0xd7f91
cmpq %rdx, %rcx
jne 0xe1dec
leaq 0xcb62(%rip), %rcx      # 0xeea57
jmp 0xe1f22
leaq 0xc818(%rip), %rcx      # 0xee716
jmp 0xe1f22
leaq 0xca69(%rip), %rcx      # 0xee970
jmp 0xe1f22
leaq 0xc898(%rip), %rcx      # 0xee7a8
jmp 0xe1f22
leaq 0xcac7(%rip), %rcx      # 0xee9e0
jmp 0xe1f22
leaq 0xcb01(%rip), %rcx      # 0xeea23
movq %rcx, 0x20(%r15)
movw %ax, 0x6(%r15)
jmp 0xe1df7
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq