// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: stack_entries
static s7_pointer stack_entries(s7_scheme *sc, s7_pointer stack, int64_t top)
                {
                    int64_t i;
                    s7_pointer lst;
                    lst = sc->nil;
                    for (i = top - 1; i >= 3; i -= 4)
                    {
                        s7_pointer func, args, e;
                        opcode_t op;
                        func = stack_code(stack, i);
                        args = stack_args(stack, i);
                        e = stack_let(stack, i);
                        op = stack_op(stack, i);
                        if ((s7_is_valid(sc, func)) &&
                                (s7_is_valid(sc, args)) &&
                                (s7_is_valid(sc, e)) &&
                                (op < NUM_OPS))
                        {
#if S7_DEBUGGING
                            if (op < NUM_OPS)
                                lst = cons(sc, list_4(sc, func, args, e, s7_make_string_wrapper(sc, op_names[op])), lst);
                            else lst = cons(sc, list_4(sc, func, args, e, make_integer(sc, op)), lst);
#else
                            lst = cons(sc, list_4(sc, func, args, e, make_integer(sc, op)), lst);
#endif
                            sc->w = lst;
                        }
                    }
                    return(reverse_in_place_unchecked(sc, sc->nil, lst));
                }

// Assembly:
subq $0xe8, %rsp
movq %rdi, 0xe0(%rsp)
movq %rsi, 0xd8(%rsp)
movq %rdx, 0xd0(%rsp)
movq 0xe0(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0xc0(%rsp)
movq 0xd0(%rsp), %rax
subq $0x1, %rax
movq %rax, 0xc8(%rsp)
cmpq $0x3, 0xc8(%rsp)
jl 0x1a068f
movq 0xd8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0xc8(%rsp), %rcx
subq $0x3, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, 0xb8(%rsp)
movq 0xd8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0xc8(%rsp), %rcx
subq $0x1, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, 0xb0(%rsp)
movq 0xd8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0xc8(%rsp), %rcx
subq $0x2, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, 0xa8(%rsp)
movq 0xd8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0xc8(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, 0xa0(%rsp)
movq 0xe0(%rsp), %rdi
movq 0xb8(%rsp), %rsi
callq 0x2ca70
testb $0x1, %al
jne 0x1a0353
jmp 0x1a0674
movq 0xe0(%rsp), %rdi
movq 0xb0(%rsp), %rsi
callq 0x2ca70
testb $0x1, %al
jne 0x1a0371
jmp 0x1a0674
movq 0xe0(%rsp), %rdi
movq 0xa8(%rsp), %rsi
callq 0x2ca70
testb $0x1, %al
jne 0x1a038f
jmp 0x1a0674
cmpq $0x357, 0xa0(%rsp) # imm = 0x357
jge 0x1a0674
movq 0xe0(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0xb8(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0xe0(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0xb0(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0xe0(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0xa8(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0xa0(%rsp), %rax
movq %rax, 0x68(%rsp)
movq 0x68(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x1a0427
movq 0x68(%rsp), %rcx
leaq 0x76067(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x8(%rsp)
jmp 0x1a04aa
jmp 0x1a0429
movq 0xe0(%rsp), %rax
movq 0x90(%rax), %rax
movq 0xe0(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1a0456
movq 0xe0(%rsp), %rdi
callq 0xc670
movq 0xe0(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x58(%rsp)
movq 0x58(%rsp), %rax
movq $0xb, (%rax)
movq 0x68(%rsp), %rcx
movq 0x58(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x58(%rsp), %rax
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0x78(%rsp)
movq 0xe0(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x70(%rsp)
movq 0xe0(%rsp), %rax
movq 0x90(%rax), %rax
movq 0xe0(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1a04ff
movq 0xe0(%rsp), %rdi
callq 0xc670
movq 0xe0(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x80(%rsp)
movq 0x80(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x38(%rsp), %rsi
movq 0x30(%rsp), %rdi
movq 0x78(%rsp), %rcx
movq 0x80(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x70(%rsp), %rcx
movq 0x80(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x80(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rdx
callq 0xd9f0
movq 0x20(%rsp), %rdi
movq 0x28(%rsp), %rsi
movq %rax, %rdx
callq 0xd9f0
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq %rax, %rdx
callq 0xd9f0
movq %rax, 0x90(%rsp)
movq 0xc0(%rsp), %rax
movq %rax, 0x88(%rsp)
movq 0xe0(%rsp), %rax
movq 0x90(%rax), %rax
movq 0xe0(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1a05e3
movq 0xe0(%rsp), %rdi
callq 0xc670
movq 0xe0(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x98(%rsp)
movq 0x98(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x90(%rsp), %rcx
movq 0x98(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x88(%rsp), %rcx
movq 0x98(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x98(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0xc0(%rsp)
movq 0xc0(%rsp), %rcx
movq 0xe0(%rsp), %rax
movq %rcx, 0x4d8(%rax)
jmp 0x1a0676
movq 0xc8(%rsp), %rax
subq $0x4, %rax
movq %rax, 0xc8(%rsp)
jmp 0x1a029a
movq 0xe0(%rsp), %rdi
movq 0xe0(%rsp), %rax
movq 0x110(%rax), %rsi
movq 0xc0(%rsp), %rdx
callq 0xd7aa0
addq $0xe8, %rsp
retq
nopl (%rax,%rax)