// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: op_case_g_g
static bool op_case_g_g(s7_scheme *sc)
                {
                    s7_pointer x, y;
#if (!WITH_GMP)
                    if (has_integer_keys(sc->code))
                    {
                        s7_int selector;
                        sc->code = cddr(sc->code);
                        if (type(sc->value) != T_INTEGER)
                        {
                            for (x = sc->code; is_pair(x); x = cdr(x)) /* maybe preset the else case */
                                if (!is_pair(caar(x)))
                                    goto ELSE_CASE;
                        }
                        else
                        {
                            selector = integer(sc->value);
                            for (x = sc->code; is_pair(x); x = cdr(x))
                            {
                                y = caar(x);
                                if (!is_pair(y))
                                    goto ELSE_CASE;
                                for (; is_pair(y); y = cdr(y))
                                    if (integer(car(y)) == selector)
                                        goto ELSE_CASE;
                            }
                        }
                        sc->value = sc->unspecified;
                        pop_stack(sc);
                        return(true);
                    }
#endif
                    sc->code = cddr(sc->code);
                    if (is_simple(sc->value))
                    {
                        for (x = sc->code; is_pair(x); x = cdr(x))
                        {
                            y = caar(x);
                            if (!is_pair(y))
                                goto ELSE_CASE;
                            do {
                                if (car(y) == sc->value)
                                    goto ELSE_CASE;
                                y = cdr(y);
                            } while (is_pair(y));
                        }
                        sc->value = sc->unspecified;
                        pop_stack(sc);
                        return(true);
                    }

                    for (x = sc->code; is_pair(x); x = cdr(x))
                    {
                        y = caar(x);
                        if (!is_pair(y))
                            goto ELSE_CASE;
                        for (; is_pair(y); y = cdr(y))
                            if (s7_is_eqv(car(y), sc->value))
                                goto ELSE_CASE;
                    }
                    sc->value = sc->unspecified; /* this was sc->nil but the spec says case value is unspecified if no clauses match */
                    pop_stack(sc);
                    return(true);

ELSE_CASE:
                    /* 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);
                    }
                    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);
                    if (is_pair(cdr(T_Pair(sc->code))))
                        push_stack_no_args(sc, sc->begin_op, cdr(sc->code));
                    sc->code = car(sc->code);
                    sc->cur_op = optimize_op(sc->code);
                    return(true);
                }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq (%rax), %rax
andq $0x2000000, %rax        # imm = 0x2000000
cmpq $0x0, %rax
je 0x156b00
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x18(%rsp), %rax
movq %rcx, (%rax)
movq 0x18(%rsp), %rax
movq 0x20(%rax), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
je 0x156a08
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x156a03
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
je 0x1569f1
jmp 0x156d0b
jmp 0x1569f3
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0x1569ca
jmp 0x156aa4
movq 0x18(%rsp), %rax
movq 0x20(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, (%rsp)
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x156aa2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
je 0x156a57
jmp 0x156d0b
jmp 0x156a59
movq 0x8(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x156a90
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
cmpq (%rsp), %rax
jne 0x156a7e
jmp 0x156d0b
jmp 0x156a80
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0x156a59
jmp 0x156a92
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0x156a26
jmp 0x156aa4
movq 0x18(%rsp), %rax
movq 0x130(%rax), %rcx
movq 0x18(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x18(%rsp), %rax
movq 0x50(%rax), %rcx
addq $-0x20, %rcx
movq %rcx, 0x50(%rax)
movq 0x18(%rsp), %rax
movq 0x18(%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, 0x27(%rsp)
jmp 0x156eb6
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x18(%rsp), %rax
movq %rcx, (%rax)
movq 0x18(%rsp), %rax
movq 0x20(%rax), %rax
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0xcc0c3(%rip), %rax     # 0x222bf0
testb $0x1, (%rax,%rcx)
je 0x156c19
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x156bbd
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
je 0x156b75
jmp 0x156d0b
jmp 0x156b77
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x18(%rsp), %rcx
cmpq 0x20(%rcx), %rax
jne 0x156b90
jmp 0x156d0b
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
je 0x156b77
jmp 0x156bad
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0x156b44
movq 0x18(%rsp), %rax
movq 0x130(%rax), %rcx
movq 0x18(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x18(%rsp), %rax
movq 0x50(%rax), %rcx
addq $-0x20, %rcx
movq %rcx, 0x50(%rax)
movq 0x18(%rsp), %rax
movq 0x18(%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, 0x27(%rsp)
jmp 0x156eb6
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x156caf
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
je 0x156c57
jmp 0x156d0b
jmp 0x156c59
movq 0x8(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x156c9a
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rdi
movq 0x18(%rsp), %rax
movq 0x20(%rax), %rsi
callq 0x3e6b0
testb $0x1, %al
jne 0x156c83
jmp 0x156c88
jmp 0x156d0b
jmp 0x156c8a
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0x156c59
jmp 0x156c9c
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0x156c26
movq 0x18(%rsp), %rax
movq 0x130(%rax), %rcx
movq 0x18(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x18(%rsp), %rax
movq 0x50(%rax), %rcx
addq $-0x20, %rcx
movq %rcx, 0x50(%rax)
movq 0x18(%rsp), %rax
movq 0x18(%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, 0x27(%rsp)
jmp 0x156eb6
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x18(%rsp), %rax
movq %rcx, (%rax)
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq 0x18(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x156d7f
jmp 0x156d38
movq 0x18(%rsp), %rax
movq 0x50(%rax), %rcx
addq $-0x20, %rcx
movq %rcx, 0x50(%rax)
movq 0x18(%rsp), %rax
movq 0x18(%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, 0x27(%rsp)
jmp 0x156eb6
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movq 0x18(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x156dce
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax), %rcx
movq 0x18(%rsp), %rax
movq %rcx, (%rax)
movq 0x18(%rsp), %rax
movq (%rax), %rax
movzwl 0x4(%rax), %eax
movl %eax, %ecx
movq 0x18(%rsp), %rax
movq %rcx, 0x18(%rax)
movb $0x1, 0x27(%rsp)
jmp 0x156eb6
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax), %rax
movq 0x18(%rsp), %rcx
cmpq 0x18f0(%rcx), %rax
jne 0x156e16
movq 0x18(%rsp), %rdi
movq 0x18(%rsp), %rax
movq 0x18f0(%rax), %rsi
callq 0xb3a0
movq 0x18(%rsp), %rcx
cmpq 0x128(%rcx), %rax
jne 0x156e16
movb $0x0, 0x27(%rsp)
jmp 0x156eb6
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x156e86
jmp 0x156e2c
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rcx
movq 0x18(%rsp), %rax
movq 0x50(%rax), %rax
movq %rcx, (%rax)
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rcx
movq 0x18(%rsp), %rax
movq 0x50(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x18(%rsp), %rax
movq 0x688(%rax), %rcx
movq 0x18(%rsp), %rax
movq 0x50(%rax), %rax
movq %rcx, 0x18(%rax)
movq 0x18(%rsp), %rax
movq 0x50(%rax), %rcx
addq $0x20, %rcx
movq %rcx, 0x50(%rax)
jmp 0x156e86
movq 0x18(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax), %rcx
movq 0x18(%rsp), %rax
movq %rcx, (%rax)
movq 0x18(%rsp), %rax
movq (%rax), %rax
movzwl 0x4(%rax), %eax
movl %eax, %ecx
movq 0x18(%rsp), %rax
movq %rcx, 0x18(%rax)
movb $0x1, 0x27(%rsp)
movb 0x27(%rsp), %al
andb $0x1, %al
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)