// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: opinit_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:
subq $0x28, %rsp
movq %rdi, 0x20(%rsp)
movq 0x20(%rsp), %rdi
movq 0x20(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rsi
callq 0x164f40
movq 0x20(%rsp), %rdi
movq 0x20(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rsi
callq 0x164fa0
movq 0x20(%rsp), %rax
movq (%rax), %rax
movq 0x28(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x18(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x18(%rsp), %rax
movq 0x28(%rax), %rax
movq %rax, (%rsp)
movq 0x20(%rsp), %rdi
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rsi
callq 0x165000
movq 0x20(%rsp), %rdi
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rsi
callq 0x165060
movq 0x20(%rsp), %rdi
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rsi
callq 0x165610
movq 0x20(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rsi
callq 0x1674f0
movq 0x20(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rsi
callq 0x167550
movq 0x20(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rsi
callq 0x1675b0
movq (%rsp), %rax
movq 0x10(%rax), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x328(%rax)
movq 0x20(%rsp), %rax
movq 0x328(%rax), %rax
movq 0x20(%rax), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x398(%rax)
movq 0x20(%rsp), %rax
movq 0x328(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x328(%rax)
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x330(%rax)
movq 0x20(%rsp), %rax
movq 0x330(%rax), %rax
movq 0x20(%rax), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x3a0(%rax)
movq 0x20(%rsp), %rax
movq 0x330(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x330(%rax)
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x338(%rax)
movq 0x20(%rsp), %rax
movq 0x338(%rax), %rax
movq 0x20(%rax), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x3a8(%rax)
movq 0x20(%rsp), %rax
movq 0x338(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x338(%rax)
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x348(%rax)
movq 0x20(%rsp), %rax
movq 0x348(%rax), %rax
movq 0x18(%rax), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x350(%rax)
movq 0x20(%rsp), %rax
movq 0x350(%rax), %rax
movq 0x18(%rax), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x358(%rax)
addq $0x28, %rsp
retq
nop