// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: op_recur_if_a_a_lopl3a_l3a_l3aq
static void opinit_if_a_a_lopl3a_l3a_l3aq(s7_scheme *sc)
                {
                    s7_pointer caller, la1, la2, la3;

                    rec_set_test(sc, cdr(sc->code));
                    rec_set_res(sc, cddr(sc->code));
                    caller = opt3_pair(sc->code);
                    la1 = cadr(caller);
                    la2 = caddr(caller);
                    la3 = opt3_pair(caller);

                    rec_set_f1(sc, cdr(la1));
                    rec_set_f2(sc, cddr(la1));
                    rec_set_f3(sc, cdddr(la1));
                    rec_set_f4(sc, cdr(la2));
                    rec_set_f5(sc, cddr(la2));
                    rec_set_f6(sc, cdddr(la2));

                    sc->rec_f7p = cdr(la3);
                    sc->rec_f7f = c_callee(sc->rec_f7p);
                    sc->rec_f7p = car(sc->rec_f7p);

                    sc->rec_f8p = cddr(la3);
                    sc->rec_f8f = c_callee(sc->rec_f8p);
                    sc->rec_f8p = car(sc->rec_f8p);

                    sc->rec_f9p = cdddr(la3);
                    sc->rec_f9f = c_callee(sc->rec_f9p);
                    sc->rec_f9p = car(sc->rec_f9p);

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

// Assembly:
movq (%rdi), %rax
movq 0x10(%rax), %rcx
movq %rcx, 0x2f0(%rdi)
movq 0x20(%rcx), %rdx
movq %rdx, 0x360(%rdi)
movq 0x8(%rcx), %rcx
movq %rcx, 0x2f0(%rdi)
movq 0x10(%rax), %rcx
movq 0x10(%rcx), %rcx
movq %rcx, 0x340(%rdi)
movq 0x20(%rcx), %rdx
movq %rdx, 0x3b0(%rdi)
movq 0x8(%rcx), %rcx
movq %rcx, 0x340(%rdi)
movq 0x28(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x28(%rax), %rax
movq 0x8(%rcx), %rdx
movq 0x10(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq 0x10(%rdx), %rsi
movq %rsi, 0x2f8(%rdi)
movq 0x20(%rsi), %r8
movq %r8, 0x368(%rdi)
movq 0x8(%rsi), %rsi
movq %rsi, 0x2f8(%rdi)
movq 0x10(%rdx), %rsi
movq 0x10(%rsi), %rsi
movq %rsi, 0x300(%rdi)
movq 0x20(%rsi), %r8
movq %r8, 0x370(%rdi)
movq 0x8(%rsi), %rsi
movq %rsi, 0x300(%rdi)
movq 0x10(%rdx), %rdx
movq 0x10(%rdx), %rdx
movq 0x10(%rdx), %rdx
movq %rdx, 0x308(%rdi)
movq 0x20(%rdx), %rsi
movq %rsi, 0x378(%rdi)
movq 0x8(%rdx), %rdx
movq %rdx, 0x308(%rdi)
movq 0x10(%rcx), %rdx
movq %rdx, 0x310(%rdi)
movq 0x20(%rdx), %rsi
movq %rsi, 0x380(%rdi)
movq 0x8(%rdx), %rdx
movq %rdx, 0x310(%rdi)
movq 0x10(%rcx), %rdx
movq 0x10(%rdx), %rdx
movq %rdx, 0x318(%rdi)
movq 0x20(%rdx), %rsi
movq %rsi, 0x388(%rdi)
movq 0x8(%rdx), %rdx
movq %rdx, 0x318(%rdi)
movq 0x10(%rcx), %rcx
movq 0x10(%rcx), %rcx
movq 0x10(%rcx), %rcx
movq %rcx, 0x320(%rdi)
movq 0x20(%rcx), %rdx
movq %rdx, 0x390(%rdi)
movq 0x8(%rcx), %rcx
movq %rcx, 0x320(%rdi)
movq 0x10(%rax), %rcx
movq %rcx, 0x328(%rdi)
movq 0x20(%rcx), %rdx
movq %rdx, 0x398(%rdi)
movq 0x8(%rcx), %rcx
movq %rcx, 0x328(%rdi)
movq 0x10(%rax), %rcx
movq 0x10(%rcx), %rcx
movq %rcx, 0x330(%rdi)
movq 0x20(%rcx), %rdx
movq %rdx, 0x3a0(%rdi)
movq 0x8(%rcx), %rcx
movq %rcx, 0x330(%rdi)
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x338(%rdi)
movq 0x20(%rax), %rcx
movq %rcx, 0x3a8(%rdi)
movq 0x8(%rax), %rax
movq %rax, 0x338(%rdi)
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq %rax, 0x348(%rdi)
movq 0x18(%rax), %rax
movq %rax, 0x350(%rdi)
movq 0x18(%rax), %rax
movq %rax, 0x358(%rdi)
jmp 0xa6f9b