// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: check_let_one_var
static s7_pointer check_let_one_var(s7_scheme *sc, s7_pointer form, s7_pointer start)
                {
                    s7_pointer binding;
#if S7_DEBUGGING
                    if (cdr(form) != sc->code) fprintf(stderr, "%s[%d]: form: %s, code: %s\n", __func__, __LINE__, DISPLAY_80(form), DISPLAY_80(sc->code));
#endif

                    binding = car(start);
                    if (is_pair(cadr(binding)))
                    {
                        /* this is not a named let */
                        pair_set_syntax_op(form, ((is_pair(cdr(sc->code))) && (is_null(cddr(sc->code)))) ? OP_LET_ONE_P_OLD : OP_LET_ONE_OLD);
                        set_opt2_sym(cdr(sc->code), car(binding)); /* these don't collide -- cdr(code) and code */
                        set_opt2_pair(sc->code, cadr(binding));

                        if (is_optimized(cadr(binding)))
                        {
                            /* if (not_in_heap(form)) fprintf(stderr, "unheap %s\n", DISPLAY_80(form)); */

                            if (is_null(cddr(sc->code)))                   /* one statement body */
                            {
                                if (optimize_op(cadr(binding)) == HOP_SAFE_C_SS)
                                {
                                    /* no lt fx here, 4 s7test */
                                    set_opt2_pair(sc->code, cadr(binding));
                                    pair_set_syntax_op(form, OP_LET_opSSq_E_OLD);
                                    if (c_callee(cadr(binding)) == g_assq)
                                        pair_set_syntax_op(form, OP_LET_opaSSq_E_OLD);
                                    set_opt3_sym(cdr(sc->code), caddr(cadr(binding)));
                                    return(sc->code);
                                }
                                if (is_fxable(sc, cadr(binding)))
                                {
                                    set_opt2_pair(sc->code, binding);
                                    pair_set_syntax_op(form, OP_LET_A_OLD);
                                    annotate_arg(sc, cdr(binding), sc->envir);
                                    check_let_a_body(sc, form);
                                    return(sc->code);
                                }
                            }
                            if (optimize_op(cadr(binding)) == HOP_SAFE_C_SS)
                            {
                                if (c_callee(cadr(binding)) == g_assq)
                                    pair_set_syntax_op(form, OP_LET_opaSSq_OLD);
                                else pair_set_syntax_op(form, OP_LET_opSSq_OLD);
                                set_opt3_sym(cdr(sc->code), caddr(cadr(binding)));
                            }
                            else
                            {
                                if (is_fxable(sc, cadr(binding)))
                                {
                                    set_opt2_pair(sc->code, binding);
                                    pair_set_syntax_op(form, OP_LET_A_OLD);
                                    annotate_arg(sc, cdr(binding), sc->envir);
                                    if (is_null(cddr(sc->code)))
                                        check_let_a_body(sc, form);
                                    else
                                    {
                                        s7_pointer p;
                                        for (p = cdr(sc->code); is_pair(p); p = cdr(p))
                                            if (!is_fxable(sc, car(p)))
                                                break;
                                        if (is_null(p))
                                        {
                                            pair_set_syntax_op(form, OP_LET_A_FX_OLD);
                                            annotate_args(sc, cdr(sc->code), set_plist_1(sc, car(binding)));
                                            fx_tree(sc, cdr(sc->code), car(binding), NULL);
                                            return(sc->code);
                                        }}}}}}
                    else
                    {
                        set_opt2_pair(sc->code, binding);
                        pair_set_syntax_op(form, OP_LET_A_OLD);
                        annotate_arg(sc, cdr(binding), sc->envir);
                        if (is_null(cddr(sc->code))) check_let_a_body(sc, form);
                    }

                    if ((optimize_op(form) == OP_LET_A_OLD) &&
                            (is_pair(cddr(sc->code))) && (is_null(cdddr(sc->code))))
                        pair_set_syntax_op(form, OP_LET_A_OLD_2);

                    return(sc->code);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%rdx), %r12
