// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: opinit_cond_a_a_a_laa_opa_laaq
static void opinit_cond_a_a_a_laa_opa_laaq(s7_scheme *sc, bool cond)
                {
                    s7_pointer caller;
                    rec_set_test(sc, (cond) ? cadr(sc->code) : cdr(sc->code));
                    rec_set_res(sc, (cond) ? cdadr(sc->code) : cddr(sc->code));

                    sc->rec_f1p = (cond) ? caddr(sc->code) : cdr(cadddr(sc->code));
                    sc->rec_f2p = cdadr(sc->rec_f1p);
                    rec_set_f3(sc, cdr(sc->rec_f2p));

                    sc->rec_f1f = c_callee(sc->rec_f1p);
                    sc->rec_f1p = car(sc->rec_f1p);
                    sc->rec_f2f = c_callee(sc->rec_f2p);
                    sc->rec_f2p = car(sc->rec_f2p);

                    caller = opt3_pair(sc->code);          /* opA_LAA */

                    rec_set_f4(sc, cdr(caller));
                    sc->rec_f5p = cdr(opt3_pair(caller));  /* (L)AA */
                    rec_set_f6(sc, cdr(sc->rec_f5p));
                    sc->rec_f5f = c_callee(sc->rec_f5p);
                    sc->rec_f5p = car(sc->rec_f5p);
                    sc->rec_call = c_callee(caller);

                    sc->rec_slot1 = let_slots(sc->envir);
                    sc->rec_slot2 = next_slot(sc->rec_slot1);
                }

// Assembly:
subq $0x48, %rsp
movb %sil, %al
movq %rdi, 0x40(%rsp)
andb $0x1, %al
movb %al, 0x3f(%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0x28(%rsp)
testb $0x1, 0x3f(%rsp)
je 0x167d6a
movq 0x40(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x20(%rsp)
jmp 0x167d7b
movq 0x40(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x28(%rsp), %rdi
movq 0x20(%rsp), %rsi
callq 0x164f40
movq 0x40(%rsp), %rax
movq %rax, 0x18(%rsp)
testb $0x1, 0x3f(%rsp)
je 0x167db6
movq 0x40(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0x167dcb
movq 0x40(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x18(%rsp), %rdi
movq 0x10(%rsp), %rsi
callq 0x164fa0
testb $0x1, 0x3f(%rsp)
je 0x167dfc
movq 0x40(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0x167e1d
movq 0x40(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x2f8(%rax)
movq 0x40(%rsp), %rax
movq 0x2f8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x300(%rax)
movq 0x40(%rsp), %rdi
movq 0x40(%rsp), %rax
movq 0x300(%rax), %rax
movq 0x10(%rax), %rsi
callq 0x165610
movq 0x40(%rsp), %rax
movq 0x2f8(%rax), %rax
movq 0x20(%rax), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x368(%rax)
movq 0x40(%rsp), %rax
movq 0x2f8(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x2f8(%rax)
movq 0x40(%rsp), %rax
movq 0x300(%rax), %rax
movq 0x20(%rax), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x370(%rax)
movq 0x40(%rsp), %rax
movq 0x300(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x300(%rax)
movq 0x40(%rsp), %rax
movq (%rax), %rax
movq 0x28(%rax), %rax
movq %rax, 0x30(%rsp)
movq 0x40(%rsp), %rdi
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rsi
callq 0x1674f0
movq 0x30(%rsp), %rax
movq 0x28(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x318(%rax)
movq 0x40(%rsp), %rdi
movq 0x40(%rsp), %rax
movq 0x318(%rax), %rax
movq 0x10(%rax), %rsi
callq 0x1675b0
movq 0x40(%rsp), %rax
movq 0x318(%rax), %rax
movq 0x20(%rax), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x388(%rax)
movq 0x40(%rsp), %rax
movq 0x318(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x318(%rax)
movq 0x30(%rsp), %rax
movq 0x20(%rax), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x3b8(%rax)
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x348(%rax)
movq 0x40(%rsp), %rax
movq 0x348(%rax), %rax
movq 0x18(%rax), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x350(%rax)
addq $0x48, %rsp
retq
nopw (%rax,%rax)