// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: opinit_cond_a_a_a_laa_lopa_laaq
static opt_pid_t opinit_cond_a_a_a_laa_lopa_laaq(s7_scheme *sc)
                {
                    s7_pointer caller;

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

                    if ((is_t_integer(slot_value(sc->rec_slot1))) &&
                            (is_t_integer(slot_value(sc->rec_slot2))))
                    {
                        sc->pc = 0;
                        reset_opts(sc);
                        sc->rec_test_o = sc->opts[0];
                        if (bool_optimize(sc, cadr(sc->code)))
                        {
                            sc->rec_result_o = sc->opts[sc->pc];
                            if (int_optimize(sc, cdadr(sc->code)))
                            {
                                s7_pointer laa1;
                                sc->rec_a1_o = sc->opts[sc->pc];
                                sc->rec_pc1 = sc->pc;
                                laa1 = caddr(sc->code);
                                if (bool_optimize(sc, laa1))
                                {
                                    sc->rec_a2_o = sc->opts[sc->pc];
                                    if (int_optimize(sc, cdadr(laa1)))
                                    {
                                        sc->rec_a3_o = sc->opts[sc->pc];
                                        if (int_optimize(sc, cddadr(laa1)))
                                        {
                                            s7_pointer laa2, laa3;
                                            sc->rec_pc2 = sc->pc;
                                            sc->rec_a4_o = sc->opts[sc->pc];
                                            laa2 = cadr(cadddr(sc->code));
                                            laa3 = caddr(laa2);
                                            if (int_optimize(sc, cdr(laa2)))
                                            {
                                                sc->rec_a5_o = sc->opts[sc->pc];
                                                if (int_optimize(sc, cdr(laa3)))
                                                {
                                                    sc->rec_a6_o = sc->opts[sc->pc];
                                                    if (int_optimize(sc, cddr(laa3)))
                                                    {
                                                        sc->rec_val1 = make_mutable_integer(sc, integer(slot_value(sc->rec_slot1)));
                                                        slot_set_value(sc->rec_slot1, sc->rec_val1);
                                                        sc->rec_val2 = make_mutable_integer(sc, integer(slot_value(sc->rec_slot2)));
                                                        slot_set_value(sc->rec_slot2, sc->rec_val2);
                                                        if (sc->pc == 8)
                                                        {
                                                            sc->rec_fb1 = sc->rec_test_o->v[0].fb;
                                                            sc->rec_fb2 = sc->rec_a1_o->v[0].fb;
                                                            sc->rec_fi1 = sc->rec_result_o->v[0].fi;
                                                            sc->rec_fi2 = sc->rec_a2_o->v[0].fi;
                                                            sc->rec_fi3 = sc->rec_a3_o->v[0].fi;
                                                            sc->rec_fi4 = sc->rec_a4_o->v[0].fi;
                                                            sc->rec_fi5 = sc->rec_a5_o->v[0].fi;
                                                            sc->rec_fi6 = sc->rec_a6_o->v[0].fi;
                                                            return(OPT_INT_0);
                                                        }
                                                        return(OPT_INT);
                                                    }}}}}}}}}
                    rec_set_test(sc, cadr(sc->code));
                    rec_set_res(sc, cdadr(sc->code));

                    sc->rec_f1p = caddr(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);
                    rec_set_f4(sc, cdr(caller));
                    sc->rec_f5p = opt3_pair(caller);
                    rec_set_f6(sc, cdr(sc->rec_f5p));
                    sc->rec_f5f = c_callee(sc->rec_f5p);
                    sc->rec_f5p = car(sc->rec_f5p);
                    return(OPT_PTR);
                }

