// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: op_case_e_g_1
static bool op_case_e_g_1(s7_scheme *sc, s7_pointer selector, bool ok)
                {
                    s7_pointer x, y;
                    if (ok)
                    {
                        for (x = cddr(sc->code); is_pair(x); x = cdr(x))
                        {
                            y = opt2_any(x);
                            if (!is_pair(y)) /* i.e. else? */
                                goto ELSE_CASE_1;
                            do {
                                if (car(y) == selector)
                                    goto ELSE_CASE_1;
                                y = cdr(y);
                            } while (is_pair(y));
                        }
                        sc->value = sc->unspecified;
                        pop_stack(sc);
                        return(true);
                    }

                    sc->code = opt3_any(cdr(sc->code));
                    if (sc->code == sc->unused)    /* set in check_case if no else clause */
                        sc->value = sc->unspecified;
                    else
                    {
                        if (is_pair(sc->code))
                            goto ELSE_CASE_2;
                    }
                    pop_stack(sc);
                    return(true);

ELSE_CASE_1:
                    /* x is the entire matching clause, (case 2 ((2) 3)), x: (((2) 3)) */
                    sc->code = T_Lst(cdar(x));
                    if (is_null(sc->code))  /* sc->value is already the selector */
                    {
                        pop_stack(sc);
                        return(true);
                    }

ELSE_CASE_2:
                    if (is_null(cdr(sc->code)))
                    {
                        sc->code = car(sc->code);
                        sc->cur_op = optimize_op(sc->code);
                        return(true);
                    }

                    if ((car(sc->code) == sc->feed_to_symbol) &&
                            (s7_symbol_value(sc, sc->feed_to_symbol) == sc->undefined))
                        return(false);

                    push_stack_no_args(sc, sc->begin_op, T_Pair(cdr(sc->code)));
                    sc->code = car(sc->code);
                    sc->cur_op = optimize_op(sc->code);
                    return(true);
                }

// Assembly:
subq $0x38, %rsp
movb %dl, %al
movq %rdi, 0x28(%rsp)
movq %rsi, 0x20(%rsp)
andb $0x1, %al
movb %al, 0x1f(%rsp)
testb $0x1, 0x1f(%rsp)
je 0x157343
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x1572e7
movq 0x10(%rsp), %rax
movq 0x20(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
je 0x1572a3
jmp 0x1573e8
jmp 0x1572a5
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
cmpq 0x20(%rsp), %rax
jne 0x1572ba
jmp 0x1573e8
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
je 0x1572a5
jmp 0x1572d7
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0x157276
movq 0x28(%rsp), %rax
movq 0x130(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x28(%rsp), %rax
movq 0x50(%rax), %rcx
addq $-0x20, %rcx
movq %rcx, 0x50(%rax)
movq 0x28(%rsp), %rax
movq 0x28(%rsp), %rcx
movq 0x50(%rcx), %rcx
movq (%rcx), %rdx
movq %rdx, (%rax)
movq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rax)
movq 0x10(%rcx), %rdx
movq %rdx, 0x10(%rax)
movq 0x18(%rcx), %rcx
movq %rcx, 0x18(%rax)
movb $0x1, 0x37(%rsp)
jmp 0x15757f
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x28(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, (%rax)
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x28(%rsp), %rcx
cmpq 0x140(%rcx), %rax
jne 0x157388
movq 0x28(%rsp), %rax
movq 0x130(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x20(%rax)
jmp 0x15739f
movq 0x28(%rsp), %rax
movq (%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x15739d
jmp 0x15745e
jmp 0x15739f
jmp 0x1573a1
movq 0x28(%rsp), %rax
movq 0x50(%rax), %rcx
addq $-0x20, %rcx
movq %rcx, 0x50(%rax)
movq 0x28(%rsp), %rax
movq 0x28(%rsp), %rcx
movq 0x50(%rcx), %rcx
movq (%rcx), %rdx
movq %rdx, (%rax)
movq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rax)
movq 0x10(%rcx), %rdx
movq %rdx, 0x10(%rax)
movq 0x18(%rcx), %rcx
movq %rcx, 0x18(%rax)
movb $0x1, 0x37(%rsp)
jmp 0x15757f
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, (%rax)
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x28(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x15745c
jmp 0x157415
movq 0x28(%rsp), %rax
movq 0x50(%rax), %rcx
addq $-0x20, %rcx
movq %rcx, 0x50(%rax)
movq 0x28(%rsp), %rax
movq 0x28(%rsp), %rcx
movq 0x50(%rcx), %rcx
movq (%rcx), %rdx
movq %rdx, (%rax)
movq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rax)
movq 0x10(%rcx), %rdx
movq %rdx, 0x10(%rax)
movq 0x18(%rcx), %rcx
movq %rcx, 0x18(%rax)
movb $0x1, 0x37(%rsp)
jmp 0x15757f
jmp 0x15745e
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x28(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x1574ad
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, (%rax)
movq 0x28(%rsp), %rax
movq (%rax), %rax
movzwl 0x4(%rax), %eax
movl %eax, %ecx
movq 0x28(%rsp), %rax
movq %rcx, 0x18(%rax)
movb $0x1, 0x37(%rsp)
jmp 0x15757f
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax), %rax
movq 0x28(%rsp), %rcx
cmpq 0x18f0(%rcx), %rax
jne 0x1574f5
movq 0x28(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x18f0(%rax), %rsi
callq 0xb3a0
movq 0x28(%rsp), %rcx
cmpq 0x128(%rcx), %rax
jne 0x1574f5
movb $0x0, 0x37(%rsp)
jmp 0x15757f
jmp 0x1574f7
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rcx
movq 0x28(%rsp), %rax
movq 0x50(%rax), %rax
movq %rcx, (%rax)
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rcx
movq 0x28(%rsp), %rax
movq 0x50(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x28(%rsp), %rax
movq 0x688(%rax), %rcx
movq 0x28(%rsp), %rax
movq 0x50(%rax), %rax
movq %rcx, 0x18(%rax)
movq 0x28(%rsp), %rax
movq 0x50(%rax), %rcx
addq $0x20, %rcx
movq %rcx, 0x50(%rax)
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, (%rax)
movq 0x28(%rsp), %rax
movq (%rax), %rax
movzwl 0x4(%rax), %eax
movl %eax, %ecx
movq 0x28(%rsp), %rax
movq %rcx, 0x18(%rax)
movb $0x1, 0x37(%rsp)
movb 0x37(%rsp), %al
andb $0x1, %al
addq $0x38, %rsp
retq
nopw (%rax,%rax)