// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: call_with_current_continuation
static bool call_with_current_continuation(s7_scheme *sc)
    {
        s7_pointer c;
        c = sc->code;

        /* check for (baffle ...) blocking the current attempt to continue */
        if ((continuation_key(c) >= 0) &&
                (!(find_baffle(sc, continuation_key(c))))) /* should this raise an error? */
            return(false);

        if (!check_for_dynamic_winds(sc, c))
            return(true);

        /* we push_stack sc->code before calling an embedded eval above, so sc->code should still be c here, etc */
        sc->stack = copy_stack(sc, continuation_stack(c), continuation_stack_top(c));
        sc->stack_size = continuation_stack_size(c);
        sc->stack_start = stack_elements(sc->stack);
        sc->stack_end = (s7_pointer *)(sc->stack_start + continuation_stack_top(c));
        sc->stack_resize_trigger = (s7_pointer *)(sc->stack_start + sc->stack_size / 2);

        {
            int32_t i, top;
            s7_pointer *src, *dst;

            top = continuation_op_loc(c);
            sc->op_stack_now = (s7_pointer *)(sc->op_stack + top);
            sc->op_stack_size = continuation_op_size(c);
            sc->op_stack_end = (s7_pointer *)(sc->op_stack + sc->op_stack_size);

            src = (s7_pointer *)vector_elements(continuation_op_stack(c));
            dst = sc->op_stack;
            for (i = 0; i < top; i++) dst[i] = src[i];
        }

        if (is_null(sc->args))
            sc->value = sc->nil;
        else
        {
            if (is_null(cdr(sc->args)))
                sc->value = car(sc->args);
            else sc->value = splice_in_values(sc, sc->args);
        }
        return(true);
    }

// Assembly:
subq $0x38, %rsp
movq %rdi, 0x28(%rsp)
movq 0x28(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
cmpl $0x0, 0x24(%rax)
jl 0x16de9a
movq 0x28(%rsp), %rdi
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movslq 0x24(%rax), %rsi
callq 0x16e0c0
testb $0x1, %al
jne 0x16de9a
movb $0x0, 0x37(%rsp)
jmp 0x16e0b5
movq 0x28(%rsp), %rdi
movq 0x20(%rsp), %rsi
callq 0x16e1c0
testb $0x1, %al
jne 0x16deb7
movb $0x1, 0x37(%rsp)
jmp 0x16e0b5
movq 0x28(%rsp), %rdi
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rsi
movq 0x20(%rsp), %rax
movq 0x28(%rax), %rdx
movq 0x20(%rsp), %rax
movq 0x20(%rax), %rax
subq %rax, %rdx
sarq $0x3, %rdx
callq 0x10af0
movq %rax, %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x38(%rax)
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movl 0x18(%rax), %ecx
movq 0x28(%rsp), %rax
movl %ecx, 0x40(%rax)
movq 0x28(%rsp), %rax
movq 0x38(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x48(%rax)
movq 0x28(%rsp), %rax
movq 0x48(%rax), %rcx
movq 0x20(%rsp), %rax
movq 0x28(%rax), %rax
movq 0x20(%rsp), %rdx
movq 0x20(%rdx), %rdx
subq %rdx, %rax
sarq $0x3, %rax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x50(%rax)
movq 0x28(%rsp), %rax
movq 0x48(%rax), %rcx
movq 0x28(%rsp), %rax
movl 0x40(%rax), %eax
shrl %eax
movl %eax, %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x58(%rax)
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movl 0x1c(%rax), %eax
movl %eax, 0x18(%rsp)
movq 0x28(%rsp), %rax
movq 0x60(%rax), %rcx
movslq 0x18(%rsp), %rax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x68(%rax)
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movl 0x20(%rax), %ecx
movq 0x28(%rsp), %rax
movl %ecx, 0x78(%rax)
movq 0x28(%rsp), %rax
movq 0x60(%rax), %rcx
movq 0x28(%rsp), %rax
movl 0x78(%rax), %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x70(%rax)
movq 0x20(%rsp), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x28(%rsp), %rax
movq 0x60(%rax), %rax
movq %rax, 0x8(%rsp)
movl $0x0, 0x1c(%rsp)
movl 0x1c(%rsp), %eax
cmpl 0x18(%rsp), %eax
jge 0x16e02e
movq 0x10(%rsp), %rax
movslq 0x1c(%rsp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x8(%rsp), %rax
movslq 0x1c(%rsp), %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x1c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x1c(%rsp)
jmp 0x16dffb
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x28(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x16e05c
movq 0x28(%rsp), %rax
movq 0x110(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x20(%rax)
jmp 0x16e0b0
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x28(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x16e08f
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x20(%rax)
jmp 0x16e0ae
movq 0x28(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rsi
callq 0x28170
movq %rax, %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x20(%rax)
jmp 0x16e0b0
movb $0x1, 0x37(%rsp)
movb 0x37(%rsp), %al
andb $0x1, %al
addq $0x38, %rsp
retq