movq 0x10(%r12), %rax
movq 0x8(%rax), %rax
cmpb $0x1, (%rax)
movq (%rdi), %rax
jne 0xb87b4
movq 0x10(%rax), %rcx
movw $0x252, %ax             # imm = 0x252
cmpb $0x1, (%rcx)
jne 0xb86fb
movq 0x10(%rcx), %rax
xorl %ecx, %ecx
cmpq 0x110(%rbx), %rax
sete %cl
leal 0x252(,%rcx,2), %eax
movw %ax, 0x4(%r14)
movw $0x201, (%r14)          # imm = 0x201
movq 0x8(%r12), %rax
movq (%rbx), %rcx
movq 0x10(%rcx), %rcx
movq %rax, 0x20(%rcx)
movq 0x10(%r12), %rax
movq 0x8(%rax), %rax
movq (%rbx), %rcx
movq %rax, 0x20(%rcx)
movq 0x10(%r12), %rax
movq 0x8(%rax), %r15
cmpw $0x801, (%r15)          # imm = 0x801
jne 0xb87f5
movq (%rbx), %r13
movq 0x10(%r13), %rax
movq 0x10(%rax), %rcx
movzwl 0x4(%r15), %eax
cmpq 0x110(%rbx), %rcx
je 0xb8832
cmpw $0x7, %ax
jne 0xb88e9
leaq -0x59d0e(%rip), %rax    # 0x5ea5b
xorl %ecx, %ecx
cmpq %rax, 0x20(%r15)
sete %cl
leal 0x24a(,%rcx,4), %eax
movw %ax, 0x4(%r14)
movw $0x201, (%r14)          # imm = 0x201
movq 0x10(%r12), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq (%rbx), %rcx
movq 0x10(%rcx), %rcx
movq %rax, 0x28(%rcx)
movq (%rbx), %rax
movq 0x10(%rax), %rax
andq $-0x40001, (%rax)       # imm = 0xFFFBFFFF
jmp 0xb87f5
movq %r12, 0x20(%rax)
movw $0x25a, 0x4(%r14)       # imm = 0x25A
movw $0x201, (%r14)          # imm = 0x201
movq 0x10(%r12), %rsi
movq 0x8(%rbx), %rdx
movq %rbx, %rdi
callq 0xa26b2
movq (%rbx), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
cmpq 0x110(%rbx), %rax
jne 0xb87f5
movq %rbx, %rdi
movq %r14, %rsi
callq 0xb89ab
cmpw $0x25a, 0x4(%r14)       # imm = 0x25A
jne 0xb889a
movq (%rbx), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xb889a
movq 0x10(%rax), %rax
cmpq 0x110(%rbx), %rax
jne 0xb889a
movw $0x262, 0x4(%r14)       # imm = 0x262
movw $0x201, (%r14)          # imm = 0x201
jmp 0xb889a
cmpw $0x7, %ax
jne 0xb88a4
movq %r15, 0x20(%r13)
movw $0x24c, 0x4(%r14)       # imm = 0x24C
movw $0x201, (%r14)          # imm = 0x201
movq 0x10(%r12), %rax
movq 0x8(%rax), %rax
leaq -0x59dfe(%rip), %rcx    # 0x5ea5b
cmpq %rcx, 0x20(%rax)
jne 0xb8875
movw $0x250, 0x4(%r14)       # imm = 0x250
movw $0x201, (%r14)          # imm = 0x201
movq 0x10(%r12), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq (%rbx), %rcx
movq 0x10(%rcx), %rcx
movq %rax, 0x28(%rcx)
movq (%rbx), %rax
movq 0x10(%rax), %rax
andq $-0x40001, (%rax)       # imm = 0xFFFBFFFF
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq %rbx, %rdi
movq %r15, %rsi
callq 0xa2689
testb %al, %al
je 0xb88e9
movq %r12, 0x20(%r13)
movw $0x25a, 0x4(%r14)       # imm = 0x25A
movw $0x201, (%r14)          # imm = 0x201
movq 0x10(%r12), %rsi
movq 0x8(%rbx), %rdx
movq %rbx, %rdi
callq 0xa26b2
movq %rbx, %rdi
movq %r14, %rsi
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0xb89ab
movq %rbx, %rdi
movq %r15, %rsi
callq 0xa2689
testb %al, %al
je 0xb87f5
movq %r12, 0x20(%r13)
movw $0x25a, 0x4(%r14)       # imm = 0x25A
movw $0x201, (%r14)          # imm = 0x201
movq 0x10(%r12), %rsi
movq 0x8(%rbx), %rdx
movq %rbx, %rdi
callq 0xa26b2
movq (%rbx), %rax
movq 0x110(%rbx), %r15
movq 0x10(%rax), %r13
cmpq %r15, 0x10(%r13)
je 0xb87ea
cmpb $0x1, (%r13)
jne 0xb8953
movq 0x8(%r13), %rsi
movq %rbx, %rdi
callq 0xa2689
testb %al, %al
je 0xb8953
movq 0x10(%r13), %r13
jmp 0xb8936
cmpq %r15, %r13
jne 0xb87f5
movw $0x260, 0x4(%r14)       # imm = 0x260
movw $0x201, (%r14)          # imm = 0x201
movq (%rbx), %rax
movq 0x10(%rax), %rsi
movq 0x8(%r12), %rax
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rdx
movq %rbx, %rdi
callq 0xa5dd4
movq (%rbx), %rax
movq 0x10(%rax), %rdi
movq 0x8(%r12), %rsi
xorl %edx, %edx
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0xa26f4