LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_add_s_car_s
static s7_pointer fx_add_s_car_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val1, val2;
                    val2 = lookup(sc, opt2_sym(cdr(arg)));
                    val2 = (is_pair(val2)) ? car(val2) : g_car(sc, set_plist_1(sc, val2));
                    val1 = lookup(sc, cadr(arg));
                    if ((is_t_integer(val1)) && (is_t_integer(val2)))
                        return(make_integer(sc, integer(val1) + integer(val2)));
                    return(add_p_pp(sc, val1, val2));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbdefa
jle 0xbdef5
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbdee8
cmpq %rdx, %rsi
jne 0xbdf2e
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
cmpb $0x1, (%rdx)
jne 0xbdf0d
movq 0x8(%rdx), %rdx
jmp 0xbdf83
movq 0x700(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xbdf6b
movq 0x8(%rsi), %rdx
jmp 0xbdf83
cmpb $0x1c, (%rcx)
jne 0xbdf5e
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xbdf50
cmpq %rax, 0x8(%rdi)
je 0xbdf4c
movq 0x18(%rdi), %rdi
jmp 0xbdf37
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xbdf02
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbdf33
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xbdefe
xorl %edx, %edx
jmp 0xbdf02
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x9b739
movq %rax, %rdx
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rdi
movq 0x20(%rax), %rsi
cmpq %rsi, %rdi
je 0xbdfb0
jle 0xbdfab
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdi
cmpq %rdi, %rsi
jl 0xbdf9e
cmpq %rsi, %rdi
jne 0xbdff2
movq 0x18(%rax), %rax
movq 0x10(%rax), %rsi
cmpb $0xb, (%rsi)
jne 0xbdfe3
cmpb $0xb, (%rdx)
jne 0xbdfe3
movq 0x8(%rdx), %r14
addq 0x8(%rsi), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0xbe02f
leaq 0x90976(%rip), %rax     # 0x14e950
movq (%rax,%r14,8), %rax
jmp 0xbe068
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x8d0a7
cmpb $0x1c, (%rcx)
jne 0xbe022
movq 0x8(%rcx), %r8
testq %r8, %r8
sete %dil
je 0xbe014
cmpq %rax, 0x8(%r8)
je 0xbe010
movq 0x18(%r8), %r8
jmp 0xbdffb
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xbdfb8
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbdff7
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xbdfb4
xorl %esi, %esi
jmp 0xbdfb8
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xbe047
movq %rbx, %rdi
callq 0xb389
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_car_s
static s7_pointer fx_c_s_car_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    val = lookup(sc, opt2_sym(cdr(arg)));
                    set_car(sc->t2_2, (is_pair(val)) ? car(val) : g_car(sc, set_plist_1(sc, val)));
                    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 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbe0a7
jle 0xbe0a2
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbe095
cmpq %rdx, %rsi
jne 0xbe0db
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
cmpb $0x1, (%rdx)
jne 0xbe0ba
movq 0x8(%rdx), %rax
jmp 0xbe12d
movq 0x700(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xbe118
movq 0x8(%rsi), %rax
jmp 0xbe12d
cmpb $0x1c, (%rcx)
jne 0xbe10b
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xbe0fd
cmpq %rax, 0x8(%rdi)
je 0xbe0f9
movq 0x18(%rdi), %rdi
jmp 0xbe0e4
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xbe0af
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbe0e0
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xbe0ab
xorl %edx, %edx
jmp 0xbe0af
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x9b739
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 0xbe165
jle 0xbe160
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbe153
cmpq %rdx, %rsi
jne 0xbe18f
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x570(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xbe1bf
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xbe1b1
cmpq %rax, 0x8(%rdi)
je 0xbe1ad
movq 0x18(%rdi), %rdi
jmp 0xbe198
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xbe16d
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbe194
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xbe169
xorl %edx, %edx
jmp 0xbe16d
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_opsq
static s7_pointer fx_c_s_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, 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 0xbe343
jle 0xbe33a
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbe32d
cmpq %rsi, %rdi
jne 0xbe3c5
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x568(%rbx), %rcx
movq %rsi, 0x8(%rcx)
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 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbe39b
jle 0xbe396
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbe389
cmpq %rdx, %rsi
jne 0xbe40d
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x570(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbe3f9
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xbe3e7
cmpq %rcx, 0x8(%r8)
je 0xbe3e3
movq 0x18(%r8), %r8
jmp 0xbe3ce
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xbe34b
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbe3ca
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbe347
xorl %esi, %esi
jmp 0xbe34b
cmpb $0x1c, (%rcx)
jne 0xbe441
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xbe42f
cmpq %rax, 0x8(%rdi)
je 0xbe42b
movq 0x18(%rdi), %rdi
jmp 0xbe416
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xbe3a3
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbe412
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xbe39f
xorl %edx, %edx
jmp 0xbe3a3
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_memq_car_s_2
static s7_pointer fx_memq_car_s_2(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x, obj;
                    obj = lookup(sc, opt1_con(cdr(arg)));
                    if (is_pair(obj))
                        obj = car(obj);
                    else obj = g_car(sc, set_plist_1(sc, obj));
                    x = opt2_con(cdr(arg));
                    if (obj == car(x)) return(x);
                    if (obj == cadr(x)) return(cdr(x));
                    return(sc->F);
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x18(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbe48c
jle 0xbe487
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbe47a
cmpq %rdx, %rsi
jne 0xbe4c0
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
cmpb $0x1, (%rdx)
jne 0xbe49f
movq 0x8(%rdx), %rax
jmp 0xbe512
movq 0x700(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xbe4fd
movq 0x8(%rsi), %rax
jmp 0xbe512
cmpb $0x1c, (%rcx)
jne 0xbe4f0
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xbe4e2
cmpq %rax, 0x8(%rdi)
je 0xbe4de
movq 0x18(%rdi), %rdi
jmp 0xbe4c9
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xbe494
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbe4c5
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xbe490
xorl %edx, %edx
jmp 0xbe494
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x9b739
movq 0x10(%r14), %rcx
movq 0x20(%rcx), %rcx
cmpq 0x8(%rcx), %rax
je 0xbe531
movq 0x10(%rcx), %rcx
cmpq 0x8(%rcx), %rax
je 0xbe531
movq 0x120(%rbx), %rcx
movq %rcx, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_memq_car_s
static s7_pointer fx_memq_car_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x, obj;
                    obj = lookup(sc, opt1_con(cdr(arg)));
                    if (is_pair(obj))
                        obj = car(obj);
                    else obj = g_car(sc, set_plist_1(sc, obj));
                    x = opt2_con(cdr(arg));
                    while (true)
                    {
                        LOOP_4(if (obj == car(x)) return(x); x = cdr(x); if (!is_pair(x)) return(sc->F));
                    }
                    return(sc->F);
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x18(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbe573
jle 0xbe56e
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbe561
cmpq %rdx, %rsi
jne 0xbe5a7
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
cmpb $0x1, (%rdx)
jne 0xbe586
movq 0x8(%rdx), %rcx
jmp 0xbe5fc
movq 0x700(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xbe5e4
movq 0x8(%rsi), %rcx
jmp 0xbe5fc
cmpb $0x1c, (%rcx)
jne 0xbe5d7
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xbe5c9
cmpq %rax, 0x8(%rdi)
je 0xbe5c5
movq 0x18(%rdi), %rdi
jmp 0xbe5b0
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xbe57b
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbe5ac
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xbe577
xorl %edx, %edx
jmp 0xbe57b
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x9b739
movq %rax, %rcx
movq 0x10(%r14), %rax
movq 0x20(%rax), %rax
cmpq 0x8(%rax), %rcx
je 0xbe647
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xbe640
cmpq 0x8(%rax), %rcx
je 0xbe647
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xbe640
cmpq 0x8(%rax), %rcx
je 0xbe647
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xbe640
cmpq 0x8(%rax), %rcx
je 0xbe647
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
je 0xbe604
movq 0x120(%rbx), %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_is_eq_car_q
static s7_pointer fx_is_eq_car_q(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer lst, a;
                    a = cdr(arg);
                    lst = lookup(sc, opt3_sym(a));
                    if (is_pair(lst))
                        return(make_boolean(sc, car(lst) == opt2_con(a)));
                    return(make_boolean(sc, s7_is_eq(g_car(sc, set_plist_1(sc, lst)), opt2_con(a))));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r14
movq 0x28(%r14), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbe683
jle 0xbe67e
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbe671
cmpq %rdx, %rsi
jne 0xbe6cb
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
cmpb $0x1, (%rdx)
jne 0xbe6aa
movq 0x8(%rdx), %rax
xorl %ecx, %ecx
cmpq 0x20(%r14), %rax
setne %cl
leaq 0x118(,%rcx,8), %rcx
jmp 0xbe747
movq 0x700(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xbe708
movq 0x8(%rsi), %rax
jmp 0xbe71d
cmpb $0x1c, (%rcx)
jne 0xbe6fb
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xbe6ed
cmpq %rax, 0x8(%rdi)
je 0xbe6e9
movq 0x18(%rdi), %rdi
jmp 0xbe6d4
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xbe68b
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbe6d0
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xbe687
xorl %edx, %edx
jmp 0xbe68b
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x9b739
movq 0x20(%r14), %rdx
cmpq %rdx, %rax
je 0xbe742
movl $0x120, %ecx            # imm = 0x120
cmpb $0x5, (%rax)
jne 0xbe747
xorl %eax, %eax
cmpb $0x5, (%rdx)
setne %al
leaq 0x118(,%rax,8), %rcx
jmp 0xbe747
movl $0x118, %ecx            # imm = 0x118
movq (%rbx,%rcx), %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_is_eq_caar_q
static s7_pointer fx_is_eq_caar_q(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer lst, a;
                    a = cdr(arg);
                    lst = lookup(sc, opt3_sym(a));
                    if ((is_pair(lst)) && (is_pair(car(lst))))
                        return(make_boolean(sc, caar(lst) == opt2_con(a)));
                    return(make_boolean(sc, s7_is_eq(g_caar(sc, set_plist_1(sc, lst)), opt2_con(a))));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r14
movq 0x28(%r14), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbe787
jle 0xbe782
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbe775
cmpq %rdx, %rsi
jne 0xbe804
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
cmpb $0x1, (%rdx)
jne 0xbe7b4
movq 0x8(%rdx), %rax
cmpb $0x1, (%rax)
jne 0xbe7b4
movq 0x8(%rax), %rax
xorl %ecx, %ecx
cmpq 0x20(%r14), %rax
setne %cl
leaq 0x118(,%rcx,8), %rcx
jmp 0xbe7f8
movq 0x700(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x79ff7
movq 0x20(%r14), %rdx
cmpq %rdx, %rax
je 0xbe7f3
movl $0x120, %ecx            # imm = 0x120
cmpb $0x5, (%rax)
jne 0xbe7f8
xorl %eax, %eax
cmpb $0x5, (%rdx)
setne %al
leaq 0x118(,%rax,8), %rcx
jmp 0xbe7f8
movl $0x118, %ecx            # imm = 0x118
movq (%rbx,%rcx), %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
cmpb $0x1c, (%rcx)
jne 0xbe838
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xbe826
cmpq %rax, 0x8(%rdi)
je 0xbe822
movq 0x18(%rdi), %rdi
jmp 0xbe80d
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xbe78f
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbe809
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xbe78b
xorl %edx, %edx
jmp 0xbe78f
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opsq_c
static s7_pointer fx_c_opsq_c(s7_scheme *sc, s7_pointer arg)
                {
                    set_car(sc->t1_1, lookup(sc, opt1_con(cdr(arg))));
                    set_car(sc->t2_1, c_call(cadr(arg))(sc, sc->t1_1));
                    set_car(sc->t2_2, opt2_con(cdr(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 0x18(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbec2f
jle 0xbec2a
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbec1d
cmpq %rdx, %rsi
jne 0xbec8c
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x568(%rbx), %rax
movq %rdx, 0x8(%rax)
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 0x20(%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, (%rcx)
jne 0xbecbc
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xbecae
cmpq %rax, 0x8(%rdi)
je 0xbecaa
movq 0x18(%rdi), %rdi
jmp 0xbec95
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xbec37
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbec91
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xbec33
xorl %edx, %edx
jmp 0xbec37
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_not_is_eq_sq
static s7_pointer fx_not_is_eq_sq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x, y;
                    x = lookup(sc, opt2_sym(cdr(arg)));
                    y = opt3_any(cdr(arg));
                    return(make_boolean(sc, (x != y) && ((!is_unspecified(x)) || (!is_unspecified(y)))));
                }

// Assembly:
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %r8
movq 0x20(%rcx), %rsi
cmpq %rsi, %r8
je 0xbecfd
jle 0xbecf8
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %r8
cmpq %r8, %rsi
jl 0xbeceb
cmpq %rsi, %r8
jne 0xbed27
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x28(%rax), %rcx
cmpq %rcx, %rsi
je 0xbed1d
movl $0x118, %eax            # imm = 0x118
cmpb $0x5, (%rsi)
jne 0xbed22
cmpb $0x5, (%rcx)
jne 0xbed22
movl $0x120, %eax            # imm = 0x120
movq (%rdi,%rax), %rax
retq
cmpb $0x1c, (%rdx)
jne 0xbed57
movq 0x8(%rdx), %r9
testq %r9, %r9
sete %r8b
je 0xbed49
cmpq %rcx, 0x8(%r9)
je 0xbed45
movq 0x18(%r9), %r9
jmp 0xbed30
movq 0x10(%r9), %rsi
testb %r8b, %r8b
je 0xbed05
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbed2c
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbed01
xorl %esi, %esi
jmp 0xbed05
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opscq
static s7_pointer fx_c_opscq(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->t1_1, c_call(largs)(sc, sc->t2_1));
                    return(c_call(arg)(sc, sc->t1_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 0xbeda3
jle 0xbed9e
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbed91
cmpq %rsi, %rdi
jne 0xbedf8
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x570(%rbx), %rcx
movq %rsi, 0x8(%rcx)
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 0x568(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbee28
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xbee1a
cmpq %rcx, 0x8(%r8)
je 0xbee16
movq 0x18(%r8), %r8
jmp 0xbee01
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xbedab
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbedfd
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbeda7
xorl %esi, %esi
jmp 0xbedab
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_not_is_eq_ss
static s7_pointer fx_not_is_eq_ss(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x, y;
                    x = lookup(sc, opt2_sym(cdr(arg)));
                    y = lookup(sc, opt3_sym(cdr(arg)));
                    return(make_boolean(sc, (x != y) && ((!is_unspecified(x)) || (!is_unspecified(y)))));
                }

// Assembly:
movq 0x10(%rsi), %rsi
movq 0x20(%rsi), %r8
movq 0x8(%rdi), %rax
movq 0x18(%rax), %rdx
movq 0x20(%r8), %rcx
cmpq %rcx, %rdx
je 0xbee72
movq %rax, %r9
movq %rdx, %r10
jle 0xbee6d
movq %rax, %r9
movq 0x10(%r9), %r9
movq 0x18(%r9), %r10
cmpq %r10, %rcx
jl 0xbee60
cmpq %rcx, %r10
jne 0xbeec1
movq 0x18(%r8), %rcx
movq 0x10(%rcx), %rcx
movq 0x28(%rsi), %rsi
movq 0x20(%rsi), %r8
cmpq %r8, %rdx
je 0xbee9b
jle 0xbee96
movq 0x10(%rax), %rax
movq 0x18(%rax), %rdx
cmpq %rdx, %r8
jl 0xbee89
cmpq %r8, %rdx
jne 0xbef07
movq 0x18(%rsi), %rax
movq 0x10(%rax), %rdx
cmpq %rdx, %rcx
je 0xbeeb7
movl $0x118, %eax            # imm = 0x118
cmpb $0x5, (%rcx)
jne 0xbeebc
cmpb $0x5, (%rdx)
jne 0xbeebc
movl $0x120, %eax            # imm = 0x120
movq (%rdi,%rax), %rax
retq
cmpb $0x1c, (%r9)
jne 0xbeef3
movq 0x8(%r9), %r11
testq %r11, %r11
sete %r10b
je 0xbeee4
cmpq %r8, 0x8(%r11)
je 0xbeee0
movq 0x18(%r11), %r11
jmp 0xbeecb
movq 0x10(%r11), %rcx
testb %r10b, %r10b
je 0xbee7a
movq 0x10(%r9), %r9
cmpb $0x1c, (%r9)
je 0xbeec7
movq 0x10(%r8), %rcx
cmpb $0x20, (%rcx)
je 0xbee76
xorl %ecx, %ecx
jmp 0xbee7a
cmpb $0x1c, (%rax)
jne 0xbef3b
movq 0x8(%rax), %r9
testq %r9, %r9
sete %r8b
je 0xbef29
cmpq %rsi, 0x8(%r9)
je 0xbef25
movq 0x18(%r9), %r9
jmp 0xbef10
movq 0x10(%r9), %rdx
testb %r8b, %r8b
je 0xbeea3
movq 0x10(%rax), %rax
cmpb $0x1c, (%rax)
je 0xbef0c
movq 0x10(%rsi), %rax
cmpb $0x20, (%rax)
je 0xbee9f
xorl %edx, %edx
jmp 0xbeea3
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_not_opssq
static s7_pointer fx_not_opssq(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, lookup(sc, opt2_sym(cdr(largs))));
                    if (c_call(largs)(sc, sc->t2_1) == sc->F) return(sc->T);
                    return(sc->F);
                }

// Assembly:
pushq %rbx
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 0xbef88
jle 0xbef83
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbef76
cmpq %rsi, %rdi
jne 0xbf004
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x570(%rbx), %rcx
movq %rsi, 0x8(%rcx)
movq 0x10(%rax), %rcx
movq 0x20(%rcx), %rcx
movq 0x8(%rbx), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbefcc
jle 0xbefc3
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbefb6
cmpq %rsi, %rdi
jne 0xbf04c
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x578(%rbx), %rcx
movq %rsi, 0x8(%rcx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq %rax, %rcx
movq 0x120(%rbx), %rax
cmpq %rax, %rcx
jne 0xbf002
movq 0x118(%rbx), %rax
popq %rbx
retq
cmpb $0x1c, (%rdx)
jne 0xbf038
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xbf026
cmpq %rcx, 0x8(%r8)
je 0xbf022
movq 0x18(%r8), %r8
jmp 0xbf00d
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xbef90
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbf009
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbef8c
xorl %esi, %esi
jmp 0xbef90
cmpb $0x1c, (%rdx)
jne 0xbf080
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xbf06e
cmpq %rcx, 0x8(%r8)
je 0xbf06a
movq 0x18(%r8), %r8
jmp 0xbf055
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xbefd4
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbf051
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbefd0
xorl %esi, %esi
jmp 0xbefd4
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opssq
static s7_pointer fx_c_opssq(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, lookup(sc, opt2_sym(cdr(largs)))); /* caddr(largs) */
                    set_car(sc->t1_1, c_call(largs)(sc, sc->t2_1));
                    return(c_call(arg)(sc, sc->t1_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 0xbf0d7
jle 0xbf0ce
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbf0c1
cmpq %rsi, %rdi
jne 0xbf15d
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x570(%rbx), %rcx
movq %rsi, 0x8(%rcx)
movq 0x10(%rax), %rcx
movq 0x20(%rcx), %rcx
movq 0x8(%rbx), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbf11b
jle 0xbf112
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbf105
cmpq %rsi, %rdi
jne 0xbf1a5
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x578(%rbx), %rcx
movq %rsi, 0x8(%rcx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x568(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbf191
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xbf17f
cmpq %rcx, 0x8(%r8)
je 0xbf17b
movq 0x18(%r8), %r8
jmp 0xbf166
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xbf0df
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbf162
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbf0db
xorl %esi, %esi
jmp 0xbf0df
cmpb $0x1c, (%rdx)
jne 0xbf1d9
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xbf1c7
cmpq %rcx, 0x8(%r8)
je 0xbf1c3
movq 0x18(%r8), %r8
jmp 0xbf1ae
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xbf123
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbf1aa
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbf11f
xorl %esi, %esi
jmp 0xbf123
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: direct_c_c_opssq
static s7_pointer direct_c_c_opssq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    s7_double x2;
                    arg = cdr(arg);
                    largs = cdadr(arg);
                    x2 = ((s7_d_pd_t)opt3_direct(cdr(arg)))(lookup(sc, car(largs)),
                            real_to_double(sc, lookup(sc, opt2_sym(largs)), "number_to_double"));
                    return(((s7_p_dd_t)opt2_direct(arg))(sc, real_to_double(sc, car(arg), "*"), x2));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rcx
movq 0x10(%rcx), %rsi
movq 0x8(%rsi), %rdi
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rdx
movq 0x20(%rdi), %r9
cmpq %r9, %rdx
je 0xbf301
movq %rcx, %r8
movq %rdx, %r10
jle 0xbf2f8
movq %rcx, %r8
movq 0x10(%r8), %r8
movq 0x18(%r8), %r10
cmpq %r10, %r9
jl 0xbf2eb
cmpq %r9, %r10
jne 0xbf3a1
movq 0x18(%rdi), %rdi
movq 0x10(%rdi), %r14
movq 0x20(%rsi), %rdi
movq 0x20(%rdi), %rsi
cmpq %rsi, %rdx
je 0xbf32e
jle 0xbf325
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdx
cmpq %rdx, %rsi
jl 0xbf318
cmpq %rsi, %rdx
jne 0xbf3ec
movq 0x18(%rdi), %rcx
movq 0x10(%rcx), %rsi
movq 0x28(%rax), %r12
cmpb $0xd, (%rsi)
jne 0xbf346
movsd 0x8(%rsi), %xmm0
jmp 0xbf355
leaq 0x61366(%rip), %rdx     # 0x1206b3
movq %rbx, %rdi
callq 0xe212
movq %r14, %rdi
callq *%r12
movaps %xmm0, %xmm1
movq 0x8(%r15), %rsi
movq 0x20(%r15), %rax
cmpb $0xd, (%rsi)
jne 0xbf372
movsd 0x8(%rsi), %xmm0
jmp 0xbf391
leaq 0x60f07(%rip), %rdx     # 0x120280
movq %rbx, %rdi
movsd %xmm1, (%rsp)
movq %rax, %r14
callq 0xe212
movq %r14, %rax
movsd (%rsp), %xmm1
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%r8)
jne 0xbf3d7
movq 0x8(%r8), %r10
testq %r10, %r10
sete %r9b
je 0xbf3c4
cmpq %rdi, 0x8(%r10)
je 0xbf3c0
movq 0x18(%r10), %r10
jmp 0xbf3ab
movq 0x10(%r10), %r14
testb %r9b, %r9b
je 0xbf309
movq 0x10(%r8), %r8
cmpb $0x1c, (%r8)
je 0xbf3a7
movq 0x10(%rdi), %rdi
cmpb $0x20, (%rdi)
je 0xbf305
xorl %r14d, %r14d
jmp 0xbf309
cmpb $0x1c, (%rcx)
jne 0xbf41e
movq 0x8(%rcx), %r8
testq %r8, %r8
sete %dl
je 0xbf40d
cmpq %rdi, 0x8(%r8)
je 0xbf409
movq 0x18(%r8), %r8
jmp 0xbf3f5
movq 0x10(%r8), %rsi
testb %dl, %dl
je 0xbf336
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbf3f1
movq 0x10(%rdi), %rcx
cmpb $0x20, (%rcx)
je 0xbf332
xorl %esi, %esi
jmp 0xbf336
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_c_opssq
static s7_pointer fx_c_c_opssq(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, lookup(sc, opt2_sym(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 0xbf479
jle 0xbf470
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbf463
cmpq %rsi, %rdi
jne 0xbf512
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x570(%rbx), %rcx
movq %rsi, 0x8(%rcx)
movq 0x10(%rax), %rcx
movq 0x20(%rcx), %rcx
movq 0x8(%rbx), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbf4bd
jle 0xbf4b4
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbf4a7
cmpq %rsi, %rdi
jne 0xbf55a
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x578(%rbx), %rcx
movq %rsi, 0x8(%rcx)
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 0xbf546
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xbf534
cmpq %rcx, 0x8(%r8)
je 0xbf530
movq 0x18(%r8), %r8
jmp 0xbf51b
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xbf481
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbf517
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbf47d
xorl %esi, %esi
jmp 0xbf481
cmpb $0x1c, (%rdx)
jne 0xbf58e
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xbf57c
cmpq %rcx, 0x8(%r8)
je 0xbf578
movq 0x18(%r8), %r8
jmp 0xbf563
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xbf4c5
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbf55f
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbf4c1
xorl %esi, %esi
jmp 0xbf4c5
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: direct_c_opsq_opsq
static s7_pointer direct_c_opsq_opsq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_double x1, x2;
                    s7_pointer p;
                    p = cdr(arg);
                    x1 = ((s7_d_p_t)opt3_direct(p))(lookup(sc, cadar(p)));
                    x2 = ((s7_d_p_t)opt3_direct(cdr(p)))(lookup(sc, cadadr(p)));
                    return(((s7_p_dd_t)opt2_direct(p))(sc, x1, x2));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r14
movq 0x8(%r14), %rcx
movq 0x28(%r14), %rax
movq 0x10(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbf5e2
jle 0xbf5dd
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbf5d0
cmpq %rsi, %rdi
jne 0xbf64c
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rdi
callq *%rax
movq 0x10(%r14), %rax
movq 0x8(%rax), %rcx
movq 0x28(%rax), %rax
movq 0x10(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rbx), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
movsd %xmm0, (%rsp)
je 0xbf62a
jle 0xbf625
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbf618
cmpq %rsi, %rdi
jne 0xbf694
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rdi
callq *%rax
movaps %xmm0, %xmm1
movq 0x20(%r14), %rax
movq %rbx, %rdi
movsd (%rsp), %xmm0
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbf680
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %sil
je 0xbf66e
cmpq %rcx, 0x8(%r8)
je 0xbf66a
movq 0x18(%r8), %r8
jmp 0xbf655
movq 0x10(%r8), %rdi
testb %sil, %sil
je 0xbf5ea
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbf651
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbf5e6
xorl %edi, %edi
jmp 0xbf5ea
cmpb $0x1c, (%rdx)
jne 0xbf6c8
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %sil
je 0xbf6b6
cmpq %rcx, 0x8(%r8)
je 0xbf6b2
movq 0x18(%r8), %r8
jmp 0xbf69d
movq 0x10(%r8), %rdi
testb %sil, %sil
je 0xbf632
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbf699
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbf62e
xorl %edi, %edi
jmp 0xbf632
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opsq_opsq
static s7_pointer fx_c_opsq_opsq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
#if S7_DEBUGGING
                    if (sc->stack_end >= sc->stack_resize_trigger) fprintf(stderr, "%s[%d]: skipped stack resize\n", __func__, __LINE__);
#endif
                    largs = cdr(arg);
                    set_car(sc->t1_1, lookup(sc, cadar(largs)));
                    gc_protect_direct(sc, c_call(car(largs))(sc, sc->t1_1));
                    largs = cadr(largs);
                    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, sc->stack_end[-2]);
                    sc->stack_end -= 4;
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %r15
movq 0x8(%r15), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbf720
jle 0xbf717
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbf70a
cmpq %rdx, %rsi
jne 0xbf7f1
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x568(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x8(%r15), %rax
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x50(%rbx), %rcx
movq $0x1, 0x18(%rcx)
movq 0x50(%rbx), %rcx
leaq 0x20(%rcx), %rdx
movq %rdx, 0x50(%rbx)
movq %rax, 0x10(%rcx)
movq 0x10(%r15), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rbx), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xbf799
jle 0xbf790
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbf783
cmpq %rsi, %rdi
jne 0xbf839
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x568(%rbx), %rcx
movq %rsi, 0x8(%rcx)
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x50(%rbx), %rax
movq -0x10(%rax), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
addq $-0x20, 0x50(%rbx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xbf825
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xbf813
cmpq %rax, 0x8(%rdi)
je 0xbf80f
movq 0x18(%rdi), %rdi
jmp 0xbf7fa
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xbf728
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbf7f6
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xbf724
xorl %edx, %edx
jmp 0xbf728
cmpb $0x1c, (%rdx)
jne 0xbf86d
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xbf85b
cmpq %rcx, 0x8(%r8)
je 0xbf857
movq 0x18(%r8), %r8
jmp 0xbf842
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xbf7a1
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbf83e
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbf79d
xorl %esi, %esi
jmp 0xbf7a1
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_not_is_eq_car_q
static s7_pointer fx_not_is_eq_car_q(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer lst, a;
                    a = opt2_pair(cdr(arg));
                    lst = lookup(sc, opt2_sym(a));
                    if (is_pair(lst))
                        return(make_boolean(sc, car(lst) != opt3_any(a)));
                    return(make_boolean(sc, !s7_is_eq(g_car(sc, set_plist_1(sc, lst)), opt3_any(a))));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %r14
movq 0x20(%r14), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xbf8b9
jle 0xbf8b4
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xbf8a7
cmpq %rdx, %rsi
jne 0xbf901
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
cmpb $0x1, (%rdx)
jne 0xbf8e0
movq 0x8(%rdx), %rax
xorl %ecx, %ecx
cmpq 0x28(%r14), %rax
sete %cl
leaq 0x118(,%rcx,8), %rcx
jmp 0xbf97d
movq 0x700(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xbf93e
movq 0x8(%rsi), %rax
jmp 0xbf953
cmpb $0x1c, (%rcx)
jne 0xbf931
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xbf923
cmpq %rax, 0x8(%rdi)
je 0xbf91f
movq 0x18(%rdi), %rdi
jmp 0xbf90a
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xbf8c1
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xbf906
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xbf8bd
xorl %edx, %edx
jmp 0xbf8c1
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x9b739
movq 0x28(%r14), %rdx
cmpq %rdx, %rax
je 0xbf978
movl $0x118, %ecx            # imm = 0x118
cmpb $0x5, (%rax)
jne 0xbf97d
xorl %eax, %eax
cmpb $0x5, (%rdx)
sete %al
leaq 0x118(,%rax,8), %rcx
jmp 0xbf97d
movl $0x120, %ecx            # imm = 0x120
movq (%rbx,%rcx), %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_op_opsq_q
static s7_pointer fx_c_op_opsq_q(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->t1_1, c_call(cadr(code))(sc, sc->t1_1));
                    return(c_call(code)(sc, sc->t1_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 0xbf9d0
jle 0xbf9cb
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xbf9be
cmpq %rsi, %rdi
jne 0xbfa32
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x568(%rbx), %rcx
movq %rsi, 0x8(%rcx)
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 0x568(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xbfa66
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xbfa54
cmpq %rcx, 0x8(%r8)
je 0xbfa50
movq 0x18(%r8), %r8
jmp 0xbfa3b
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xbf9d8
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xbfa37
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xbf9d4
xorl %esi, %esi
jmp 0xbf9d8
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_op_opssq_q_s_direct
static s7_pointer fx_c_op_opssq_q_s_direct(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer arg;
                    arg = opt1_pair(cdr(code));
                    return(((s7_p_pp_t)opt3_direct(code))(sc,
                                ((s7_p_p_t)opt2_direct(cdr(code)))(sc,
                                ((s7_p_pp_t)opt3_direct(cdr(code)))(sc, lookup(sc, cadr(arg)), lookup(sc, caddr(arg)))),
                                lookup(sc, caddr(code))));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rdx
movq 0x18(%rdx), %rax
movq 0x10(%rax), %rdi
movq 0x8(%rdi), %r8
movq 0x8(%rbx), %rax
movq 0x18(%rax), %rcx
movq 0x20(%r8), %rsi
cmpq %rsi, %rcx
je 0xbffdb
movq %rax, %r9
movq %rcx, %r10
jle 0xbffd2
movq %rax, %r9
movq 0x10(%r9), %r9
movq 0x18(%r9), %r10
cmpq %r10, %rsi
jl 0xbffc5
cmpq %rsi, %r10
jne 0xc0083
movq 0x18(%r8), %rsi
movq 0x10(%rsi), %rsi
movq 0x20(%rdx), %r15
movq 0x28(%rdx), %r8
movq 0x10(%rdi), %rdx
movq 0x8(%rdx), %rdi
movq 0x20(%rdi), %rdx
cmpq %rdx, %rcx
je 0xc0014
jle 0xc000b
movq 0x10(%rax), %rax
movq 0x18(%rax), %rcx
cmpq %rcx, %rdx
jl 0xbfffe
cmpq %rdx, %rcx
jne 0xc00cd
movq 0x18(%rdi), %rax
movq 0x10(%rax), %rdx
movq 0x28(%r14), %r12
movq %rbx, %rdi
callq *%r8
movq %rbx, %rdi
movq %rax, %rsi
callq *%r15
movq 0x10(%r14), %rcx
movq 0x10(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rbx), %rsi
movq 0x18(%rsi), %rdi
movq 0x20(%rcx), %rdx
cmpq %rdx, %rdi
je 0xc0064
jle 0xc005b
movq 0x10(%rsi), %rsi
movq 0x18(%rsi), %rdi
cmpq %rdi, %rdx
jl 0xc004e
cmpq %rdx, %rdi
jne 0xc0113
movq 0x18(%rcx), %rcx
movq %r12, %r9
movq 0x10(%rcx), %rdx
movq %rbx, %rdi
movq %rax, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmpq *%r9
cmpb $0x1c, (%r9)
jne 0xc00b9
movq 0x8(%r9), %r11
testq %r11, %r11
sete %r10b
je 0xc00a6
cmpq %r8, 0x8(%r11)
je 0xc00a2
movq 0x18(%r11), %r11
jmp 0xc008d
movq 0x10(%r11), %rsi
testb %r10b, %r10b
je 0xbffe3
movq 0x10(%r9), %r9
cmpb $0x1c, (%r9)
je 0xc0089
movq 0x10(%r8), %rsi
cmpb $0x20, (%rsi)
je 0xbffdf
xorl %esi, %esi
jmp 0xbffe3
cmpb $0x1c, (%rax)
jne 0xc00ff
movq 0x8(%rax), %r9
testq %r9, %r9
sete %cl
je 0xc00ee
cmpq %rdi, 0x8(%r9)
je 0xc00ea
movq 0x18(%r9), %r9
jmp 0xc00d6
movq 0x10(%r9), %rdx
testb %cl, %cl
je 0xc001c
movq 0x10(%rax), %rax
cmpb $0x1c, (%rax)
je 0xc00d2
movq 0x10(%rdi), %rax
cmpb $0x20, (%rax)
je 0xc0018
xorl %edx, %edx
jmp 0xc001c
cmpb $0x1c, (%rsi)
movq %r12, %r9
jne 0xc014a
movq 0x8(%rsi), %r8
testq %r8, %r8
sete %dil
je 0xc0138
cmpq %rcx, 0x8(%r8)
je 0xc0134
movq 0x18(%r8), %r8
jmp 0xc011f
movq 0x10(%r8), %rdx
testb %dil, %dil
je 0xc006f
movq 0x10(%rsi), %rsi
cmpb $0x1c, (%rsi)
je 0xc011b
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc006b
xorl %edx, %edx
jmp 0xc006f
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_op_opssq_q_s
static s7_pointer fx_c_op_opssq_q_s(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer arg;
                    arg = opt1_pair(cdr(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, lookup(sc, 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 0x18(%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 0xc01a1
jle 0xc0198
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc018b
cmpq %rsi, %rdi
jne 0xc028f
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x570(%rbx), %rcx
movq %rsi, 0x8(%rcx)
movq 0x10(%rax), %rcx
movq 0x20(%rcx), %rcx
movq 0x8(%rbx), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xc01e5
jle 0xc01dc
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc01cf
cmpq %rsi, %rdi
jne 0xc02d7
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x578(%rbx), %rcx
movq %rsi, 0x8(%rcx)
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 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xc0265
jle 0xc025c
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xc024f
cmpq %rdx, %rsi
jne 0xc031f
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x578(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xc02c3
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc02b1
cmpq %rcx, 0x8(%r8)
je 0xc02ad
movq 0x18(%r8), %r8
jmp 0xc0298
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc01a9
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc0294
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc01a5
xorl %esi, %esi
jmp 0xc01a9
cmpb $0x1c, (%rdx)
jne 0xc030b
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc02f9
cmpq %rcx, 0x8(%r8)
je 0xc02f5
movq 0x18(%r8), %r8
jmp 0xc02e0
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc01ed
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc02dc
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc01e9
xorl %esi, %esi
jmp 0xc01ed
cmpb $0x1c, (%rcx)
jne 0xc0353
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xc0341
cmpq %rax, 0x8(%rdi)
je 0xc033d
movq 0x18(%rdi), %rdi
jmp 0xc0328
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xc026d
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc0324
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc0269
xorl %edx, %edx
jmp 0xc026d
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_safe_closure_s_d
static s7_pointer fx_safe_closure_s_d(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer result;
                    gc_protect_direct(sc, sc->envir);
                    sc->envir = old_frame_with_slot(sc, closure_let(opt1_lambda(code)), lookup(sc, opt2_sym(code)));
                    result = d_call(sc, car(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 0x18(%rsi), %rax
movq 0x20(%rsi), %rcx
movq 0x18(%rax), %rax
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %r8
movq 0x20(%rcx), %rdi
cmpq %rdi, %r8
je 0xc03e3
jle 0xc03de
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %r8
cmpq %r8, %rdi
jl 0xc03d1
cmpq %rdi, %r8
jne 0xc0447
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rdi
movq 0x250(%rbx), %rcx
incq %rcx
movq %rcx, 0x250(%rbx)
movq %rcx, 0x18(%rax)
movq 0x8(%rax), %rdx
movq %rdi, 0x10(%rdx)
movq 0x8(%rdx), %rdi
movq %rdx, 0x18(%rdi)
movq %rcx, 0x20(%rdi)
incl 0x28(%rdi)
movq %rax, 0x8(%rbx)
movq 0x18(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%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, (%rdx)
jne 0xc047b
movq 0x8(%rdx), %r9
testq %r9, %r9
sete %r8b
je 0xc0469
cmpq %rcx, 0x8(%r9)
je 0xc0465
movq 0x18(%r9), %r9
jmp 0xc0450
movq 0x10(%r9), %rdi
testb %r8b, %r8b
je 0xc03eb
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc044c
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc03e7
xorl %edi, %edi
jmp 0xc03eb