// Assembly:
subq $0x38, %rsp
movq %rdi, 0x28(%rsp)
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x348(%rax)
movq 0x28(%rsp), %rax
movq 0x348(%rax), %rax
movq 0x18(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x350(%rax)
movq 0x28(%rsp), %rax
movq 0x348(%rax), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x1692dc
movq 0x28(%rsp), %rax
movq 0x350(%rax), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x1692dc
movq 0x28(%rsp), %rax
movl $0x0, 0x2258(%rax)
movq 0x28(%rsp), %rax
movq 0x2260(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x400(%rax)
movq 0x28(%rsp), %rdi
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
callq 0xf83e0
testb $0x1, %al
jne 0x168ed0
jmp 0x1692da
movq 0x28(%rsp), %rax
movq 0x28(%rsp), %rcx
movslq 0x2258(%rcx), %rcx
movq 0x2260(%rax,%rcx,8), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x408(%rax)
movq 0x28(%rsp), %rdi
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rsi
callq 0xe59c0
testb $0x1, %al
jne 0x168f1c
jmp 0x1692d8
movq 0x28(%rsp), %rax
movq 0x28(%rsp), %rcx
movslq 0x2258(%rcx), %rcx
movq 0x2260(%rax,%rcx,8), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x410(%rax)
movq 0x28(%rsp), %rax
movl 0x2258(%rax), %ecx
movq 0x28(%rsp), %rax
movl %ecx, 0x460(%rax)
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x28(%rsp), %rdi
movq 0x18(%rsp), %rsi
callq 0xf83e0
testb $0x1, %al
jne 0x168f88
jmp 0x1692d6
movq 0x28(%rsp), %rax
movq 0x28(%rsp), %rcx
movslq 0x2258(%rcx), %rcx
movq 0x2260(%rax,%rcx,8), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x418(%rax)
movq 0x28(%rsp), %rdi
movq 0x18(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rsi
callq 0xe59c0
testb $0x1, %al
jne 0x168fd1
jmp 0x1692d4
movq 0x28(%rsp), %rax
movq 0x28(%rsp), %rcx
movslq 0x2258(%rcx), %rcx
movq 0x2260(%rax,%rcx,8), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x420(%rax)
movq 0x28(%rsp), %rdi
movq 0x18(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rsi
callq 0xe59c0
testb $0x1, %al
jne 0x16901e
jmp 0x1692d2
movq 0x28(%rsp), %rax
movl 0x2258(%rax), %ecx
movq 0x28(%rsp), %rax
movl %ecx, 0x464(%rax)
movq 0x28(%rsp), %rax
movq 0x28(%rsp), %rcx
movslq 0x2258(%rcx), %rcx
movq 0x2260(%rax,%rcx,8), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x428(%rax)
movq 0x28(%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 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x28(%rsp), %rdi
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rsi
callq 0xe59c0
testb $0x1, %al
jne 0x1690b0
jmp 0x1692d0
movq 0x28(%rsp), %rax
movq 0x28(%rsp), %rcx
movslq 0x2258(%rcx), %rcx
movq 0x2260(%rax,%rcx,8), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x430(%rax)
movq 0x28(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rsi
callq 0xe59c0
testb $0x1, %al
jne 0x1690f1
jmp 0x1692ce
movq 0x28(%rsp), %rax
movq 0x28(%rsp), %rcx
movslq 0x2258(%rcx), %rcx
movq 0x2260(%rax,%rcx,8), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x438(%rax)
movq 0x28(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rsi
callq 0xe59c0
testb $0x1, %al
jne 0x169136
jmp 0x1692cc
movq 0x28(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x348(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
callq 0xdd130
movq %rax, %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x450(%rax)
movq 0x28(%rsp), %rax
movq 0x450(%rax), %rcx
movq 0x28(%rsp), %rax
movq 0x348(%rax), %rax
movq %rcx, 0x10(%rax)
movq 0x28(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x350(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
callq 0xdd130
movq %rax, %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x458(%rax)
movq 0x28(%rsp), %rax
movq 0x458(%rax), %rcx
movq 0x28(%rsp), %rax
movq 0x350(%rax), %rax
movq %rcx, 0x10(%rax)
movq 0x28(%rsp), %rax
cmpl $0x8, 0x2258(%rax)
jne 0x1692bf
movq 0x28(%rsp), %rax
movq 0x400(%rax), %rax
movq (%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x3f0(%rax)
movq 0x28(%rsp), %rax
movq 0x410(%rax), %rax
movq (%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x3f8(%rax)
movq 0x28(%rsp), %rax
movq 0x408(%rax), %rax
movq (%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x3c0(%rax)
movq 0x28(%rsp), %rax
movq 0x418(%rax), %rax
movq (%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x3c8(%rax)
movq 0x28(%rsp), %rax
movq 0x420(%rax), %rax
movq (%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x3d0(%rax)
movq 0x28(%rsp), %rax
movq 0x428(%rax), %rax
movq (%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x3d8(%rax)
movq 0x28(%rsp), %rax
movq 0x430(%rax), %rax
movq (%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x3e0(%rax)
movq 0x28(%rsp), %rax
movq 0x438(%rax), %rax
movq (%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x3e8(%rax)
movl $0x3, 0x34(%rsp)
jmp 0x169475
movl $0x1, 0x34(%rsp)
jmp 0x169475
jmp 0x1692ce
jmp 0x1692d0
jmp 0x1692d2
jmp 0x1692d4
jmp 0x1692d6
jmp 0x1692d8
jmp 0x1692da
jmp 0x1692dc
movq 0x28(%rsp), %rdi
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
callq 0x164f40
movq 0x28(%rsp), %rdi
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rsi
callq 0x164fa0
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x2f8(%rax)
movq 0x28(%rsp), %rax
movq 0x2f8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x300(%rax)
movq 0x28(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x300(%rax), %rax
movq 0x10(%rax), %rsi
callq 0x165610
movq 0x28(%rsp), %rax
movq 0x2f8(%rax), %rax
movq 0x20(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x368(%rax)
movq 0x28(%rsp), %rax
movq 0x2f8(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x2f8(%rax)
movq 0x28(%rsp), %rax
movq 0x300(%rax), %rax
movq 0x20(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x370(%rax)
movq 0x28(%rsp), %rax
movq 0x300(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x300(%rax)
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x28(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x28(%rsp), %rdi
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rsi
callq 0x1674f0
movq 0x20(%rsp), %rax
movq 0x28(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x318(%rax)
movq 0x28(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x318(%rax), %rax
movq 0x10(%rax), %rsi
callq 0x1675b0
movq 0x28(%rsp), %rax
movq 0x318(%rax), %rax
movq 0x20(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x388(%rax)
movq 0x28(%rsp), %rax
movq 0x318(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x318(%rax)
movl $0x0, 0x34(%rsp)
movl 0x34(%rsp), %eax
addq $0x38, %rsp
retq
nop