// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: op_let_temp_fx
static void op_let_temp_fx(s7_scheme *sc) /* all entries are of the form (symbol fx-able-value) */
                {
                    s7_pointer p, var, settee, new_val, slot;
                    s7_pointer *end;

                    set_current_code(sc, sc->code);
                    sc->code = cdr(sc->code);

                    end = sc->stack_end;
                    for (p = car(sc->code); is_pair(p); p = cdr(p))
                    {
                        var = car(p);
                        settee = car(var);
                        slot = symbol_to_slot(sc, settee);
                        if (!is_slot(slot))
                            eval_error_no_return(sc, sc->unbound_variable_symbol, "~A: unbound variable", 20, settee);
                        if (is_immutable_slot(slot))
                            immutable_object_error(sc, set_elist_3(sc, immutable_error_string, sc->let_temporarily_symbol, settee));
                        push_stack(sc, OP_LET_TEMP_UNWIND, slot_value(slot), slot);
                    }
                    for (p = car(sc->code); is_pair(p); p = cdr(p), end += 4)
                    {
                        var = car(p);
                        settee = car(var);
                        new_val = fx_call(sc, cdr(var));
                        slot = end[0];
                        if (slot_has_setter(slot))
                            slot_set_value(slot, s7_apply_function(sc, slot_setter(slot), set_plist_2(sc, settee, new_val)));
                        else slot_set_value(slot, new_val);
                    }
                    sc->code = cdr(sc->code);
                }

// Assembly:
subq $0x78, %rsp
movq %rdi, 0x70(%rsp)
movq 0x70(%rsp), %rax
movq (%rax), %rcx
movq 0x70(%rsp), %rax
movq %rcx, 0x28(%rax)
movq 0x70(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rcx
movq 0x70(%rsp), %rax
movq %rcx, (%rax)
movq 0x70(%rsp), %rax
movq 0x50(%rax), %rax
movq %rax, 0x40(%rsp)
movq 0x70(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x68(%rsp)
movq 0x68(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x150f8e
movq 0x68(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x58(%rsp)
movq 0x70(%rsp), %rdi
movq 0x58(%rsp), %rsi
callq 0xfc80
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x20, %eax
je 0x150eca
movq 0x70(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x70(%rsp), %rax
movq 0x1958(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x70(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x70(%rsp), %rdi
leaq 0x9f641(%rip), %rsi     # 0x1f04dd
movl $0x14, %edx
callq 0xb880
movq 0x18(%rsp), %rdi
movq %rax, %rsi
movq 0x58(%rsp), %rdx
callq 0xb830
movq 0x20(%rsp), %rdi
movq 0x28(%rsp), %rsi
movq %rax, %rdx
callq 0x2f940
movq 0x48(%rsp), %rax
movq (%rax), %rax
andq $0x1000000, %rax        # imm = 0x1000000
cmpq $0x0, %rax
je 0x150f17
movq 0x70(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x70(%rsp), %rdi
movq 0xc95a4(%rip), %rsi     # 0x21a498
movq 0x70(%rsp), %rax
movq 0x1248(%rax), %rdx
movq 0x58(%rsp), %rcx
callq 0xf240
movq 0x10(%rsp), %rdi
movq %rax, %rsi
callq 0xb800
jmp 0x150f19
movq 0x48(%rsp), %rcx
movq 0x70(%rsp), %rax
movq 0x50(%rax), %rax
movq %rcx, (%rax)
movq 0x70(%rsp), %rax
movq 0x8(%rax), %rcx
movq 0x70(%rsp), %rax
movq 0x50(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x48(%rsp), %rax
movq 0x10(%rax), %rcx
movq 0x70(%rsp), %rax
movq 0x50(%rax), %rax
movq %rcx, 0x10(%rax)
movq 0x70(%rsp), %rax
movq 0x50(%rax), %rax
movl $0x1c0, %ecx            # imm = 0x1C0
movq %rcx, 0x18(%rax)
movq 0x70(%rsp), %rax
movq 0x50(%rax), %rcx
addq $0x20, %rcx
movq %rcx, 0x50(%rax)
jmp 0x150f7b
movq 0x68(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x68(%rsp)
jmp 0x150e1d
movq 0x70(%rsp), %rax
movq (%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x68(%rsp)
movq 0x68(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x15109e
movq 0x68(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x58(%rsp)
movq 0x60(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x38(%rsp)
movq 0x38(%rsp), %rax
movq 0x20(%rax), %rax
movq 0x70(%rsp), %rdi
movq 0x38(%rsp), %rcx
movq 0x8(%rcx), %rsi
callq *%rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
movq %rax, 0x50(%rsp)
movq 0x40(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq (%rax), %rax
andq $0x40000, %rax          # imm = 0x40000
cmpq $0x0, %rax
je 0x15106d
movq 0x70(%rsp), %rax
movq %rax, (%rsp)
movq 0x48(%rsp), %rax
movq 0x28(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x70(%rsp), %rdi
movq 0x58(%rsp), %rsi
movq 0x50(%rsp), %rdx
callq 0x36f70
movq (%rsp), %rdi
movq 0x8(%rsp), %rsi
movq %rax, %rdx
callq 0xda50
movq %rax, %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x10(%rax)
jmp 0x15107b
movq 0x50(%rsp), %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x10(%rax)
jmp 0x15107d
movq 0x68(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x68(%rsp)
movq 0x40(%rsp), %rax
addq $0x20, %rax
movq %rax, 0x40(%rsp)
jmp 0x150f9f
movq 0x70(%rsp), %rax
movq (%rax), %rax
movq 0x10(%rax), %rcx
movq 0x70(%rsp), %rax
movq %rcx, (%rax)
addq $0x78, %rsp
retq
nopw (%rax,%rax)