// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: op_simple_do
static bool op_simple_do(s7_scheme *sc)
                {
                    /* body might not be safe in this case, but the step and end exprs are easy
                     * simple_do: set up local env, check end (c_c?), goto simple_do_ex
                     *   if latter gets s7_optimize, run locally, else goto simple_do_step.
                     */
                    s7_pointer end, code, body;

                    set_current_code(sc, sc->code);
                    code = cdr(sc->code);
                    sc->envir = new_frame_in_env(sc, sc->envir);
                    sc->value = fx_call(sc, cdaar(code));
                    let_set_dox_slot1(sc->envir, make_slot_1(sc, sc->envir, caaar(code), sc->value));

                    end = caddr(caadr(code));
                    if (is_symbol(end))
                        let_set_dox_slot2(sc->envir, symbol_to_slot(sc, end));
                    else let_set_dox_slot2(sc->envir, make_slot(sc, caaar(code), end));

                    set_car(sc->t2_1, slot_value(let_dox_slot1(sc->envir)));
                    set_car(sc->t2_2, slot_value(let_dox_slot2(sc->envir)));
                    sc->value = c_call(caadr(code))(sc, sc->t2_1);
                    if (is_true(sc, sc->value))
                    {
                        sc->code = cdadr(code);
                        return(true); /* goto DO_END_CLAUSES */
                    }
                    body = cddr(code);
                    if ((is_null(cdr(body))) &&      /* one expr in body */
                            (is_pair(car(body))) &&      /*   and it is a pair */
                            (is_symbol(cadr(caddr(caar(code))))) && /* caar=(i 0 (+ i 1)), caddr=(+ i 1), so this is apparently checking that the stepf is reasonable? */
                            (is_t_integer(caddr(caddr(caar(code))))) &&
                            (simple_do_ex(sc, sc->code)))
                        return(true);   /* goto DO_END_CLAUSES */

                    push_stack(sc, OP_SIMPLE_DO_STEP, sc->args, code);
                    sc->code = body;
                    return(false); /* goto BEGIN */
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
movq (%rdi), %rax
movq 0x8(%rdi), %rsi
movq %rax, 0x28(%rdi)
movq 0x10(%rax), %r12
callq 0x72a1d
movq %rax, 0x8(%rbx)
movq 0x8(%r12), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq %rax, 0x20(%rbx)
movq 0x8(%rbx), %rsi
movq 0x8(%r12), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rcx), %rdx
movq %rbx, %rdi
movq %rax, %rcx
callq 0x9a09
movq 0x8(%rbx), %rcx
movq %rax, 0x20(%rcx)
movq 0x8(%rbx), %rax
orq $0x10000, (%rax)        # imm = 0x10000
movq 0x10(%r12), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rdx
cmpb $0xa, (%rdx)
jne 0x9cb44
movq %rbx, %rdi
movq %rdx, %rsi
callq 0xb00b
jmp 0x9cb59
movq 0x8(%r12), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq 0xa5f64
movq 0x8(%rbx), %rcx
movq %rax, 0x28(%rcx)
movq 0x8(%rbx), %rax
orq $0x800000, (%rax)       # imm = 0x800000
movq 0x8(%rbx), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x8(%rbx), %rax
movq 0x28(%rax), %rax
movq 0x10(%rax), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r12), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq %rax, 0x20(%rbx)
movq 0x10(%r12), %rcx
cmpq 0x120(%rbx), %rax
je 0x9cbd5
movq 0x8(%rcx), %rax
movq 0x10(%rax), %r14
movb $0x1, %al
jmp 0x9cdf9
movq 0x10(%rcx), %r14
movq 0x10(%r14), %rax
cmpq 0x110(%rbx), %rax
jne 0x9cdc7
movq 0x8(%r14), %rax
cmpb $0x1, (%rax)
jne 0x9cdc7
movq 0x8(%r12), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rcx
cmpb $0xa, (%rcx)
jne 0x9cdc7
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
cmpb $0xb, (%rax)
jne 0x9cdc7
movq (%rbx), %rax
movq 0x10(%rax), %r15
movq 0x10(%r15), %rax
movq 0x10(%rax), %rsi
testb $0x4, 0x3(%rsi)
jne 0x9cdc7
movq 0x8(%rsi), %r13
movq %rbx, %rdi
callq 0x38c23
movq %rax, 0x10(%rsp)
testq %rax, %rax
je 0x9cdb8
movq %r13, 0x8(%rsp)
movq 0x8(%r15), %rax
movq %r15, 0x18(%rsp)
movq 0x10(%r15), %rcx
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x20(%rax), %r14
movq 0x8(%rcx), %rax
movq 0x8(%rax), %rax
movq 0x20(%rax), %r12
movq 0x8(%rbx), %rax
movq 0x20(%rax), %rbp
movq 0x28(%rax), %r15
movq 0x10(%rdx), %rax
movq 0x8(%rax), %r13
leaq 0xe80c(%rip), %rax      # 0xab4be
cmpq %rax, %r14
je 0x9ce0b
leaq 0xe919(%rip), %rax      # 0xab5db
cmpq %rax, %r14
je 0x9cee5
leaq 0xe912(%rip), %rax      # 0xab5e4
cmpq %rax, %r14
jne 0x9cfbf
movq 0x10(%rbp), %rax
cmpb $0xb, (%rax)
jne 0x9cfbf
leaq -0xed99(%rip), %rcx     # 0x8df56
cmpq %rcx, %r12
je 0x9cd10
leaq 0xe845(%rip), %rcx      # 0xab540
cmpq %rcx, %r12
je 0x9cd10
leaq 0xe870(%rip), %rcx      # 0xab577
cmpq %rcx, %r12
jne 0x9cfbf
movq 0x10(%r15), %rcx
cmpb $0xb, (%rcx)
jne 0x9cfbf
movq 0x8(%rax), %r15
movq 0x8(%rcx), %r12
movq 0x8(%r13), %rax
movq %rax, (%rsp)
leaq (,%r15,8), %rax
movq %rax, 0x20(%rsp)
xorl %r13d, %r13d
leaq (%r15,%r13), %r14
cmpq %r12, %r14
jge 0x9d100
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x9cd69
movq 0x20(%rsp), %rax
leaq (%rax,%r13,8), %rax
leaq 0x78bed(%rip), %rcx     # 0x115950
movq (%rcx,%rax), %rax
jmp 0x9cda2
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x9cd88
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
movq %rax, 0x10(%rbp)
movq %rbx, %rdi
movq 0x8(%rsp), %rsi
callq *0x10(%rsp)
addq (%rsp), %r13
jmp 0x9cd3d
movq 0x10(%r15), %rax
movq 0x10(%rax), %rax
orq $0x4000000, (%rax)      # imm = 0x4000000
movq 0x50(%rbx), %rax
movq %r12, (%rax)
movq 0x8(%rbx), %rax
movq 0x50(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rbx), %rax
movq 0x50(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq 0x50(%rbx), %rax
movq $0x2ec, 0x18(%rax)      # imm = 0x2EC
addq $0x20, 0x50(%rbx)
xorl %eax, %eax
movq %r14, (%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x10(%rbp), %rax
cmpb $0xb, (%rax)
jne 0x9cfbf
leaq -0xeec9(%rip), %rcx     # 0x8df56
cmpq %rcx, %r12
je 0x9ce40
leaq 0xe715(%rip), %rcx      # 0xab540
cmpq %rcx, %r12
je 0x9ce40
leaq 0xe740(%rip), %rcx      # 0xab577
cmpq %rcx, %r12
jne 0x9cfbf
movq 0x10(%r15), %rcx
cmpb $0xb, (%rcx)
jne 0x9cfbf
movq 0x8(%rax), %r12
movq 0x8(%rcx), %rax
movq %rax, (%rsp)
leaq -0x7fbf(%rip), %rax     # 0x94ea1
movq 0x10(%rsp), %r13
cmpq %rax, %r13
je 0x9d03c
leaq 0x78adb(%rip), %rax     # 0x115950
leaq (%rax,%r12,8), %r14
movq 0x8(%rsp), %r15
cmpq (%rsp), %r12
jge 0x9d100
cmpq $0x7ff, %r12            # imm = 0x7FF
ja 0x9ce96
movq (%r14), %rax
jmp 0x9cecf
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x9ceb5
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r12, 0x8(%rax)
movq %rax, 0x10(%rbp)
movq %rbx, %rdi
movq %r15, %rsi
callq *%r13
incq %r12
addq $0x8, %r14
jmp 0x9ce7e
movq 0x10(%rbp), %rax
cmpb $0xb, (%rax)
jne 0x9cfbf
leaq 0x6c24(%rip), %rcx      # 0xa3b1d
cmpq %rcx, %r12
je 0x9cf1a
leaq 0x6c97(%rip), %rcx      # 0xa3b9c
cmpq %rcx, %r12
je 0x9cf1a
leaq -0xed11(%rip), %rcx     # 0x8e200
cmpq %rcx, %r12
jne 0x9cfbf
movq 0x10(%r15), %rcx
cmpb $0xb, (%rcx)
jne 0x9cfbf
movq 0x8(%rax), %r12
movq 0x8(%rcx), %rax
movq %rax, (%rsp)
leaq -0x8099(%rip), %rax     # 0x94ea1
movq 0x10(%rsp), %r13
cmpq %rax, %r13
je 0x9d0dd
leaq 0x78a01(%rip), %rax     # 0x115950
leaq (%rax,%r12,8), %r14
movq 0x8(%rsp), %r15
cmpq (%rsp), %r12
jl 0x9d100
cmpq $0x7ff, %r12            # imm = 0x7FF
ja 0x9cf70
movq (%r14), %rax
jmp 0x9cfa9
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x9cf8f
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r12, 0x8(%rax)
movq %rax, 0x10(%rbp)
movq %rbx, %rdi
movq %r15, %rsi
callq *%r13
decq %r12
addq $-0x8, %r14
jmp 0x9cf58
movq %rbx, %rdi
movq 0x8(%rsp), %rsi
callq *0x10(%rsp)
movq 0x10(%rbp), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x578(%rbx), %rax
movq %r13, 0x8(%rax)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *%r14
movq %rax, 0x10(%rbp)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r15), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *%r12
movq %rax, 0x20(%rbx)
cmpq 0x120(%rbx), %rax
je 0x9cfbf
movq 0x18(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
jmp 0x9cbca
movq 0x2260(%rbx), %r14
movq (%r14), %r15
leaq -0x16b40(%rip), %rax    # 0x8650d
cmpq %rax, %r15
je 0x9d110
leaq -0x1686b(%rip), %rax    # 0x867f2
cmpq %rax, %r15
je 0x9d212
leaq 0x788e3(%rip), %rax     # 0x115950
leaq (%rax,%r12,8), %r13
cmpq (%rsp), %r12
jge 0x9d100
cmpq $0x7ff, %r12            # imm = 0x7FF
ja 0x9d08a
movq (%r13), %rax
jmp 0x9d0c3
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x9d0a9
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r12, 0x8(%rax)
movq %rax, 0x10(%rbp)
andl $0x0, 0x2258(%rbx)
movq %r14, %rdi
callq *%r15
incq %r12
addq $0x8, %r13
jmp 0x9d071
movq 0x2260(%rbx), %r14
leaq 0x1(%r12), %rcx
movq %rbx, %rdi
movq %r14, %rsi
movq (%rsp), %rdx
callq 0xab24f
testb %al, %al
je 0x9d198
movq 0x118(%rbx), %rax
movq %rax, 0x20(%rbx)
jmp 0x9d02a
movq 0x20(%r14), %r15
leaq 0x78835(%rip), %rax     # 0x115950
leaq (%rax,%r12,8), %r13
cmpq (%rsp), %r12
jge 0x9d100
cmpq $0x7ff, %r12            # imm = 0x7FF
ja 0x9d134
movq (%r13), %rax
jmp 0x9d16d
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x9d153
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r12, 0x8(%rax)
movq %rax, 0x10(%rbp)
movq 0x8(%r14), %rax
movq 0x10(%r14), %rcx
movq 0x10(%rax), %rsi
movq 0x10(%rcx), %rdx
movq 0x18(%r14), %rax
movq 0x10(%rax), %rcx
movq %rbx, %rdi
callq *%r15
incq %r12
addq $0x8, %r13
jmp 0x9d11f
movq (%r14), %r15
leaq 0x787ae(%rip), %rax     # 0x115950
leaq (%rax,%r12,8), %r13
cmpq (%rsp), %r12
jl 0x9d100
cmpq $0x7ff, %r12            # imm = 0x7FF
ja 0x9d1bf
movq (%r13), %rax
jmp 0x9d1f8
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x9d1de
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r12, 0x8(%rax)
movq %rax, 0x10(%rbp)
andl $0x0, 0x2258(%rbx)
movq %r14, %rdi
callq *%r15
decq %r12
addq $-0x8, %r13
jmp 0x9d1a6
movq 0x18(%r14), %rax
movq %rax, 0x10(%rsp)
movq 0x2268(%rbx), %rax
movq %rax, 0x8(%rsp)
leaq 0x78722(%rip), %rax     # 0x115950
leaq (%rax,%r12,8), %r13
cmpq (%rsp), %r12
jge 0x9d100
cmpq $0x7ff, %r12            # imm = 0x7FF
ja 0x9d24b
movq (%r13), %rax
jmp 0x9d284
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x9d26a
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r12, 0x8(%rax)
movq %rax, 0x10(%rbp)
movl $0x1, 0x2258(%rbx)
movq 0x8(%r14), %rax
movq 0x10(%rax), %r15
movq 0x8(%rsp), %rdi
callq *(%rdi)
movq 0x10(%r14), %rcx
movq 0x10(%rcx), %rcx
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq *0x10(%rsp)
incq %r12
addq $0x8, %r13
jmp 0x9d232