// File: /workspace/github_c_makefile_star2_O3/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:
cmpb $0x1, (%rdi)
jne 0xd96bf
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
leaq -0x238f2(%rip), %rbp    # 0xb5bd8
leaq -0x2827f(%rip), %r13    # 0xb1252
leaq 0xc4af(%rip), %r12      # 0xe5987
movq 0x8(%r15), %rdi
movzbl (%rdi), %ecx
cmpl $0xa, %ecx
jne 0xd94ee
testb $0xc, 0x6(%rdi)
jne 0xd96b1
movzwl 0x6(%r15), %eax
testb $0x4, %al
je 0xd955b
cmpl $0x1, %ecx
je 0xd9521
cmpl $0xa, %ecx
jne 0xd955b
cmpq %r13, 0x20(%r15)
jne 0xd955b
cmpq %r14, %rdi
je 0xd95ce
cmpq %rbx, %rdi
jne 0xd955b
leaq 0xc47c(%rip), %rcx      # 0xe5998
jmp 0xd96a3
movq 0x10(%rdi), %rcx
cmpb $0x1, (%rcx)
jne 0xd955b
movq 0x8(%rcx), %rdx
cmpq %r14, %rdx
je 0xd9579
cmpq %rbx, %rdx
je 0xd95d7
movq 0x10(%rcx), %rcx
cmpb $0x1, (%rcx)
jne 0xd955b
movq 0x8(%rcx), %rcx
cmpq %r14, %rcx
je 0xd9608
cmpq %rbx, %rcx
je 0xd9643
movq %r14, %rsi
movq %rbx, %rdx
callq 0xd94a6
movq 0x10(%r15), %r15
cmpb $0x1, (%r15)
je 0xd94d8
jmp 0xd96b1
movq 0x20(%r15), %rsi
leaq -0x275ff(%rip), %r8     # 0xb1f85
cmpq %r8, %rsi
je 0xd95fc
cmpq %rbp, %rsi
je 0xd963a
leaq -0x23c9a(%rip), %r8     # 0xb58ff
cmpq %r8, %rsi
je 0xd9678
leaq -0x1b96e(%rip), %r8     # 0xbdc3b
cmpq %r8, %rsi
je 0xd968a
leaq -0x23727(%rip), %r8     # 0xb5e92
cmpq %r8, %rsi
jne 0xd9533
leaq 0xc591(%rip), %rcx      # 0xe5b5a
jmp 0xd96a3
movq %r12, 0x20(%r15)
jmp 0xd96a7
movq 0x20(%r15), %rdx
cmpq %rbp, %rdx
je 0xd9631
leaq -0x23ce8(%rip), %rsi    # 0xb58ff
cmpq %rsi, %rdx
jne 0xd953c
leaq 0xc62d(%rip), %rcx      # 0xe5c24
jmp 0xd96a3
leaq 0xc3aa(%rip), %rcx      # 0xe59ad
jmp 0xd96a3
movq 0x20(%r15), %rdx
leaq -0xa102(%rip), %rsi     # 0xcf511
cmpq %rsi, %rdx
je 0xd9681
leaq -0x9e4b(%rip), %rsi     # 0xcf7d4
cmpq %rsi, %rdx
jne 0xd9552
leaq 0xc6cb(%rip), %rcx      # 0xe5cfa
jmp 0xd96a3
leaq 0xc55d(%rip), %rcx      # 0xe5b95
jmp 0xd96a3
leaq 0xc394(%rip), %rcx      # 0xe59d5
jmp 0xd96a3
movq 0x20(%r15), %rcx
leaq -0xb14b(%rip), %rdx     # 0xce503
cmpq %rdx, %rcx
je 0xd9693
leaq -0x9f7c(%rip), %rdx     # 0xcf6de
cmpq %rdx, %rcx
je 0xd969c
leaq -0x9d8f(%rip), %rdx     # 0xcf8d7
cmpq %rdx, %rcx
jne 0xd955b
leaq 0xc72b(%rip), %rcx      # 0xe5da1
jmp 0xd96a3
leaq 0xc3e1(%rip), %rcx      # 0xe5a60
jmp 0xd96a3
leaq 0xc632(%rip), %rcx      # 0xe5cba
jmp 0xd96a3
leaq 0xc461(%rip), %rcx      # 0xe5af2
jmp 0xd96a3
leaq 0xc690(%rip), %rcx      # 0xe5d2a
jmp 0xd96a3
leaq 0xc6ca(%rip), %rcx      # 0xe5d6d
movq %rcx, 0x20(%r15)
movw %ax, 0x6(%r15)
jmp 0xd9566
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq