LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_opaaaq
static s7_pointer fx_c_s_opaaaq(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer arg;
                    arg = caddr(code);
#if S7_DEBUGGING
                    if (sc->stack_end >= sc->stack_resize_trigger) fprintf(stderr, "%s[%d]: skipped stack resize\n", __func__, __LINE__);
#endif
                    gc_protect_direct(sc, fx_call(sc, cdr(arg)));
                    sc->stack_end[-4] = fx_call(sc, cddr(arg));
                    set_car(sc->t3_3, fx_call(sc, cdddr(arg)));
                    set_car(sc->t3_1, sc->stack_end[-2]);
                    set_car(sc->t3_2, sc->stack_end[-4]);
                    sc->stack_end -= 4;
                    set_car(sc->t2_2, c_call(arg)(sc, sc->t3_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), %rsi
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 0x10(%rax), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x50(%rbx), %rcx
movq %rax, -0x20(%rcx)
movq 0x10(%r15), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x590(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x50(%rbx), %rax
movq -0x10(%rax), %rax
movq 0x580(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x50(%rbx), %rax
movq -0x20(%rax), %rax
movq 0x588(%rbx), %rcx
movq %rax, 0x8(%rcx)
addq $-0x20, 0x50(%rbx)
movq 0x580(%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 0xc55f2
jle 0xc55ed
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xc55e0
cmpq %rdx, %rsi
jne 0xc561a
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
popq %rbx
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc564a
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xc563c
cmpq %rax, 0x8(%rdi)
je 0xc5638
movq 0x18(%rdi), %rdi
jmp 0xc5623
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xc55fa
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc561f
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc55f6
xorl %edx, %edx
jmp 0xc55fa
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_ca
static s7_pointer fx_c_ca(s7_scheme *sc, s7_pointer arg)
                {
                    check_stack_size(sc);
                    set_car(sc->t2_2, fx_call(sc, cddr(arg)));
                    set_car(sc->t2_1, opt3_any(arg));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x50(%rdi), %rax
cmpq 0x58(%rdi), %rax
jb 0xc5673
movq %rbx, %rdi
callq 0xc15d0
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x28(%r14), %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
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_ac
static s7_pointer fx_c_ac(s7_scheme *sc, s7_pointer arg)
                {
                    check_stack_size(sc);
                    set_car(sc->t2_1, fx_call(sc, cdr(arg)));
                    set_car(sc->t2_2, opt3_any(arg));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x50(%rdi), %rax
cmpq 0x58(%rdi), %rax
jb 0xc56d2
movq %rbx, %rdi
callq 0xc15d0
movq 0x10(%r14), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x28(%r14), %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
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_sas
static s7_pointer fx_c_sas(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = cddr(arg);
                    set_car(sc->t3_2, fx_call(sc, p));
                    set_car(sc->t3_1, lookup(sc, cadr(arg)));
                    set_car(sc->t3_3, lookup(sc, cadr(p)));
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %r15
movq 0x8(%r15), %rsi
callq *0x20(%r15)
movq 0x588(%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 0xc585c
jle 0xc5857
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xc584a
cmpq %rdx, %rsi
jne 0xc58c4
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x580(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%r15), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xc589c
jle 0xc5897
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xc588a
cmpq %rdx, %rsi
jne 0xc590c
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x590(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x20(%r14), %rax
movq 0x580(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc58f8
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xc58e6
cmpq %rax, 0x8(%rdi)
je 0xc58e2
movq 0x18(%rdi), %rdi
jmp 0xc58cd
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xc5864
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc58c9
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc5860
xorl %edx, %edx
jmp 0xc5864
cmpb $0x1c, (%rcx)
jne 0xc5940
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xc592e
cmpq %rax, 0x8(%rdi)
je 0xc592a
movq 0x18(%rdi), %rdi
jmp 0xc5915
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xc58a4
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc5911
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc58a0
xorl %edx, %edx
jmp 0xc58a4
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_cac
static s7_pointer fx_c_cac(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = cddr(arg);
                    set_car(sc->t3_2, fx_call(sc, p));
                    set_car(sc->t3_1, cadr(arg));
                    set_car(sc->t3_3, cadr(p));
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movq 0x10(%rsi), %rax
movq 0x10(%rax), %r15
movq 0x8(%r15), %rsi
callq *0x20(%r15)
movq 0x588(%r14), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x580(%r14), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r15), %rax
movq 0x8(%rax), %rax
movq 0x590(%r14), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%rbx), %rax
movq 0x580(%r14), %rsi
movq %r14, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_csa
static s7_pointer fx_c_csa(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = cddr(arg);
                    set_car(sc->t3_3, fx_call(sc, cdr(p)));
                    set_car(sc->t3_1, cadr(arg));
                    set_car(sc->t3_2, lookup(sc, car(p)));
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
callq *0x20(%rax)
movq 0x590(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
movq 0x580(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x8(%r15), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xc5a1a
jle 0xc5a15
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xc5a08
cmpq %rdx, %rsi
jne 0xc5a42
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x588(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x20(%r14), %rax
movq 0x580(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc5a72
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xc5a64
cmpq %rax, 0x8(%rdi)
je 0xc5a60
movq 0x18(%rdi), %rdi
jmp 0xc5a4b
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xc5a22
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc5a47
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc5a1e
xorl %edx, %edx
jmp 0xc5a22
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_sca
static s7_pointer fx_c_sca(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = cddr(arg);
                    set_car(sc->t3_3, fx_call(sc, cdr(p)));
                    set_car(sc->t3_1, lookup(sc, cadr(arg)));
                    set_car(sc->t3_2, car(p));
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
callq *0x20(%rax)
movq 0x590(%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 0xc5ad5
jle 0xc5ad0
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xc5ac3
cmpq %rdx, %rsi
jne 0xc5b0c
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x580(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x8(%r15), %rax
movq 0x588(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x580(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc5b3c
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xc5b2e
cmpq %rax, 0x8(%rdi)
je 0xc5b2a
movq 0x18(%rdi), %rdi
jmp 0xc5b15
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xc5add
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc5b11
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc5ad9
xorl %edx, %edx
jmp 0xc5add
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_fx
static s7_pointer fx_c_fx(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer args, p, val;
                    val = safe_list_if_possible(sc, integer(opt3_arglen(arg)));
                    if (in_heap(val))
                        gc_protect_direct(sc, val);
                    for (args = cdr(arg), p = val; is_pair(args); args = cdr(args), p = cdr(p))
                        set_car(p, fx_call(sc, args));
                    p = c_call(arg)(sc, val);
                    if (in_heap(val))
                        sc->stack_end -= 4;
                    else clear_list_in_use(val);
                    return(p);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x28(%rax), %rax
movq 0x8(%rax), %rsi
cmpq $0x7, %rsi
jg 0xc5b8c
movq 0x1f38(%rbx,%rsi,8), %rax
testb $0x4, 0x1(%rax)
jne 0xc5b8c
movl %esi, 0x2138(%rbx)
orb $0x4, 0x1(%rax)
movq 0x1f38(%rbx,%rsi,8), %r15
jmp 0xc5b97
movq %rbx, %rdi
callq 0xb587f
movq %rax, %r15
testb $0x40, 0x7(%r15)
jne 0xc5bba
movq 0x50(%rbx), %rax
movq $0x1, 0x18(%rax)
movq 0x50(%rbx), %rax
leaq 0x20(%rax), %rcx
movq %rcx, 0x50(%rbx)
movq %r15, 0x10(%rax)
movq 0x10(%r14), %r12
cmpb $0x1, (%r12)
jne 0xc5be9
movq %r15, %r13
movq 0x8(%r12), %rsi
movq %rbx, %rdi
callq *0x20(%r12)
movq %rax, 0x8(%r13)
movq 0x10(%r13), %r13
movq 0x10(%r12), %r12
cmpb $0x1, (%r12)
je 0xc5bc8
movq %rbx, %rdi
movq %r15, %rsi
callq *0x20(%r14)
testb $0x40, 0x7(%r15)
jne 0xc5c01
addq $-0x20, 0x50(%rbx)
jmp 0xc5c10
andb $-0x5, 0x1(%r15)
movl $0x0, 0x2138(%rbx)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_all_ca
static s7_pointer fx_c_all_ca(s7_scheme *sc, s7_pointer code)
                {
                    s7_pointer args, p, lst;
                    lst = safe_list_if_possible(sc, integer(opt3_arglen(code)));
                    if (in_heap(lst))
                        gc_protect_direct(sc, lst);
                    for (args = cdr(code), p = lst; is_pair(args); args = cdr(args), p = cddr(p))
                    {
                        set_car(p, opt2_any(args));
                        args = cdr(args);
                        set_car(cdr(p), fx_call(sc, args));
                    }
                    p = c_call(code)(sc, lst);
                    if (in_heap(lst))
                        sc->stack_end -= 4;
                    else clear_list_in_use(lst);
                    return(p);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x28(%rax), %rax
movq 0x8(%rax), %rsi
cmpq $0x7, %rsi
jg 0xc5c5d
movq 0x1f38(%rbx,%rsi,8), %rax
testb $0x4, 0x1(%rax)
jne 0xc5c5d
movl %esi, 0x2138(%rbx)
orb $0x4, 0x1(%rax)
movq 0x1f38(%rbx,%rsi,8), %r15
jmp 0xc5c68
movq %rbx, %rdi
callq 0xb587f
movq %rax, %r15
testb $0x40, 0x7(%r15)
jne 0xc5c8b
movq 0x50(%rbx), %rax
movq $0x1, 0x18(%rax)
movq 0x50(%rbx), %rax
leaq 0x20(%rax), %rcx
movq %rcx, 0x50(%rbx)
movq %r15, 0x10(%rax)
movq 0x10(%r14), %rax
cmpb $0x1, (%rax)
jne 0xc5cca
movq %r15, %r12
movq 0x20(%rax), %rcx
movq %rcx, 0x8(%r12)
movq 0x10(%rax), %r13
movq 0x8(%r13), %rsi
movq %rbx, %rdi
callq *0x20(%r13)
movq 0x10(%r12), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r12), %rax
movq 0x10(%rax), %r12
movq 0x10(%r13), %rax
cmpb $0x1, (%rax)
je 0xc5c97
movq %rbx, %rdi
movq %r15, %rsi
callq *0x20(%r14)
testb $0x40, 0x7(%r15)
jne 0xc5ce2
addq $-0x20, 0x50(%rbx)
jmp 0xc5cf1
andb $-0x5, 0x1(%r15)
movl $0x0, 0x2138(%rbx)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_scs
static s7_pointer fx_c_scs(s7_scheme *sc, s7_pointer arg)
                {
                    set_car(sc->t3_1, lookup(sc, cadr(arg)));
                    set_car(sc->t3_3, lookup(sc, opt2_sym(cdr(arg)))); /* cadddr(arg) */
                    set_car(sc->t3_2, opt1_con(cdr(arg)));             /* caddr(arg) */
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %r8
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xc5d28
jle 0xc5d23
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xc5d16
cmpq %rdx, %r8
jne 0xc5d9b
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x580(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %r8
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xc5d68
jle 0xc5d63
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xc5d56
cmpq %rdx, %r8
jne 0xc5de3
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x590(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rsi), %rax
movq 0x18(%rax), %rax
movq 0x588(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%rsi), %rax
movq 0x580(%rdi), %rsi
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc5dcf
movq 0x8(%rcx), %r9
testq %r9, %r9
sete %r8b
je 0xc5dbd
cmpq %rax, 0x8(%r9)
je 0xc5db9
movq 0x18(%r9), %r9
jmp 0xc5da4
movq 0x10(%r9), %rdx
testb %r8b, %r8b
je 0xc5d30
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc5da0
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc5d2c
xorl %edx, %edx
jmp 0xc5d30
cmpb $0x1c, (%rcx)
jne 0xc5e17
movq 0x8(%rcx), %r9
testq %r9, %r9
sete %r8b
je 0xc5e05
cmpq %rax, 0x8(%r9)
je 0xc5e01
movq 0x18(%r9), %r9
jmp 0xc5dec
movq 0x10(%r9), %rdx
testb %r8b, %r8b
je 0xc5d70
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc5de8
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc5d6c
xorl %edx, %edx
jmp 0xc5d70
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_ssc
static s7_pointer fx_c_ssc(s7_scheme *sc, s7_pointer arg)
                {
                    set_car(sc->t3_1, lookup(sc, cadr(arg)));
                    set_car(sc->t3_2, lookup(sc, opt1_sym(cdr(arg)))); /* caddr(arg) */
                    set_car(sc->t3_3, opt2_con(cdr(arg)));             /* cadddr(arg) */
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %r8
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xc5e58
jle 0xc5e53
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xc5e46
cmpq %rdx, %r8
jne 0xc5ecb
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x580(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rsi), %rax
movq 0x18(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %r8
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xc5e98
jle 0xc5e93
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xc5e86
cmpq %rdx, %r8
jne 0xc5f13
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x588(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x590(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%rsi), %rax
movq 0x580(%rdi), %rsi
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc5eff
movq 0x8(%rcx), %r9
testq %r9, %r9
sete %r8b
je 0xc5eed
cmpq %rax, 0x8(%r9)
je 0xc5ee9
movq 0x18(%r9), %r9
jmp 0xc5ed4
movq 0x10(%r9), %rdx
testb %r8b, %r8b
je 0xc5e60
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc5ed0
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc5e5c
xorl %edx, %edx
jmp 0xc5e60
cmpb $0x1c, (%rcx)
jne 0xc5f47
movq 0x8(%rcx), %r9
testq %r9, %r9
sete %r8b
je 0xc5f35
cmpq %rax, 0x8(%r9)
je 0xc5f31
movq 0x18(%r9), %r9
jmp 0xc5f1c
movq 0x10(%r9), %rdx
testb %r8b, %r8b
je 0xc5ea0
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc5f18
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc5e9c
xorl %edx, %edx
jmp 0xc5ea0
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_scc
static s7_pointer fx_c_scc(s7_scheme *sc, s7_pointer arg)
                {
                    set_car(sc->t3_1, lookup(sc, cadr(arg)));
                    set_car(sc->t3_2, opt1_con(cdr(arg))); /* caddr(arg) */
                    set_car(sc->t3_3, opt2_con(cdr(arg))); /* cadddr(arg) */
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %r8
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xc5f88
jle 0xc5f83
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xc5f76
cmpq %rdx, %r8
jne 0xc5fce
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x580(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rsi), %rax
movq 0x18(%rax), %rax
movq 0x588(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x590(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%rsi), %rax
movq 0x580(%rdi), %rsi
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc5ffe
movq 0x8(%rcx), %r9
testq %r9, %r9
sete %r8b
je 0xc5ff0
cmpq %rax, 0x8(%r9)
je 0xc5fec
movq 0x18(%r9), %r9
jmp 0xc5fd7
movq 0x10(%r9), %rdx
testb %r8b, %r8b
je 0xc5f90
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc5fd3
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc5f8c
xorl %edx, %edx
jmp 0xc5f90
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_csc
static s7_pointer fx_c_csc(s7_scheme *sc, s7_pointer arg)
                {
                    set_car(sc->t3_2, lookup(sc, opt1_sym(cdr(arg)))); /* caddr(arg) */
                    set_car(sc->t3_1, opt3_any(cdr(arg)));
                    set_car(sc->t3_3, opt2_con(cdr(arg)));             /* cadddr(arg) */
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
movq 0x10(%rsi), %rax
movq 0x18(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %r8
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xc6038
jle 0xc6033
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xc6026
cmpq %rdx, %r8
jne 0xc607e
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x588(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rsi), %rax
movq 0x28(%rax), %rax
movq 0x580(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x590(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%rsi), %rax
movq 0x580(%rdi), %rsi
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc60ae
movq 0x8(%rcx), %r9
testq %r9, %r9
sete %r8b
je 0xc60a0
cmpq %rax, 0x8(%r9)
je 0xc609c
movq 0x18(%r9), %r9
jmp 0xc6087
movq 0x10(%r9), %rdx
testb %r8b, %r8b
je 0xc6040
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc6083
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc603c
xorl %edx, %edx
jmp 0xc6040
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_ccs
static s7_pointer fx_c_ccs(s7_scheme *sc, s7_pointer arg)
                {
                    set_car(sc->t3_3, lookup(sc, opt1_sym(cdr(arg)))); /* cadddr(arg) */
                    set_car(sc->t3_1, cadr(arg));
                    set_car(sc->t3_2, opt2_con(cdr(arg)));             /* caddr(arg) */
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
movq 0x10(%rsi), %rax
movq 0x18(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %r8
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xc60e8
jle 0xc60e3
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xc60d6
cmpq %rdx, %r8
jne 0xc612e
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x590(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x580(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x588(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%rsi), %rax
movq 0x580(%rdi), %rsi
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc615e
movq 0x8(%rcx), %r9
testq %r9, %r9
sete %r8b
je 0xc6150
cmpq %rax, 0x8(%r9)
je 0xc614c
movq 0x18(%r9), %r9
jmp 0xc6137
movq 0x10(%r9), %rdx
testb %r8b, %r8b
je 0xc60f0
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc6133
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc60ec
xorl %edx, %edx
jmp 0xc60f0
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_css
static s7_pointer fx_c_css(s7_scheme *sc, s7_pointer arg)
                {
                    set_car(sc->t3_2, lookup(sc, opt1_sym(cdr(arg)))); /* caddr(arg) */
                    set_car(sc->t3_3, lookup(sc, opt2_sym(cdr(arg)))); /* cadddr(arg) */
                    set_car(sc->t3_1, cadr(arg));
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
movq 0x10(%rsi), %rax
movq 0x18(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %r8
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xc6198
jle 0xc6193
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xc6186
cmpq %rdx, %r8
jne 0xc620b
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x588(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %r8
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xc61d8
jle 0xc61d3
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xc61c6
cmpq %rdx, %r8
jne 0xc6253
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x590(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x580(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%rsi), %rax
movq 0x580(%rdi), %rsi
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc623f
movq 0x8(%rcx), %r9
testq %r9, %r9
sete %r8b
je 0xc622d
cmpq %rax, 0x8(%r9)
je 0xc6229
movq 0x18(%r9), %r9
jmp 0xc6214
movq 0x10(%r9), %rdx
testb %r8b, %r8b
je 0xc61a0
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc6210
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc619c
xorl %edx, %edx
jmp 0xc61a0
cmpb $0x1c, (%rcx)
jne 0xc6287
movq 0x8(%rcx), %r9
testq %r9, %r9
sete %r8b
je 0xc6275
cmpq %rax, 0x8(%r9)
je 0xc6271
movq 0x18(%r9), %r9
jmp 0xc625c
movq 0x10(%r9), %rdx
testb %r8b, %r8b
je 0xc61e0
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc6258
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc61dc
xorl %edx, %edx
jmp 0xc61e0
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_tus
static s7_pointer fx_c_tus(s7_scheme *sc, s7_pointer arg)
                {
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    check_next_let_slot(sc, __func__, arg, caddr(arg));
                    set_car(sc->t3_1, slot_value(let_slots(sc->envir)));
                    set_car(sc->t3_2, slot_value(next_slot(let_slots(sc->envir))));
                    set_car(sc->t3_3, lookup(sc, opt2_sym(cdr(arg)))); /* cadddr(arg) */
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x580(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
movq 0x588(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %r8
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xc62fa
jle 0xc62f5
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xc62e8
cmpq %rdx, %r8
jne 0xc631a
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x590(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x20(%rsi), %rax
movq 0x580(%rdi), %rsi
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xc634a
movq 0x8(%rcx), %r9
testq %r9, %r9
sete %r8b
je 0xc633c
cmpq %rax, 0x8(%r9)
je 0xc6338
movq 0x18(%r9), %r9
jmp 0xc6323
movq 0x10(%r9), %rdx
testb %r8b, %r8b
je 0xc6302
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc631f
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc62fe
xorl %edx, %edx
jmp 0xc6302
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_op_s_opsq_q
static s7_pointer fx_c_op_s_opsq_q(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer outer, args;
                    outer = cadr(arg);
                    args = caddr(outer);
                    set_car(sc->t1_1, lookup(sc, cadr(args)));
                    set_car(sc->t2_2, c_call(args)(sc, sc->t1_1));
                    set_car(sc->t2_1, lookup(sc, cadr(outer)));
                    set_car(sc->t1_1, c_call(outer)(sc, sc->t2_1));
                    return(c_call(arg)(sc, sc->t1_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %r15
movq 0x10(%r15), %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 0xc63e2
jle 0xc63d9
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc63cc
cmpq %rsi, %rdi
jne 0xc647f
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(%r15), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xc643e
jle 0xc6435
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xc6428
cmpq %rdx, %rsi
jne 0xc64c7
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x570(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
movq 0x568(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xc64b3
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc64a1
cmpq %rcx, 0x8(%r8)
je 0xc649d
movq 0x18(%r8), %r8
jmp 0xc6488
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc63ea
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc6484
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc63e6
xorl %esi, %esi
jmp 0xc63ea
cmpb $0x1c, (%rcx)
jne 0xc64fb
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xc64e9
cmpq %rax, 0x8(%rdi)
je 0xc64e5
movq 0x18(%rdi), %rdi
jmp 0xc64d0
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xc6446
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc64cc
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc6442
xorl %edx, %edx
jmp 0xc6446
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_op_opsq_s_q
static s7_pointer fx_c_op_opsq_s_q(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer outer, args;
                    outer = cadr(arg);
                    args = cadr(outer);
                    set_car(sc->t1_1, lookup(sc, cadr(args)));
                    set_car(sc->t2_1, c_call(args)(sc, sc->t1_1));
                    set_car(sc->t2_2, lookup(sc, caddr(outer)));
                    set_car(sc->t1_1, c_call(outer)(sc, sc->t2_1));
                    return(c_call(arg)(sc, sc->t1_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %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 0xc655b
jle 0xc6552
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc6545
cmpq %rsi, %rdi
jne 0xc65fc
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 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r15), %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 0xc65bb
jle 0xc65b2
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xc65a5
cmpq %rdx, %rsi
jne 0xc6644
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x578(%rbx), %rax
movq %rdx, 0x8(%rax)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
movq 0x568(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xc6630
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc661e
cmpq %rcx, 0x8(%r8)
je 0xc661a
movq 0x18(%r8), %r8
jmp 0xc6605
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc6563
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc6601
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc655f
xorl %esi, %esi
jmp 0xc6563
cmpb $0x1c, (%rcx)
jne 0xc6678
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xc6666
cmpq %rax, 0x8(%rdi)
je 0xc6662
movq 0x18(%rdi), %rdi
jmp 0xc664d
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xc65c3
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc6649
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc65bf
xorl %edx, %edx
jmp 0xc65c3
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opcsq
static s7_pointer fx_c_opcsq(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->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 0x10(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xc66cf
jle 0xc66ca
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc66bd
cmpq %rsi, %rdi
jne 0xc6724
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x578(%rbx), %rcx
movq %rsi, 0x8(%rcx)
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 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 0xc6754
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc6746
cmpq %rcx, 0x8(%r8)
je 0xc6742
movq 0x18(%r8), %r8
jmp 0xc672d
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc66d7
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc6729
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc66d3
xorl %esi, %esi
jmp 0xc66d7
// File: /workspace/github_c_makefile_star2_O1/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 0xc6867
jle 0xc6862
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc6855
cmpq %rsi, %rdi
jne 0xc68bc
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 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 0xc68ec
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc68de
cmpq %rcx, 0x8(%r8)
je 0xc68da
movq 0x18(%r8), %r8
jmp 0xc68c5
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc686f
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc68c1
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc686b
xorl %esi, %esi
jmp 0xc686f
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: fx_c_c_opdq
static s7_pointer fx_c_c_opdq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = caddr(arg);
                    set_car(sc->t2_2, d_call(sc, largs));
                    set_car(sc->t2_1, cadr(arg));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rsi
callq *0x20(%rax)
movq 0x578(%r14), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x570(%r14), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%rbx), %rax
movq 0x570(%r14), %rsi
movq %r14, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O1/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 0xc6999
jle 0xc6994
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc6987
cmpq %rsi, %rdi
jne 0xc6a01
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x578(%rbx), %rcx
movq %rsi, 0x8(%rcx)
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 0xc6a35
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc6a23
cmpq %rcx, 0x8(%r8)
je 0xc6a1f
movq 0x18(%r8), %r8
jmp 0xc6a0a
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc69a1
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc6a06
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc699d
xorl %esi, %esi
jmp 0xc69a1
// File: /workspace/github_c_makefile_star2_O1/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 0xc6a8c
jle 0xc6a87
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc6a7a
cmpq %rsi, %rdi
jne 0xc6af8
movq 0x18(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x578(%rbx), %rcx
movq %rsi, 0x8(%rcx)
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 0xc6b2c
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc6b1a
cmpq %rcx, 0x8(%r8)
je 0xc6b16
movq 0x18(%r8), %r8
jmp 0xc6b01
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc6a94
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc6afd
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc6a90
xorl %esi, %esi
jmp 0xc6a94
// File: /workspace/github_c_makefile_star2_O1/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 0xc6cfb
jle 0xc6cf2
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc6ce5
cmpq %rsi, %rdi
jne 0xc6db8
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 0xc6d3f
jle 0xc6d36
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc6d29
cmpq %rsi, %rdi
jne 0xc6e00
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 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 0xc6dec
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc6dda
cmpq %rcx, 0x8(%r8)
je 0xc6dd6
movq 0x18(%r8), %r8
jmp 0xc6dc1
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc6d03
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc6dbd
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc6cff
xorl %esi, %esi
jmp 0xc6d03
cmpb $0x1c, (%rdx)
jne 0xc6e34
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc6e22
cmpq %rcx, 0x8(%r8)
je 0xc6e1e
movq 0x18(%r8), %r8
jmp 0xc6e09
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc6d47
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc6e05
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc6d43
xorl %esi, %esi
jmp 0xc6d47
// File: /workspace/github_c_makefile_star2_O1/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 0xc712c
jle 0xc7127
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc711a
cmpq %rsi, %rdi
jne 0xc71a5
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 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 0xc71d9
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc71c7
cmpq %rcx, 0x8(%r8)
je 0xc71c3
movq 0x18(%r8), %r8
jmp 0xc71ae
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc7134
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc71aa
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc7130
xorl %esi, %esi
jmp 0xc7134
// File: /workspace/github_c_makefile_star2_O1/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 0xc723d
jle 0xc7234
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc7227
cmpq %rsi, %rdi
jne 0xc72e9
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 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 0xc72c1
jle 0xc72bc
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xc72af
cmpq %rdx, %rsi
jne 0xc7331
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
popq %rbx
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xc731d
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc730b
cmpq %rcx, 0x8(%r8)
je 0xc7307
movq 0x18(%r8), %r8
jmp 0xc72f2
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc7245
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc72ee
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc7241
xorl %esi, %esi
jmp 0xc7245
cmpb $0x1c, (%rcx)
jne 0xc7365
movq 0x8(%rcx), %rdi
testq %rdi, %rdi
sete %sil
je 0xc7353
cmpq %rax, 0x8(%rdi)
je 0xc734f
movq 0x18(%rdi), %rdi
jmp 0xc733a
movq 0x10(%rdi), %rdx
testb %sil, %sil
je 0xc72c9
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
je 0xc7336
movq 0x10(%rax), %rax
cmpb $0x20, (%rax)
je 0xc72c5
xorl %edx, %edx
jmp 0xc72c9
// File: /workspace/github_c_makefile_star2_O1/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 0xc7943
jle 0xc793e
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc7931
cmpq %rsi, %rdi
jne 0xc79af
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 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 0xc79e3
movq 0x8(%rdx), %r8
testq %r8, %r8
sete %dil
je 0xc79d1
cmpq %rcx, 0x8(%r8)
je 0xc79cd
movq 0x18(%r8), %r8
jmp 0xc79b8
movq 0x10(%r8), %rsi
testb %dil, %dil
je 0xc794b
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
je 0xc79b4
movq 0x10(%rcx), %rcx
cmpb $0x20, (%rcx)
je 0xc7947
xorl %esi, %esi
jmp 0xc794b