LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_c_opsq
static s7_pointer fx_c_c_opsq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = caddr(arg);
                    set_car(sc->t1_1, lookup(sc, cadr(largs)));
                    set_car(sc->t2_2, c_call(largs)(sc, sc->t1_1));
                    set_car(sc->t2_1, cadr(arg));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbe8f0
jle 0xbe8eb
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbe8de
cmpq %rsi, %rdi
jne 0xbe945
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x568(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbe965
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbe95f
cmpq %rcx, 0x8(%rsi)
je 0xbe8f4
movq 0x18(%rsi), %rsi
jmp 0xbe94e
movq 0x10(%rdx), %rdx
jmp 0xbe945
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbe8f4
xorl %ecx, %ecx
jmp 0xbe8f8
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_c_opcsq
static s7_pointer fx_c_c_opcsq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = caddr(arg);
                    set_car(sc->t2_2, lookup(sc, caddr(largs)));
                    set_car(sc->t2_1, opt1_con(cdr(largs))); /* cadr(largs) or cadadr */
                    set_car(sc->t2_2, c_call(largs)(sc, sc->t2_1));
                    set_car(sc->t2_1, cadr(arg));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x10(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbea0b
jle 0xbea06
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbe9f9
cmpq %rsi, %rdi
jne 0xbea73
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x10(%rax), %rcx
movq 0x18(%rcx), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbea93
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbea8d
cmpq %rcx, 0x8(%rsi)
je 0xbea0f
movq 0x18(%rsi), %rsi
jmp 0xbea7c
movq 0x10(%rdx), %rdx
jmp 0xbea73
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbea0f
xorl %ecx, %ecx
jmp 0xbea13
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opcsq_c
static s7_pointer fx_c_opcsq_c(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    set_car(sc->t2_2, lookup(sc, caddr(largs)));
                    set_car(sc->t2_1, opt1_con(cdr(largs))); /* cadr(largs) or cadadr */
                    set_car(sc->t2_1, c_call(largs)(sc, sc->t2_1));
                    set_car(sc->t2_2, caddr(arg));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x10(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbeaea
jle 0xbeae5
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbead8
cmpq %rsi, %rdi
jne 0xbeb56
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x10(%rax), %rcx
movq 0x18(%rcx), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbeb76
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbeb70
cmpq %rcx, 0x8(%rsi)
je 0xbeaee
movq 0x18(%rsi), %rsi
jmp 0xbeb5f
movq 0x10(%rdx), %rdx
jmp 0xbeb56
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbeaee
xorl %ecx, %ecx
jmp 0xbeaf2
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_op_opssq_q_c
static s7_pointer fx_c_op_opssq_q_c(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer arg;
                    arg = cadadr(code);
                    set_car(sc->t2_1, lookup(sc, cadr(arg)));
                    set_car(sc->t2_2, lookup(sc, opt2_sym(cdr(arg))));
                    set_car(sc->t1_1, c_call(arg)(sc, sc->t2_1));
                    set_car(sc->t2_1, c_call(cadr(code))(sc, sc->t1_1));
                    set_car(sc->t2_2, caddr(code));
                    return(c_call(code)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbed21
jle 0xbed18
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbed0b
cmpq %rsi, %rdi
jne 0xbedde
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x10(%rax), %rcx
movq 0x20(%rcx), %rcx
movq 0x8(%rbx), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbed65
jle 0xbed5c
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbed4f
cmpq %rsi, %rdi
jne 0xbee02
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x568(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbee26
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbedfc
cmpq %rcx, 0x8(%rsi)
je 0xbed25
movq 0x18(%rsi), %rsi
jmp 0xbede7
movq 0x10(%rdx), %rdx
jmp 0xbedde
cmpb $0x1c, (%rdx)
jne 0xbee3a
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbee20
cmpq %rcx, 0x8(%rsi)
je 0xbed69
movq 0x18(%rsi), %rsi
jmp 0xbee0b
movq 0x10(%rdx), %rdx
jmp 0xbee02
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbed25
xorl %ecx, %ecx
jmp 0xbed29
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbed69
xorl %ecx, %ecx
jmp 0xbed6d
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_op_opsq_q_c
static s7_pointer fx_c_op_opsq_q_c(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer arg;
                    arg = cadadr(code);
                    set_car(sc->t1_1, lookup(sc, cadr(arg)));
                    set_car(sc->t1_1, c_call(arg)(sc, sc->t1_1));
                    set_car(sc->t2_1, c_call(cadr(code))(sc, sc->t1_1));
                    set_car(sc->t2_2, caddr(code));
                    return(c_call(code)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbf0f6
jle 0xbf0f1
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbf0e4
cmpq %rsi, %rdi
jne 0xbf16f
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x568(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x568(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbf193
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbf18d
cmpq %rcx, 0x8(%rsi)
je 0xbf0fa
movq 0x18(%rsi), %rsi
jmp 0xbf178
movq 0x10(%rdx), %rdx
jmp 0xbf16f
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbf0fa
xorl %ecx, %ecx
jmp 0xbf0fe
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_op_opsq_cq
static s7_pointer fx_c_s_op_opsq_cq(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer args, val, val1;
                    args = caddr(code);
                    val1 = cadr(args);
                    val = lookup(sc, cadr(val1));
                    set_car(sc->t1_1, val);
                    set_car(sc->t2_1, c_call(val1)(sc, sc->t1_1));
                    set_car(sc->t2_2, opt2_con(cdr(args)));                 /* caddr(args) E_C_PC in combine_ops */
                    set_car(sc->t2_2, c_call(args)(sc, sc->t2_1));
                    set_car(sc->t2_1, lookup(sc, cadr(code)));
                    return(c_call(code)(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbf1f7
jle 0xbf1ee
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbf1e1
cmpq %rsi, %rdi
jne 0xbf2a3
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x568(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r15), %rax
movq 0x20(%rax), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbf27b
jle 0xbf276
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbf269
cmpq %rdx, %rsi
jne 0xbf2c7
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbf2e7
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbf2c1
cmpq %rcx, 0x8(%rsi)
je 0xbf1fb
movq 0x18(%rsi), %rsi
jmp 0xbf2ac
movq 0x10(%rdx), %rdx
jmp 0xbf2a3
cmpb $0x1c, (%rcx)
jne 0xbf2fb
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xbf2e1
cmpq %rax, 0x8(%rdx)
je 0xbf27f
movq 0x18(%rdx), %rdx
jmp 0xbf2d0
movq 0x10(%rcx), %rcx
jmp 0xbf2c7
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbf1fb
xorl %ecx, %ecx
jmp 0xbf1ff
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xbf27f
xorl %eax, %eax
jmp 0xbf283
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_op_s_opsqq
static s7_pointer fx_c_s_op_s_opsqq(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer args, val, val1;
                    args = caddr(code);
                    val1 = caddr(args);
                    val = lookup(sc, cadr(args));
                    set_car(sc->t1_1, lookup(sc, cadr(val1)));
                    set_car(sc->t2_2, c_call(val1)(sc, sc->t1_1));
                    set_car(sc->t2_1, val);
                    set_car(sc->t2_2, c_call(args)(sc, sc->t2_1));
                    set_car(sc->t2_1, lookup(sc, cadr(code)));
                    return(c_call(code)(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rdx
movq 0x20(%rsi), %r8
cmpq %r8, %rdx
je 0xbf36b
movq %rcx, %rdi
movq %rdx, %r9
jle 0xbf362
movq %rcx, %rdi
movq 0x10(%rdi), %rdi
movq 0x18(%rdi), %r9
cmpq %r9, %r8
jl 0xbf355
cmpq %r8, %r9
jne 0xbf446
movq 0x18(%rsi), %r8
movq 0x10(%r8), %r12
movq 0x10(%rax), %rsi
movq 0x8(%rsi), %rsi
movq 0x20(%rsi), %rdi
cmpq %rdi, %rdx
je 0xbf39c
jle 0xbf393
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdx
cmpq %rdx, %rdi
jl 0xbf386
cmpq %rdi, %rdx
jne 0xbf46a
movq 0x18(%rsi), %rdx
movq 0x10(%rdx), %rcx
movq 0x568(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x570(%rbx), %rax
movq %r12, 0x8(%rax)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbf418
jle 0xbf413
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbf406
cmpq %rdx, %rsi
jne 0xbf48e
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rdi)
jne 0xbf4b2
movq 0x8(%rdi), %r8
testq %r8, %r8
je 0xbf464
cmpq %rsi, 0x8(%r8)
je 0xbf36f
movq 0x18(%r8), %r8
jmp 0xbf44f
movq 0x10(%rdi), %rdi
jmp 0xbf446
cmpb $0x1c, (%rcx)
jne 0xbf4c8
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xbf488
cmpq %rsi, 0x8(%rdx)
je 0xbf3a0
movq 0x18(%rdx), %rdx
jmp 0xbf473
movq 0x10(%rcx), %rcx
jmp 0xbf46a
cmpb $0x1c, (%rcx)
jne 0xbf4dc
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xbf4ac
cmpq %rax, 0x8(%rdx)
je 0xbf41c
movq 0x18(%rdx), %rdx
jmp 0xbf497
movq 0x10(%rcx), %rcx
jmp 0xbf48e
movq 0x10(%rsi), %r8
cmpb $0x20, (%r8)
je 0xbf36f
xorl %r12d, %r12d
jmp 0xbf373
movq 0x10(%rsi), %rdx
cmpb $0x20, (%rdx)
je 0xbf3a0
xorl %ecx, %ecx
jmp 0xbf3a4
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xbf41c
xorl %eax, %eax
jmp 0xbf420
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opscq_c
static s7_pointer fx_c_opscq_c(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    set_car(sc->t2_1, lookup(sc, cadr(largs)));
                    set_car(sc->t2_2, opt2_con(cdr(largs)));
                    set_car(sc->t2_1, c_call(largs)(sc, sc->t2_1));
                    set_car(sc->t2_2, caddr(arg));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbf862
jle 0xbf85d
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbf850
cmpq %rsi, %rdi
jne 0xbf8ce
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x10(%rax), %rcx
movq 0x20(%rcx), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbf8ee
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbf8e8
cmpq %rcx, 0x8(%rsi)
je 0xbf866
movq 0x18(%rsi), %rsi
jmp 0xbf8d7
movq 0x10(%rdx), %rdx
jmp 0xbf8ce
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbf866
xorl %ecx, %ecx
jmp 0xbf86a
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opcsq_s
static s7_pointer fx_c_opcsq_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    set_car(sc->t2_2, lookup(sc, caddr(largs)));
                    set_car(sc->t2_1, opt1_con(cdr(largs))); /* cadr(largs) or cadadr */
                    set_car(sc->t2_1, c_call(largs)(sc, sc->t2_1));
                    set_car(sc->t2_2, lookup(sc, caddr(arg)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x10(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbf949
jle 0xbf940
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbf933
cmpq %rsi, %rdi
jne 0xbf9e2
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x10(%rax), %rcx
movq 0x18(%rcx), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbf9b8
jle 0xbf9b3
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbf9a6
cmpq %rdx, %rsi
jne 0xbfa06
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbfa26
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbfa00
cmpq %rcx, 0x8(%rsi)
je 0xbf94d
movq 0x18(%rsi), %rsi
jmp 0xbf9eb
movq 0x10(%rdx), %rdx
jmp 0xbf9e2
cmpb $0x1c, (%rcx)
jne 0xbfa3a
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xbfa20
cmpq %rax, 0x8(%rdx)
je 0xbf9bc
movq 0x18(%rdx), %rdx
jmp 0xbfa0f
movq 0x10(%rcx), %rcx
jmp 0xbfa06
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbf94d
xorl %ecx, %ecx
jmp 0xbf951
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xbf9bc
xorl %eax, %eax
jmp 0xbf9c0
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_opscq
static s7_pointer fx_c_s_opscq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = caddr(arg);
                    set_car(sc->t2_1, lookup(sc, cadr(largs)));
                    set_car(sc->t2_2, opt2_con(cdr(largs)));
                    set_car(sc->t2_2, c_call(largs)(sc, sc->t2_1));
                    set_car(sc->t2_1, lookup(sc, cadr(arg)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbfa95
jle 0xbfa8c
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbfa7f
cmpq %rsi, %rdi
jne 0xbfb2a
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x10(%rax), %rcx
movq 0x20(%rcx), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbfb00
jle 0xbfafb
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbfaee
cmpq %rdx, %rsi
jne 0xbfb4e
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbfb6e
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbfb48
cmpq %rcx, 0x8(%rsi)
je 0xbfa99
movq 0x18(%rsi), %rsi
jmp 0xbfb33
movq 0x10(%rdx), %rdx
jmp 0xbfb2a
cmpb $0x1c, (%rcx)
jne 0xbfb82
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xbfb68
cmpq %rax, 0x8(%rdx)
je 0xbfb04
movq 0x18(%rdx), %rdx
jmp 0xbfb57
movq 0x10(%rcx), %rcx
jmp 0xbfb4e
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbfa99
xorl %ecx, %ecx
jmp 0xbfa9d
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xbfb04
xorl %eax, %eax
jmp 0xbfb08
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_c_opscq
static s7_pointer fx_c_c_opscq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = caddr(arg);
                    set_car(sc->t2_1, lookup(sc, cadr(largs)));
                    set_car(sc->t2_2, opt2_con(cdr(largs)));
                    set_car(sc->t2_2, c_call(largs)(sc, sc->t2_1));
                    set_car(sc->t2_1, cadr(arg));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbfbd9
jle 0xbfbd4
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbfbc7
cmpq %rsi, %rdi
jne 0xbfc41
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x10(%rax), %rcx
movq 0x20(%rcx), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbfc61
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbfc5b
cmpq %rcx, 0x8(%rsi)
je 0xbfbdd
movq 0x18(%rsi), %rsi
jmp 0xbfc4a
movq 0x10(%rdx), %rdx
jmp 0xbfc41
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbfbdd
xorl %ecx, %ecx
jmp 0xbfbe1
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_opcsq
static s7_pointer fx_c_s_opcsq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = caddr(arg);
                    set_car(sc->t2_2, lookup(sc, caddr(largs)));
                    set_car(sc->t2_1, opt1_con(cdr(largs))); /* cadr(largs) or cadadr */
                    set_car(sc->t2_2, c_call(largs)(sc, sc->t2_1));
                    set_car(sc->t2_1, lookup(sc, cadr(arg)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x10(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbfcc0
jle 0xbfcb7
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbfcaa
cmpq %rsi, %rdi
jne 0xbfd55
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x10(%rax), %rcx
movq 0x18(%rcx), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbfd2b
jle 0xbfd26
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbfd19
cmpq %rdx, %rsi
jne 0xbfd79
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbfd99
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbfd73
cmpq %rcx, 0x8(%rsi)
je 0xbfcc4
movq 0x18(%rsi), %rsi
jmp 0xbfd5e
movq 0x10(%rdx), %rdx
jmp 0xbfd55
cmpb $0x1c, (%rcx)
jne 0xbfdad
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xbfd93
cmpq %rax, 0x8(%rdx)
je 0xbfd2f
movq 0x18(%rdx), %rdx
jmp 0xbfd82
movq 0x10(%rcx), %rcx
jmp 0xbfd79
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbfcc4
xorl %ecx, %ecx
jmp 0xbfcc8
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xbfd2f
xorl %eax, %eax
jmp 0xbfd33
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opsq_s
static s7_pointer fx_c_opsq_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    set_car(sc->t1_1, lookup(sc, cadr(largs)));
                    set_car(sc->t2_1, c_call(largs)(sc, sc->t1_1));
                    set_car(sc->t2_2, lookup(sc, caddr(arg)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbfe04
jle 0xbfdfb
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbfdee
cmpq %rsi, %rdi
jne 0xbfe8a
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x568(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbfe60
jle 0xbfe5b
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbfe4e
cmpq %rdx, %rsi
jne 0xbfeae
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbfece
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xbfea8
cmpq %rcx, 0x8(%rsi)
je 0xbfe08
movq 0x18(%rsi), %rsi
jmp 0xbfe93
movq 0x10(%rdx), %rdx
jmp 0xbfe8a
cmpb $0x1c, (%rcx)
jne 0xbfee2
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xbfec8
cmpq %rax, 0x8(%rdx)
je 0xbfe64
movq 0x18(%rdx), %rdx
jmp 0xbfeb7
movq 0x10(%rcx), %rcx
jmp 0xbfeae
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xbfe08
xorl %ecx, %ecx
jmp 0xbfe0c
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xbfe64
xorl %eax, %eax
jmp 0xbfe68
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opsq_cs
static s7_pointer fx_c_opsq_cs(s7_scheme *sc, s7_pointer arg)
                {
                    set_car(sc->t1_1, lookup(sc, opt3_sym(cdr(arg))));  /* cadadr(arg); */
                    set_car(sc->t3_1, c_call(cadr(arg))(sc, sc->t1_1));
                    set_car(sc->t3_2, opt1_con(cdr(arg)));              /* caddr(arg) or cadr(caddr(arg)) */
                    set_car(sc->t3_3, lookup(sc, opt2_sym(cdr(arg))));  /* cadddr(arg); */
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x28(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbff31
jle 0xbff28
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbff1b
cmpq %rdx, %rsi
jne 0xbffce
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x568(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x580(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x18(%rax), %rax
movq 0x588(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x20(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbffa4
jle 0xbff9f
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbff92
cmpq %rdx, %rsi
jne 0xbfff2
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x590(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x580(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc0012
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xbffec
cmpq %rax, 0x8(%rdx)
je 0xbff35
movq 0x18(%rdx), %rdx
jmp 0xbffd7
movq 0x10(%rcx), %rcx
jmp 0xbffce
cmpb $0x1c, (%rcx)
jne 0xc0026
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xc000c
cmpq %rax, 0x8(%rdx)
je 0xbffa8
movq 0x18(%rdx), %rdx
jmp 0xbfffb
movq 0x10(%rcx), %rcx
jmp 0xbfff2
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xbff35
xorl %eax, %eax
jmp 0xbff39
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xbffa8
xorl %eax, %eax
jmp 0xbffac
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opdq_s
static s7_pointer fx_c_opdq_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    set_car(sc->t2_1, d_call(sc, largs));
                    set_car(sc->t2_2, lookup(sc, caddr(arg)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rsi
callq *0x20(%rax)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xc008f
jle 0xc008a
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xc007d
cmpq %rdx, %rsi
jne 0xc00b9
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc00d9
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xc00d3
cmpq %rax, 0x8(%rdx)
je 0xc0093
movq 0x18(%rdx), %rdx
jmp 0xc00c2
movq 0x10(%rcx), %rcx
jmp 0xc00b9
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xc0093
xorl %eax, %eax
jmp 0xc0097
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: op_call_with_exit
static s7_pointer op_call_with_exit(s7_scheme *sc)
    {
        s7_pointer go, args;
        set_current_code(sc, sc->code);
        args = opt2_pair(sc->code);
        go = make_goto(sc);
        push_stack_no_let_no_code(sc, OP_DEACTIVATE_GOTO, go); /* was also pushing code */
        new_frame_with_slot(sc, sc->envir, sc->envir, caar(args), go);
        sc->code = T_Pair(cdr(args));
        return(NULL);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq (%rdi), %rcx
movq 0x90(%rdi), %rax
movq %rcx, 0x28(%rdi)
movq 0x20(%rcx), %r14
cmpq 0x98(%rdi), %rax
ja 0xc094e
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r15
movq $0x26, (%r15)
movq 0x50(%rbx), %rax
subq 0x48(%rbx), %rax
sarq $0x3, %rax
movq %rax, 0x8(%r15)
movq 0x68(%rbx), %rax
subq 0x60(%rbx), %rax
shrq $0x3, %rax
cltq
movq %rax, 0x10(%r15)
movb $0x1, 0x18(%r15)
movq 0x50(%rbx), %rax
movq %r15, 0x10(%rax)
movq 0x50(%rbx), %rax
movq $0x204, 0x18(%rax)      # imm = 0x204
addq $0x20, 0x50(%rbx)
movq 0x8(%r14), %rax
movq 0x8(%rax), %r12
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xc09cb
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0x20001c, (%rax)       # imm = 0x20001C
movq 0x250(%rbx), %rcx
incq %rcx
movq %rcx, 0x250(%rbx)
movq %rcx, 0x18(%rax)
movq 0x8(%rbx), %rcx
movq %rcx, 0x10(%rax)
movq %rax, 0x8(%rbx)
movq 0x90(%rbx), %rcx
leaq -0x8(%rcx), %rdx
movq %rdx, 0x90(%rbx)
movq -0x8(%rcx), %rcx
movq $0x20, (%rcx)
movq %r12, 0x8(%rcx)
movq %r15, 0x10(%rcx)
movq %rcx, 0x18(%r12)
movq 0x250(%rbx), %rdx
movq %rdx, 0x20(%r12)
incl 0x28(%r12)
movq $0x0, 0x18(%rcx)
movq %rcx, 0x8(%rax)
movq 0x10(%r14), %rax
movq %rax, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_safe_closure_ss_a
static s7_pointer fx_safe_closure_ss_a(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer result;
                    gc_protect_direct(sc, sc->envir);
                    sc->envir = old_frame_with_two_slots(sc, closure_let(opt1_lambda(code)), lookup(sc, cadr(code)), lookup(sc, opt2_sym(code)));
                    result = fx_call(sc, closure_body(opt1_lambda(code)));
                    sc->envir = sc->stack_end[-2];
                    sc->stack_end -= 4;
                    return(result);
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x8(%rdi), %rax
movq 0x50(%rdi), %rcx
movq $0x1, 0x18(%rcx)
movq 0x50(%rdi), %rcx
leaq 0x20(%rcx), %rdx
movq %rdx, 0x50(%rdi)
movq %rax, 0x10(%rcx)
movq 0x10(%rsi), %rax
movq 0x18(%rsi), %rdx
movq 0x8(%rax), %rdi
movq 0x8(%rbx), %rax
movq 0x18(%rax), %rcx
movq 0x20(%rdi), %r9
cmpq %r9, %rcx
je 0xc2031
movq %rax, %r8
movq %rcx, %r10
jle 0xc2028
movq %rax, %r8
movq 0x10(%r8), %r8
movq 0x18(%r8), %r10
cmpq %r10, %r9
jl 0xc201b
cmpq %r9, %r10
jne 0xc20d9
movq 0x18(%rdi), %r9
movq 0x10(%r9), %rdi
movq 0x18(%rdx), %rdx
movq 0x20(%rsi), %r8
movq 0x20(%r8), %r9
cmpq %r9, %rcx
je 0xc2062
jle 0xc2059
movq 0x10(%rax), %rax
movq 0x18(%rax), %rcx
cmpq %rcx, %r9
jl 0xc204c
cmpq %r9, %rcx
jne 0xc20fe
movq 0x18(%r8), %rcx
movq 0x10(%rcx), %rax
movq 0x250(%rbx), %rcx
incq %rcx
movq %rcx, 0x250(%rbx)
movq %rcx, 0x18(%rdx)
movq 0x8(%rdx), %r8
movq %rdi, 0x10(%r8)
movq 0x8(%r8), %rdi
movq %r8, 0x18(%rdi)
movq %rcx, 0x20(%rdi)
incl 0x28(%rdi)
movq 0x18(%r8), %rdi
movq %rax, 0x10(%rdi)
movq 0x8(%rdi), %rax
movq %rdi, 0x18(%rax)
movq %rcx, 0x20(%rax)
incl 0x28(%rax)
movq %rdx, 0x8(%rbx)
movq 0x18(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x50(%rbx), %rcx
movq -0x10(%rcx), %rdx
movq %rdx, 0x8(%rbx)
addq $-0x20, %rcx
movq %rcx, 0x50(%rbx)
popq %rbx
retq
cmpb $0x1c, (%r8)
jne 0xc2122
movq 0x8(%r8), %r9
testq %r9, %r9
je 0xc20f8
cmpq %rdi, 0x8(%r9)
je 0xc2035
movq 0x18(%r9), %r9
jmp 0xc20e3
movq 0x10(%r8), %r8
jmp 0xc20d9
cmpb $0x1c, (%rax)
jne 0xc2137
movq 0x8(%rax), %rcx
testq %rcx, %rcx
je 0xc211c
cmpq %r8, 0x8(%rcx)
je 0xc2066
movq 0x18(%rcx), %rcx
jmp 0xc2107
movq 0x10(%rax), %rax
jmp 0xc20fe
movq 0x10(%rdi), %r9
cmpb $0x20, (%r9)
je 0xc2035
xorl %edi, %edi
jmp 0xc2039
movq 0x10(%r8), %rcx
cmpb $0x20, (%rcx)
je 0xc2066
xorl %eax, %eax
jmp 0xc206a
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: op_safe_closure_fp_1
static void op_safe_closure_fp_1(s7_scheme *sc)
                {
                    /* in-coming sc->value has the current arg value, sc->args is all previous args */
                    uint64_t id;
                    s7_pointer x, z;

                    sc->args = safe_reverse_in_place(sc, sc->args);
                    sc->code = opt1_lambda(car(sc->args));
                    sc->args = cdr(sc->args);

                    id = ++sc->let_number;
                    sc->envir = closure_let(sc->code);
                    let_id(sc->envir) = id;

                    for (x = let_slots(sc->envir), z = sc->args; tis_slot(x); x = next_slot(x), z = cdr(z))
                    {
                        slot_set_value(x, car(z));
                        symbol_set_local(slot_symbol(x), id, x);
                    }
                    if (is_pair(z))  /* these checks are needed because multiple-values might evade earlier arg num checks */
                        s7_error(sc, sc->wrong_number_of_args_symbol, set_elist_3(sc, too_many_arguments_string, sc->code, sc->args));
                    if (tis_slot(x))
                        s7_error(sc, sc->wrong_number_of_args_symbol, set_elist_3(sc, not_enough_arguments_string, sc->code, sc->args));

                    sc->code = closure_body(sc->code);
                    if (is_pair(cdr(sc->code)))
                        push_stack_no_args(sc, sc->begin_op, cdr(sc->code));
                    sc->code = car(sc->code);
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rdi), %rdx
movq 0x110(%rdi), %rsi
callq 0x9975a
movq %rax, 0x10(%rbx)
movq 0x8(%rax), %rcx
movq 0x18(%rcx), %rcx
movq %rcx, (%rbx)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rbx)
movq 0x250(%rbx), %rax
incq %rax
movq %rax, 0x250(%rbx)
movq 0x18(%rcx), %rcx
movq %rcx, 0x8(%rbx)
movq %rax, 0x18(%rcx)
movq 0x8(%rbx), %rdx
movq 0x10(%rbx), %rcx
movq 0x8(%rdx), %rdx
testq %rdx, %rdx
je 0xc2e4e
movq 0x8(%rcx), %rsi
movq %rsi, 0x10(%rdx)
movq 0x8(%rdx), %rsi
movq %rdx, 0x18(%rsi)
movq 0x8(%rdx), %rsi
movq %rax, 0x20(%rsi)
movq 0x8(%rdx), %rsi
incl 0x28(%rsi)
movq 0x10(%rcx), %rcx
movq 0x18(%rdx), %rdx
jmp 0xc2e20
cmpb $0x1, (%rcx)
jne 0xc2e92
movq 0x1900(%rbx), %rsi
movq 0x90237(%rip), %rax     # 0x153098
movq (%rbx), %rcx
movq 0x10(%rbx), %rdx
movq 0x6e8(%rbx), %rdi
movq %rax, 0x8(%rdi)
movq 0x10(%rdi), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdx, 0x8(%rax)
movq 0x6e8(%rbx), %rdx
movq %rbx, %rdi
callq 0x38dfa
movq (%rbx), %rax
movq 0x10(%rax), %rax
movq %rax, (%rbx)
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0xc2ecf
movq 0x50(%rbx), %rax
movq %rcx, (%rax)
movq 0x8(%rbx), %rax
movq 0x50(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x688(%rbx), %rax
movq 0x50(%rbx), %rcx
movq %rax, 0x18(%rcx)
addq $0x20, 0x50(%rbx)
movq (%rbx), %rax
movq 0x8(%rax), %rax
movq %rax, (%rbx)
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: op_tc_and_a_or_a_la
static void op_tc_and_a_or_a_la(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer fx_and, fx_or, fx_la, la_slot;

                    fx_and = cdr(code);           /* first clause of and */
                    fx_or = cdadr(fx_and);        /* same or */
                    fx_la = cdadr(fx_or);
                    la_slot = let_slots(sc->envir);
                    /* cell_optimize here is slower! */
                    while (true)
                    {
                        s7_pointer p;
                        p = fx_call(sc, fx_and);
                        if (p == sc->F) {sc->value = p; return;}
                        p = fx_call(sc, fx_or);
                        if (p != sc->F) {sc->value = p; return;}
                        slot_set_value(la_slot, fx_call(sc, fx_la));
                    }
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%rsi), %rsi
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r12
movq 0x8(%rdi), %rax
movq 0x8(%rax), %r13
callq *0x20(%r14)
cmpq 0x120(%rbx), %rax
je 0xc2f46
movq 0x8(%r15), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
cmpq 0x120(%rbx), %rax
jne 0xc2f46
movq 0x8(%r12), %rsi
movq %rbx, %rdi
callq *0x20(%r12)
movq %rax, 0x10(%r13)
movq 0x8(%r14), %rsi
movq %rbx, %rdi
jmp 0xc2f0b
movq %rax, 0x20(%rbx)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: op_tc_or_a_and_a_la
static void op_tc_or_a_and_a_la(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer fx_and, fx_or, fx_la, la_slot;

                    fx_or = cdr(code);             /* first clause of or */
                    fx_and = cdadr(fx_or);         /* same and */
                    fx_la = cdadr(fx_and);
                    la_slot = let_slots(sc->envir);

                    while (true)
                    {
                        s7_pointer p;
                        p = fx_call(sc, fx_or);
                        if (p != sc->F) {sc->value = p; return;}
                        p = fx_call(sc, fx_and);
                        if (p == sc->F) {sc->value = p; return;}
                        slot_set_value(la_slot, fx_call(sc, fx_la));
                    }
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%rsi), %rsi
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r12
movq 0x8(%rdi), %rax
movq 0x8(%rax), %r13
callq *0x20(%r14)
cmpq 0x120(%rbx), %rax
jne 0xc2fc2
movq 0x8(%r15), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
cmpq 0x120(%rbx), %rax
je 0xc2fc2
movq 0x8(%r12), %rsi
movq %rbx, %rdi
callq *0x20(%r12)
movq %rax, 0x10(%r13)
movq 0x8(%r14), %rsi
movq %rbx, %rdi
jmp 0xc2f87
movq %rax, 0x20(%rbx)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: op_tc_and_a_or_a_laa
static void op_tc_and_a_or_a_laa(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer fx_and, fx_or, fx_la, la_slot, fx_laa, laa_slot;

                    fx_and = cdr(code);           /* first clause of and */
                    fx_or = cdadr(fx_and);        /* same or */
                    fx_la = cdadr(fx_or);
                    la_slot = let_slots(sc->envir);
                    fx_laa = cdr(fx_la);
                    laa_slot = next_slot(la_slot);

                    while (true)
                    {
                        s7_pointer p;
                        p = fx_call(sc, fx_and);
                        if (p == sc->F) {sc->value = p; return;}
                        p = fx_call(sc, fx_or);
                        if (p != sc->F) {sc->value = p; return;}
                        slot_set_value(la_slot, fx_call(sc, fx_la));
                        slot_set_value(laa_slot, fx_call(sc, fx_laa));
                    }
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%rsi), %rsi
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r12
movq 0x8(%rdi), %rax
movq 0x8(%rax), %r13
movq 0x10(%r12), %rbp
movq 0x18(%r13), %rax
movq %rax, (%rsp)
callq *0x20(%r14)
cmpq 0x120(%rbx), %rax
je 0xc305f
movq 0x8(%r15), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
cmpq 0x120(%rbx), %rax
jne 0xc305f
movq 0x8(%r12), %rsi
movq %rbx, %rdi
callq *0x20(%r12)
movq %rax, 0x10(%r13)
movq 0x8(%rbp), %rsi
movq %rbx, %rdi
callq *0x20(%rbp)
movq (%rsp), %rcx
movq %rax, 0x10(%rcx)
movq 0x8(%r14), %rsi
movq %rbx, %rdi
jmp 0xc3012
movq %rax, 0x20(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: op_tc_or_a_and_a_laa
static void op_tc_or_a_and_a_laa(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer fx_and, fx_or, fx_la, la_slot, fx_laa, laa_slot;

                    fx_or = cdr(code);             /* first clause of or */
                    fx_and = cdadr(fx_or);         /* same and */
                    fx_la = cdadr(fx_and);
                    la_slot = let_slots(sc->envir);
                    fx_laa = cdr(fx_la);
                    laa_slot = next_slot(la_slot);

                    while (true)
                    {
                        s7_pointer p;
                        p = fx_call(sc, fx_or);
                        if (p != sc->F) {sc->value = p; return;}
                        p = fx_call(sc, fx_and);
                        if (p == sc->F) {sc->value = p; return;}
                        slot_set_value(la_slot, fx_call(sc, fx_la));
                        slot_set_value(laa_slot, fx_call(sc, fx_laa));
                    }
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%rsi), %rsi
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r12
movq 0x8(%rdi), %rax
movq 0x8(%rax), %r13
movq 0x10(%r12), %rbp
movq 0x18(%r13), %rax
movq %rax, (%rsp)
callq *0x20(%r14)
cmpq 0x120(%rbx), %rax
jne 0xc3101
movq 0x8(%r15), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
cmpq 0x120(%rbx), %rax
je 0xc3101
movq 0x8(%r12), %rsi
movq %rbx, %rdi
callq *0x20(%r12)
movq %rax, 0x10(%r13)
movq 0x8(%rbp), %rsi
movq %rbx, %rdi
callq *0x20(%rbp)
movq (%rsp), %rcx
movq %rax, 0x10(%rcx)
movq 0x8(%r14), %rsi
movq %rbx, %rdi
jmp 0xc30b4
movq %rax, 0x20(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: op_tc_or_a_a_and_a_a_la
static void op_tc_or_a_a_and_a_a_la(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer fx_and1, fx_and2, fx_or1, fx_or2, fx_la, la_slot;

                    fx_or1 = cdr(code);            /* first clause of or */
                    fx_or2 = cdr(fx_or1);
                    fx_and1 = cdadr(fx_or2);       /* same and */
                    fx_and2 = cdr(fx_and1);
                    fx_la = cdadr(fx_and2);
                    la_slot = let_slots(sc->envir);

                    while (true)
                    {
                        s7_pointer p;
                        p = fx_call(sc, fx_or1);
                        if (p != sc->F) {sc->value = p; return;}
                        p = fx_call(sc, fx_or2);
                        if (p != sc->F) {sc->value = p; return;}
                        p = fx_call(sc, fx_and1);
                        if (p == sc->F) {sc->value = p; return;}
                        p = fx_call(sc, fx_and2);
                        if (p == sc->F) {sc->value = p; return;}
                        slot_set_value(la_slot, fx_call(sc, fx_la));
                    }
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%rsi), %rsi
movq 0x10(%r14), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r12
movq 0x10(%r12), %r13
movq 0x10(%r13), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rbp
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq %rax, (%rsp)
callq *0x20(%r14)
cmpq 0x120(%rbx), %rax
jne 0xc31bc
movq 0x8(%r15), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
cmpq 0x120(%rbx), %rax
jne 0xc31bc
movq 0x8(%r12), %rsi
movq %rbx, %rdi
callq *0x20(%r12)
cmpq 0x120(%rbx), %rax
je 0xc31bc
movq 0x8(%r13), %rsi
movq %rbx, %rdi
callq *0x20(%r13)
cmpq 0x120(%rbx), %rax
je 0xc31bc
movq 0x8(%rbp), %rsi
movq %rbx, %rdi
callq *0x20(%rbp)
movq (%rsp), %rcx
movq %rax, 0x10(%rcx)
movq 0x8(%r14), %rsi
movq %rbx, %rdi
jmp 0xc3156
movq %rax, 0x20(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq