LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_eq_car_t_q
static s7_pointer fx_is_eq_car_t_q(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer lst, a;
                    a = cdr(arg);
                    check_let_slots(sc, __func__, arg, opt3_sym(a));
                    lst = slot_value(let_slots(sc->envir));
                    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 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xd093f
movq 0x8(%rax), %rax
xorl %ecx, %ecx
cmpq 0x20(%r14), %rax
setne %cl
leaq 0x118(,%rcx,8), %rcx
jmp 0xd099f
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xd0960
movq 0x8(%rsi), %rax
jmp 0xd0975
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x95069
movq 0x20(%r14), %rdx
cmpq %rdx, %rax
je 0xd099a
movl $0x120, %ecx            # imm = 0x120
cmpb $0x5, (%rax)
jne 0xd099f
xorl %eax, %eax
cmpb $0x5, (%rdx)
setne %al
leaq 0x118(,%rax,8), %rcx
jmp 0xd099f
movl $0x118, %ecx            # imm = 0x118
movq (%rbx,%rcx), %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_optq_s
static s7_pointer fx_c_optq_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    check_let_slots(sc, __func__, arg, cadr(largs));
                    set_car(sc->t1_1, slot_value(let_slots(sc->envir)));
                    set_car(sc->t2_1, c_call(largs)(sc, sc->t1_1));
                    set_car(sc->t2_2, lookup(sc, caddr(arg)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x8(%rcx), %rcx
movq 0x10(%rcx), %rcx
movq 0x568(%rdi), %rdx
movq %rcx, 0x8(%rdx)
movq 0x568(%rdi), %rsi
callq *0x20(%rax)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xd0a9d
jle 0xd0a98
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xd0a8b
cmpq %rdx, %rsi
jne 0xd0ac7
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xd0ae7
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xd0ae1
cmpq %rax, 0x8(%rdx)
je 0xd0aa1
movq 0x18(%rdx), %rdx
jmp 0xd0ad0
movq 0x10(%rcx), %rcx
jmp 0xd0ac7
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xd0aa1
xorl %eax, %eax
jmp 0xd0aa5
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_not_lt_ut
static s7_pointer fx_not_lt_ut(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x, y;
                    check_let_slots(sc, __func__, arg, caddr(cadr(arg)));
                    check_next_let_slot(sc, __func__, arg, cadadr(arg));
                    y = slot_value(next_slot(let_slots(sc->envir)));
                    x = slot_value(let_slots(sc->envir));
                    if ((is_t_integer(x)) && (is_t_integer(y)))
                        return(make_boolean(sc, integer(y) >= integer(x)));
                    return(make_boolean(sc, geq_b_7pp(sc, y, x)));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x18(%rax), %rax
movq 0x10(%rax), %rsi
cmpb $0xb, (%rdx)
jne 0xd0b52
cmpb $0xb, (%rsi)
jne 0xd0b52
movq 0x8(%rsi), %rax
xorl %ecx, %ecx
cmpq 0x8(%rdx), %rax
setl %cl
leaq 0x118(,%rcx,8), %rax
jmp 0xd0b67
movq %rbx, %rdi
callq 0x89fe0
xorb $0x1, %al
movzbl %al, %eax
leaq 0x118(,%rax,8), %rax
movq (%rbx,%rax), %rax
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_car_u
static s7_pointer fx_c_car_u(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    check_next_let_slot(sc, __func__, arg, opt2_sym(cdr(arg)));
                    val = slot_value(next_slot(let_slots(sc->envir)));
                    set_car(sc->t1_1, (is_pair(val)) ? car(val) : g_car(sc, set_plist_1(sc, val)));
                    return(c_call(arg)(sc, sc->t1_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xd0c62
movq 0x8(%rax), %rax
jmp 0xd0c98
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xd0c83
movq 0x8(%rsi), %rax
jmp 0xd0c98
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x95069
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
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: tree_set_memq_direct
static s7_pointer tree_set_memq_direct(s7_scheme *sc, s7_pointer syms, s7_pointer tree)
    {
        s7_pointer p;
        if ((sc->safety > NO_SAFETY) &&
                (tree_is_cyclic(sc, tree)))
            s7_error(sc, sc->wrong_type_arg_symbol, wrap_string(sc, "tree-set-memq: tree is cyclic", 29));
        clear_symbol_list(sc);
        for (p = syms; is_pair(p); p = cdr(p))
            add_symbol_to_list(sc, car(p));
        return(make_boolean(sc, tree_set_memq(sc, tree)));
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %rbx
cmpq $0x0, 0x6a0(%rdi)
jle 0xd0d32
movq %rbx, %rdi
movq %r14, %rsi
callq 0x38d93
testb %al, %al
je 0xd0d32
movq 0x1940(%rbx), %rsi
movq 0x820(%rbx), %rax
movslq 0x7dc(%rbx), %rcx
movq (%rax,%rcx,8), %rdx
leal 0x1(%rcx), %eax
andl $0x7, %eax
movl %eax, 0x7dc(%rbx)
leaq 0x46d0f(%rip), %rax     # 0x117a2d
movq %rax, 0x10(%rdx)
movq $0x1d, 0x8(%rdx)
movq %rbx, %rdi
callq 0x38dfa
incl 0xa88(%rbx)
jne 0xd0d6e
movl $0x1, 0xa88(%rbx)
incl 0xa8c(%rbx)
jmp 0xd0d6e
movq 0x8(%r15), %rax
movl 0xa88(%rbx), %ecx
movl %ecx, 0x2c(%rax)
movl 0xa8c(%rbx), %ecx
movq 0x8(%rax), %rax
movq 0x20(%rax), %rax
movl %ecx, 0xc(%rax)
movq 0x10(%r15), %r15
cmpb $0x1, (%r15)
je 0xd0d4c
movq %rbx, %rdi
movq %r14, %rsi
callq 0xccbbd
xorb $0x1, %al
movzbl %al, %eax
movq 0x118(%rbx,%rax,8), %rax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_gt
static s7_pointer fx_c_gt(s7_scheme *sc, s7_pointer arg)
                {
                    check_let_slots(sc, __func__, arg, opt2_sym(cdr(arg)));
                    set_car(sc->t2_1, lookup_global(sc, cadr(arg)));
                    set_car(sc->t2_2, slot_value(let_slots(sc->envir)));
                    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), %rsi
testb $0x1, 0x2(%rsi)
jne 0xd0e37
movq 0x8(%rbx), %rax
movq 0x18(%rax), %rdx
movq 0x20(%rsi), %rcx
cmpq %rcx, %rdx
je 0xd0e20
jle 0xd0e1b
movq 0x10(%rax), %rax
movq 0x18(%rax), %rdx
cmpq %rdx, %rcx
jl 0xd0e0e
cmpq %rcx, %rdx
jne 0xd0e78
movq 0x18(%rsi), %rcx
movq 0x10(%rcx), %rax
testq %rax, %rax
jne 0xd0e3f
movq %rbx, %rdi
callq 0x9c492
jmp 0xd0e3f
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x10(%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, (%rax)
jne 0xd0e98
movq 0x8(%rax), %rcx
testq %rcx, %rcx
je 0xd0e92
cmpq %rsi, 0x8(%rcx)
je 0xd0e24
movq 0x18(%rcx), %rcx
jmp 0xd0e81
movq 0x10(%rax), %rax
jmp 0xd0e78
movq 0x10(%rsi), %rcx
cmpb $0x20, (%rcx)
je 0xd0e24
jmp 0xd0e2d
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_st
static s7_pointer fx_c_st(s7_scheme *sc, s7_pointer arg)
                {
                    check_let_slots(sc, __func__, arg, opt2_sym(cdr(arg)));
                    set_car(sc->t2_1, lookup(sc, cadr(arg)));
                    set_car(sc->t2_2, slot_value(let_slots(sc->envir)));
                    return(c_call(arg)(sc, sc->t2_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 0xd0ed0
jle 0xd0ecb
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xd0ebe
cmpq %rdx, %r8
jne 0xd0f07
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x570(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x578(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%rsi), %rax
movq 0x570(%rdi), %rsi
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xd0f27
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xd0f21
cmpq %rax, 0x8(%rdx)
je 0xd0ed4
movq 0x18(%rdx), %rdx
jmp 0xd0f10
movq 0x10(%rcx), %rcx
jmp 0xd0f07
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xd0ed4
xorl %eax, %eax
jmp 0xd0ed8
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opgsq_t_direct
static s7_pointer fx_c_opgsq_t_direct(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cdadr(arg);
                    return(((s7_p_pp_t)opt2_direct(cdr(arg)))(sc,
                                ((s7_p_pp_t)opt3_direct(cdr(arg)))(sc, lookup_global(sc, car(largs)), lookup(sc, opt2_sym(largs))),
                                slot_value(let_slots(sc->envir))));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rcx
movq 0x20(%rax), %r12
movq 0x10(%rcx), %r15
movq 0x28(%rax), %r14
movq 0x8(%r15), %rax
testb $0x1, 0x2(%rax)
jne 0xd12f6
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xd12d9
jle 0xd12d0
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xd12c3
cmpq %rdx, %rsi
jne 0xd1377
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rsi
testq %rsi, %rsi
jne 0xd12fe
movq %rbx, %rdi
movq %rax, %rsi
callq 0x9c492
movq %rax, %rsi
jmp 0xd12fe
movq 0x10(%rax), %rax
movq 0x10(%rax), %rsi
movq 0x20(%r15), %rax
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rdi
movq 0x20(%rax), %rdx
cmpq %rdx, %rdi
je 0xd1327
jle 0xd1322
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdi
cmpq %rdi, %rdx
jl 0xd1315
cmpq %rdx, %rdi
jne 0xd1357
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rdx
movq %rbx, %rdi
callq *%r14
movq 0x8(%rbx), %rcx
movq 0x8(%rcx), %rcx
movq 0x10(%rcx), %rdx
movq %rbx, %rdi
movq %rax, %rsi
movq %r12, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xd139b
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xd1371
cmpq %rax, 0x8(%rdx)
je 0xd132b
movq 0x18(%rdx), %rdx
jmp 0xd1360
movq 0x10(%rcx), %rcx
jmp 0xd1357
cmpb $0x1c, (%rcx)
jne 0xd13a8
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xd1395
cmpq %rax, 0x8(%rdx)
je 0xd12dd
movq 0x18(%rdx), %rdx
jmp 0xd1380
movq 0x10(%rcx), %rcx
jmp 0xd1377
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xd132b
xorl %edx, %edx
jmp 0xd132f
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xd12dd
jmp 0xd12e6
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: ratio_lt_pi
static bool ratio_lt_pi(s7_pointer x, s7_int y)
    {
        if ((y >= 0) && (numerator(x) < 0))
            return(true);
        if ((y <= 0) && (numerator(x) > 0))
            return(false);
        if (denominator(x) < s7_int32_max)
            return(numerator(x) < (y * denominator(x)));
        return(fraction(x) < y);
    }

// Assembly:
movq 0x8(%rdi), %rax
testq %rsi, %rsi
js 0xd1439
testq %rax, %rax
js 0xd1441
testq %rsi, %rsi
sete %cl
testq %rax, %rax
setne %dl
testb %dl, %cl
jne 0xd143e
movq 0x10(%rdi), %rcx
xorl %edx, %edx
cmpb $0x0, 0x83fc4(%rip)     # 0x1553e4
movl $0x7fffffff, %edi       # imm = 0x7FFFFFFF
cmoveq %rdx, %rdi
cmpq %rdi, %rcx
jge 0xd1444
imulq %rsi, %rcx
cmpq %rcx, %rax
setl %al
retq
testq %rax, %rax
jle 0xd1413
xorl %eax, %eax
retq
movb $0x1, %al
retq
movq %rax, -0x18(%rsp)
fildll -0x18(%rsp)
movq %rcx, -0x10(%rsp)
fildll -0x10(%rsp)
fdivrp %st, %st(1)
movq %rsi, -0x8(%rsp)
fildll -0x8(%rsp)
fucompi %st(1), %st
fstp %st(0)
seta %al
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: tree_has_definers_or_binders
static bool tree_has_definers_or_binders(s7_scheme *sc, s7_pointer tree)
                {
                    s7_pointer p;
                    for (p = tree; is_pair(p); p = cdr(p))
                        if (tree_has_definers_or_binders(sc, car(p)))
                            return(true);
                    return((is_symbol(tree)) &&
                            (is_definer_or_binder(tree)));
                }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
movzbl (%rdi), %ebp
cmpl $0xa, %ebp
je 0xd1506
cmpl $0x1, %ebp
jne 0xd150f
movq %rbx, %r14
movq 0x8(%r14), %rdi
callq 0xd14d2
testb %al, %al
jne 0xd1513
movq 0x10(%r14), %r14
cmpb $0x1, (%r14)
je 0xd14e9
cmpb $0xa, %bpl
jne 0xd150f
testb $0xc, 0x6(%rbx)
setne %al
jmp 0xd1515
xorl %eax, %eax
jmp 0xd1515
movb $0x1, %al
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fixup_closure_star_aa
static goto_t fixup_closure_star_aa(s7_scheme *sc, s7_pointer f, s7_pointer code)
                {
                    if (!has_methods(f))
                    {
                        int32_t hop = 0;
                        if (is_immutable_and_stable(sc, car(code))) hop = 1;
                        set_opt3_arglen(code, small_int(2));
                        if (lambda_has_simple_defaults(closure_body(f)))
                        {
                            if (closure_star_arity_to_int(sc, f) == 2)
                                return(fixup_unknown_op(code, f, hop + ((is_safe_closure(f)) ? OP_SAFE_CLOSURE_STAR_AA : OP_CLOSURE_STAR_FX)));
                            return(fixup_unknown_op(code, f, hop + ((is_safe_closure(f)) ? OP_SAFE_CLOSURE_STAR_FX_2 : OP_CLOSURE_STAR_FX)));
                        }
                        if (is_safe_closure(f))
                            return(fixup_unknown_op(code, f, hop + OP_SAFE_CLOSURE_STAR_FX_2));
                    }
                    return(fixup_unknown_op(code, f, OP_S_AA));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r14
testb $0x40, 0x3(%rsi)
jne 0xd15c6
movq %rdi, %r15
movq 0x8(%rbx), %rsi
callq 0xcd057
movq 0x753c2(%rip), %rcx     # 0x146960
movq 0x10(%rbx), %rdx
movq %rcx, 0x28(%rdx)
movq 0x10(%rbx), %rcx
andq $-0x40001, (%rcx)       # imm = 0xFFFBFFFF
movzbl %al, %r12d
movq 0x10(%r14), %rax
testb $0x4, 0x1(%rax)
jne 0xd15ed
testb $0x10, 0x1(%r14)
jne 0xd161b
movw $0x16f, 0x4(%rbx)       # imm = 0x16F
movzbl (%r14), %eax
leaq 0x81609(%rip), %rcx     # 0x152be0
cmpb $0x1, (%rax,%rcx)
jne 0xd15e1
movq %r14, 0x18(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq 0x8(%r14), %rdx
movq %r15, %rdi
movq %r14, %rsi
callq 0x9a1d8
cmpl $0x2, 0x28(%r14)
movzwl (%r14), %eax
jne 0xd1629
shrl $0xa, %eax
andl $0x4, %eax
addl %r12d, %eax
addl $0x11a, %eax            # imm = 0x11A
movw %ax, 0x4(%rbx)
jmp 0xd1641
orl $0x126, %r12d           # imm = 0x126
movw %r12w, 0x4(%rbx)
jmp 0xd1641
btl $0xc, %eax
movl $0x11a, %eax            # imm = 0x11A
movl $0x126, %ecx            # imm = 0x126
cmovael %eax, %ecx
orl %r12d, %ecx
movw %cx, 0x4(%rbx)
movzbl (%r14), %eax
leaq 0x81594(%rip), %rcx     # 0x152be0
cmpb $0x0, (%rax,%rcx)
jne 0xd15dd
jmp 0xd15e1
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: recur_make_stack
static s7_pointer recur_make_stack(s7_scheme *sc)
                {
                    if (!sc->rec_stack)
                    {
                        sc->rec_stack = make_simple_vector(sc, RECUR_INITIAL_STACK_SIZE);
                        sc->rec_len = RECUR_INITIAL_STACK_SIZE;
                    }
                    sc->rec_loc = 0;
                    return(sc->rec_stack);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x2e8(%rdi), %r14
testq %r14, %r14
jne 0xd1833
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xd16e9
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r14
movq $0x200015, (%r14)       # imm = 0x200015
movq $0x400, 0x8(%r14)       # imm = 0x400
movq 0x8a0(%rbx), %r15
testq %r15, %r15
je 0xd1723
movq 0x18(%r15), %rax
movq %rax, 0x8a0(%rbx)
jmp 0xd17b5
movq 0x838(%rbx), %r15
testq %r15, %r15
jne 0xd176e
movl $0x2800, %edi           # imm = 0x2800
callq 0x8480
movq %rax, %r15
movq %rax, 0x838(%rbx)
addq $0x28, %rax
movl $0xff, %ecx
movq %rax, -0x10(%rax)
movl $0x0, -0x20(%rax)
addq $0x28, %rax
decl %ecx
jne 0xd174c
movq $0x0, -0x10(%rax)
movl $0x0, -0x20(%rax)
movq 0x18(%r15), %rax
movq %rax, 0x838(%rbx)
movq 0x8c8(%rbx), %rax
leaq 0x2000(%rax), %rcx
cmpq $0x10000, %rcx          # imm = 0x10000
jbe 0xd179c
movl $0x2000, %edi           # imm = 0x2000
callq 0x8480
jmp 0xd17aa
addq 0x8d0(%rbx), %rax
movq %rcx, 0x8c8(%rbx)
movq %rax, (%r15)
movl $0xd, 0x8(%r15)
movq $0x2000, 0x10(%r15)     # imm = 0x2000
movq %r15, 0x18(%r14)
movq (%r15), %rax
movq %rax, 0x10(%r14)
movq $0x0, 0x20(%r15)
leaq -0x7558e(%rip), %rax    # 0x5c249
movq %rax, 0x20(%r14)
leaq -0x75590(%rip), %rax    # 0x5c252
movq %rax, 0x28(%r14)
movq 0x740(%rbx), %r15
movq (%r15), %rax
movq 0x10(%r15), %rsi
cmpq 0x8(%r15), %rsi
jne 0xd1815
leaq (%rsi,%rsi), %rcx
movq %rcx, 0x8(%r15)
shlq $0x4, %rsi
movq %rax, %rdi
callq 0x8510
movq %rax, (%r15)
movq 0x10(%r15), %rsi
leaq 0x1(%rsi), %rcx
movq %rcx, 0x10(%r15)
movq %r14, (%rax,%rsi,8)
movq %r14, 0x2e8(%rbx)
movq $0x400, 0x2d8(%rbx) # imm = 0x400
movq $0x0, 0x2d0(%rbx)
movq %r14, %rax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: oprec_if_a_a_opa_laq
static s7_pointer oprec_if_a_a_opa_laq(s7_scheme *sc)
                {
                    if (sc->rec_testf(sc, sc->rec_testp) != sc->F)
                        return(sc->rec_resf(sc, sc->rec_resp));
                    recur_push(sc, sc->rec_f1f(sc, sc->rec_f1p));
                    slot_set_value(sc->rec_slot1, sc->rec_f2f(sc, sc->rec_f2p));
                    set_car(sc->t2_2, oprec_if_a_a_opa_laq(sc));
                    set_car(sc->t2_1, recur_pop(sc));
                    return(sc->rec_call(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x2f0(%rdi), %rsi
callq *0x360(%rdi)
cmpq 0x120(%rbx), %rax
je 0xd1931
leaq 0x3b0(%rbx), %rcx
leaq 0x340(%rbx), %rax
jmp 0xd1a1a
movq 0x2f8(%rbx), %rsi
movq %rbx, %rdi
callq *0x368(%rbx)
movq %rax, %r14
movq 0x2d0(%rbx), %rdx
cmpq 0x2d8(%rbx), %rdx
jne 0xd1998
movq 0x2e8(%rbx), %r15
leaq (%rdx,%rdx), %rax
movq %rax, 0x8(%r15)
movq 0x18(%r15), %rsi
shlq $0x4, %rdx
movq %rbx, %rdi
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq %rax, 0x18(%r15)
movq (%rax), %rax
movq %rax, 0x10(%r15)
movq 0x8(%r15), %rax
movq %rax, 0x2d8(%rbx)
movq 0x2d0(%rbx), %rdx
movq 0x2e8(%rbx), %rax
movq 0x10(%rax), %rax
movq %r14, (%rax,%rdx,8)
incq %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x300(%rbx), %rsi
movq %rbx, %rdi
callq *0x370(%rbx)
movq 0x348(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq %rbx, %rdi
callq 0xd1900
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x2d0(%rbx), %rax
movq 0x2e8(%rbx), %rcx
leaq -0x1(%rax), %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x10(%rcx), %rcx
movq -0x8(%rcx,%rax,8), %rcx
leaq 0x570(%rbx), %rax
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
leaq 0x3b8(%rbx), %rcx
movq (%rcx), %rcx
movq (%rax), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rcx
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: oprec_if_a_opa_laq_a
static s7_pointer oprec_if_a_opa_laq_a(s7_scheme *sc)
                {
                    if (sc->rec_testf(sc, sc->rec_testp) == sc->F)
                        return(sc->rec_resf(sc, sc->rec_resp));
                    recur_push(sc, sc->rec_f1f(sc, sc->rec_f1p));
                    slot_set_value(sc->rec_slot1, sc->rec_f2f(sc, sc->rec_f2p));
                    set_car(sc->t2_2, oprec_if_a_opa_laq_a(sc));
                    set_car(sc->t2_1, recur_pop(sc));
                    return(sc->rec_call(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x2f0(%rdi), %rsi
callq *0x360(%rdi)
cmpq 0x120(%rbx), %rax
je 0xd1b37
movq 0x2f8(%rbx), %rsi
movq %rbx, %rdi
callq *0x368(%rbx)
movq %rax, %r14
movq 0x2d0(%rbx), %rdx
cmpq 0x2d8(%rbx), %rdx
jne 0xd1ab3
movq 0x2e8(%rbx), %r15
leaq (%rdx,%rdx), %rax
movq %rax, 0x8(%r15)
movq 0x18(%r15), %rsi
shlq $0x4, %rdx
movq %rbx, %rdi
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq %rax, 0x18(%r15)
movq (%rax), %rax
movq %rax, 0x10(%r15)
movq 0x8(%r15), %rax
movq %rax, 0x2d8(%rbx)
movq 0x2d0(%rbx), %rdx
movq 0x2e8(%rbx), %rax
movq 0x10(%rax), %rax
movq %r14, (%rax,%rdx,8)
incq %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x300(%rbx), %rsi
movq %rbx, %rdi
callq *0x370(%rbx)
movq 0x348(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq %rbx, %rdi
callq 0xd1a2a
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x2d0(%rbx), %rax
movq 0x2e8(%rbx), %rcx
leaq -0x1(%rax), %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x10(%rcx), %rcx
movq -0x8(%rcx,%rax,8), %rcx
leaq 0x570(%rbx), %rax
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
leaq 0x3b8(%rbx), %rcx
jmp 0xd1b45
leaq 0x3b0(%rbx), %rcx
leaq 0x340(%rbx), %rax
movq (%rcx), %rcx
movq (%rax), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rcx
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: oprec_if_a_a_opa_laaq
static s7_pointer oprec_if_a_a_opa_laaq(s7_scheme *sc)
                {
                    if (sc->rec_testf(sc, sc->rec_testp) != sc->F)
                        return(sc->rec_resf(sc, sc->rec_resp));
                    recur_push(sc, sc->rec_f1f(sc, sc->rec_f1p));
                    recur_push(sc, sc->rec_f2f(sc, sc->rec_f2p));
                    slot_set_value(sc->rec_slot2, sc->rec_f3f(sc, sc->rec_f3p));
                    slot_set_value(sc->rec_slot1, recur_pop(sc));
                    set_car(sc->t2_2, oprec_if_a_a_opa_laaq(sc));
                    set_car(sc->t2_1, recur_pop(sc));
                    return(sc->rec_call(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x2f0(%rdi), %rsi
callq *0x360(%rdi)
cmpq 0x120(%rbx), %rax
je 0xd1c73
leaq 0x3b0(%rbx), %rcx
leaq 0x340(%rbx), %rax
jmp 0xd1e09
movq 0x2f8(%rbx), %rsi
movq %rbx, %rdi
callq *0x368(%rbx)
movq %rax, %r14
movq 0x2d0(%rbx), %rdx
cmpq 0x2d8(%rbx), %rdx
jne 0xd1cda
movq 0x2e8(%rbx), %r15
leaq (%rdx,%rdx), %rax
movq %rax, 0x8(%r15)
movq 0x18(%r15), %rsi
shlq $0x4, %rdx
movq %rbx, %rdi
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq %rax, 0x18(%r15)
movq (%rax), %rax
movq %rax, 0x10(%r15)
movq 0x8(%r15), %rax
movq %rax, 0x2d8(%rbx)
movq 0x2d0(%rbx), %rdx
movq 0x2e8(%rbx), %rax
movq 0x10(%rax), %rax
movq %r14, (%rax,%rdx,8)
incq %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x300(%rbx), %rsi
movq %rbx, %rdi
callq *0x370(%rbx)
movq %rax, %r14
movq 0x2d0(%rbx), %rdx
cmpq 0x2d8(%rbx), %rdx
jne 0xd1d5a
movq 0x2e8(%rbx), %r15
leaq (%rdx,%rdx), %rax
movq %rax, 0x8(%r15)
movq 0x18(%r15), %rsi
shlq $0x4, %rdx
movq %rbx, %rdi
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq %rax, 0x18(%r15)
movq (%rax), %rax
movq %rax, 0x10(%r15)
movq 0x8(%r15), %rax
movq %rax, 0x2d8(%rbx)
movq 0x2d0(%rbx), %rdx
movq 0x2e8(%rbx), %rax
movq 0x10(%rax), %rax
movq %r14, (%rax,%rdx,8)
incq %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x308(%rbx), %rsi
movq %rbx, %rdi
callq *0x378(%rbx)
movq 0x350(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq 0x2d0(%rbx), %rax
movq 0x2e8(%rbx), %rcx
leaq -0x1(%rax), %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x10(%rcx), %rcx
movq -0x8(%rcx,%rax,8), %rax
movq 0x348(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq %rbx, %rdi
callq 0xd1c42
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x2d0(%rbx), %rax
movq 0x2e8(%rbx), %rcx
leaq -0x1(%rax), %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x10(%rcx), %rcx
movq -0x8(%rcx,%rax,8), %rcx
leaq 0x570(%rbx), %rax
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
leaq 0x3b8(%rbx), %rcx
movq (%rcx), %rcx
movq (%rax), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rcx
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: oprec_if_a_opa_laaq_a
static s7_pointer oprec_if_a_opa_laaq_a(s7_scheme *sc)
                {
                    if (sc->rec_testf(sc, sc->rec_testp) == sc->F)
                        return(sc->rec_resf(sc, sc->rec_resp));
                    recur_push(sc, sc->rec_f1f(sc, sc->rec_f1p));
                    recur_push(sc, sc->rec_f2f(sc, sc->rec_f2p));
                    slot_set_value(sc->rec_slot2, sc->rec_f3f(sc, sc->rec_f3p));
                    slot_set_value(sc->rec_slot1, recur_pop(sc));
                    set_car(sc->t2_2, oprec_if_a_opa_laaq_a(sc));
                    set_car(sc->t2_1, recur_pop(sc));
                    return(sc->rec_call(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x2f0(%rdi), %rsi
callq *0x360(%rdi)
cmpq 0x120(%rbx), %rax
je 0xd1fd3
movq 0x2f8(%rbx), %rsi
movq %rbx, %rdi
callq *0x368(%rbx)
movq %rax, %r14
movq 0x2d0(%rbx), %rdx
cmpq 0x2d8(%rbx), %rdx
jne 0xd1ea2
movq 0x2e8(%rbx), %r15
leaq (%rdx,%rdx), %rax
movq %rax, 0x8(%r15)
movq 0x18(%r15), %rsi
shlq $0x4, %rdx
movq %rbx, %rdi
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq %rax, 0x18(%r15)
movq (%rax), %rax
movq %rax, 0x10(%r15)
movq 0x8(%r15), %rax
movq %rax, 0x2d8(%rbx)
movq 0x2d0(%rbx), %rdx
movq 0x2e8(%rbx), %rax
movq 0x10(%rax), %rax
movq %r14, (%rax,%rdx,8)
incq %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x300(%rbx), %rsi
movq %rbx, %rdi
callq *0x370(%rbx)
movq %rax, %r14
movq 0x2d0(%rbx), %rdx
cmpq 0x2d8(%rbx), %rdx
jne 0xd1f22
movq 0x2e8(%rbx), %r15
leaq (%rdx,%rdx), %rax
movq %rax, 0x8(%r15)
movq 0x18(%r15), %rsi
shlq $0x4, %rdx
movq %rbx, %rdi
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq %rax, 0x18(%r15)
movq (%rax), %rax
movq %rax, 0x10(%r15)
movq 0x8(%r15), %rax
movq %rax, 0x2d8(%rbx)
movq 0x2d0(%rbx), %rdx
movq 0x2e8(%rbx), %rax
movq 0x10(%rax), %rax
movq %r14, (%rax,%rdx,8)
incq %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x308(%rbx), %rsi
movq %rbx, %rdi
callq *0x378(%rbx)
movq 0x350(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq 0x2d0(%rbx), %rax
movq 0x2e8(%rbx), %rcx
leaq -0x1(%rax), %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x10(%rcx), %rcx
movq -0x8(%rcx,%rax,8), %rax
movq 0x348(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq %rbx, %rdi
callq 0xd1e19
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x2d0(%rbx), %rax
movq 0x2e8(%rbx), %rcx
leaq -0x1(%rax), %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x10(%rcx), %rcx
movq -0x8(%rcx,%rax,8), %rcx
leaq 0x570(%rbx), %rax
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
leaq 0x3b8(%rbx), %rcx
jmp 0xd1fe1
leaq 0x3b0(%rbx), %rcx
leaq 0x340(%rbx), %rax
movq (%rcx), %rcx
movq (%rax), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rcx
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: oprec_i_if_a_a_opla_laq_0
static s7_int oprec_i_if_a_a_opla_laq_0(s7_scheme *sc)
                {
                    s7_int i1, i2;
                    if (sc->rec_fb1(sc->rec_test_o))
                        return(sc->rec_fi1(sc->rec_result_o));
                    i1 = sc->rec_fi2(sc->rec_a1_o);
                    integer(sc->rec_val1) = sc->rec_fi3(sc->rec_a2_o);
                    if (sc->rec_fb1(sc->rec_test_o))
                        i2 = sc->rec_fi1(sc->rec_result_o);
                    else
                    {
                        s7_int i3;
                        i2 = sc->rec_fi2(sc->rec_a1_o);
                        integer(sc->rec_val1) = sc->rec_fi3(sc->rec_a2_o);
                        i3 = oprec_i_if_a_a_opla_laq_0(sc);
                        integer(sc->rec_val1) = i2;
                        i2 = sc->rec_i_ii_f(oprec_i_if_a_a_opla_laq_0(sc), i3);
                    }
                    integer(sc->rec_val1) = i1;
                    return(sc->rec_i_ii_f(oprec_i_if_a_a_opla_laq_0(sc), i2));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %rbx
pushq %rax
movq %rdi, %rax
movq 0x400(%rdi), %rdi
movq %rax, %r13
callq *0x3f0(%rax)
testb %al, %al
je 0xd202b
movq %r13, %rax
movq 0x408(%r13), %rdi
addq $0x8, %rsp
popq %rbx
popq %r13
popq %r14
popq %r15
jmpq *0x3c0(%rax)
movq 0x410(%r13), %rdi
callq *0x3c8(%r13)
movq %rax, %rbx
movq 0x418(%r13), %rdi
callq *0x3d0(%r13)
movq 0x450(%r13), %rcx
movq %rax, 0x8(%rcx)
movq 0x400(%r13), %rdi
callq *0x3f0(%r13)
testb %al, %al
je 0xd2077
movq 0x408(%r13), %rdi
callq *0x3c0(%r13)
jmp 0xd20cf
movq 0x410(%r13), %rdi
callq *0x3c8(%r13)
movq %rax, %r14
movq 0x418(%r13), %rdi
callq *0x3d0(%r13)
movq 0x450(%r13), %rcx
movq %rax, 0x8(%rcx)
movq %r13, %rdi
callq 0xd1ff1
movq %rax, %r15
movq 0x450(%r13), %rax
movq %r14, 0x8(%rax)
movq 0x440(%r13), %r14
movq %r13, %rdi
callq 0xd1ff1
movq %rax, %rdi
movq %r15, %rsi
callq *%r14
movq %rax, %r14
movq %r13, %rdi
movq 0x450(%r13), %rax
movq %rbx, 0x8(%rax)
movq 0x440(%r13), %rbx
callq 0xd1ff1
movq %rax, %rdi
movq %r14, %rsi
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r13
popq %r14
popq %r15
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: oprec_i_if_a_opla_laq_a_0
static s7_int oprec_i_if_a_opla_laq_a_0(s7_scheme *sc)
                {
                    s7_int i1, i2;
                    if (!sc->rec_fb1(sc->rec_test_o))
                        return(sc->rec_fi1(sc->rec_result_o));
                    i1 = sc->rec_fi2(sc->rec_a1_o);
                    integer(sc->rec_val1) = sc->rec_fi3(sc->rec_a2_o);
                    if (!sc->rec_fb1(sc->rec_test_o))
                        i2 = sc->rec_fi1(sc->rec_result_o);
                    else
                    {
                        s7_int i3;
                        i2 = sc->rec_fi2(sc->rec_a1_o);
                        integer(sc->rec_val1) = sc->rec_fi3(sc->rec_a2_o);
                        i3 = oprec_i_if_a_opla_laq_a_0(sc);
                        integer(sc->rec_val1) = i2;
                        i2 = sc->rec_i_ii_f(oprec_i_if_a_opla_laq_a_0(sc), i3);
                    }
                    integer(sc->rec_val1) = i1;
                    return(sc->rec_i_ii_f(oprec_i_if_a_opla_laq_a_0(sc), i2));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %rbx
pushq %rax
movq %rdi, %rax
movq 0x400(%rdi), %rdi
movq %rax, %r13
callq *0x3f0(%rax)
testb %al, %al
je 0xd21bb
movq 0x410(%r13), %rdi
callq *0x3c8(%r13)
movq %rax, %rbx
movq 0x418(%r13), %rdi
callq *0x3d0(%r13)
movq 0x450(%r13), %rcx
movq %rax, 0x8(%rcx)
movq 0x400(%r13), %rdi
callq *0x3f0(%r13)
testb %al, %al
je 0xd21d6
movq 0x410(%r13), %rdi
callq *0x3c8(%r13)
movq %rax, %r14
movq 0x418(%r13), %rdi
callq *0x3d0(%r13)
movq 0x450(%r13), %rcx
movq %rax, 0x8(%rcx)
movq %r13, %rdi
callq 0xd2102
movq %rax, %r15
movq 0x450(%r13), %rax
movq %r14, 0x8(%rax)
movq 0x440(%r13), %r14
movq %r13, %rdi
callq 0xd2102
movq %rax, %rdi
movq %r15, %rsi
callq *%r14
jmp 0xd21e4
movq %r13, %rax
movq 0x408(%r13), %rdi
addq $0x8, %rsp
popq %rbx
popq %r13
popq %r14
popq %r15
jmpq *0x3c0(%rax)
movq 0x408(%r13), %rdi
callq *0x3c0(%r13)
movq %rax, %r14
movq %r13, %rdi
movq 0x450(%r13), %rax
movq %rbx, 0x8(%rax)
movq 0x440(%r13), %rbx
callq 0xd2102
movq %rax, %rdi
movq %r14, %rsi
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r13
popq %r14
popq %r15
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: oprec_if_a_a_opla_laq
static s7_pointer oprec_if_a_a_opla_laq(s7_scheme *sc)
                {
                    if (sc->rec_testf(sc, sc->rec_testp) != sc->F)
                        return(sc->rec_resf(sc, sc->rec_resp));
                    recur_push(sc, sc->rec_f1f(sc, sc->rec_f1p));
                    slot_set_value(sc->rec_slot1, sc->rec_f2f(sc, sc->rec_f2p));
                    slot_set_value(sc->rec_slot1, recur_swap(sc, oprec_if_a_a_opla_laq(sc)));
                    set_car(sc->t2_1, oprec_if_a_a_opla_laq(sc));
                    set_car(sc->t2_2, recur_pop(sc));
                    return(sc->rec_call(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x2f0(%rdi), %rsi
callq *0x360(%rdi)
cmpq 0x120(%rbx), %rax
je 0xd237c
leaq 0x3b0(%rbx), %rax
leaq 0x340(%rbx), %rcx
jmp 0xd2494
movq 0x2f8(%rbx), %rsi
movq %rbx, %rdi
callq *0x368(%rbx)
movq %rax, %r14
movq 0x2d0(%rbx), %rdx
cmpq 0x2d8(%rbx), %rdx
jne 0xd23e3
movq 0x2e8(%rbx), %r15
leaq (%rdx,%rdx), %rax
movq %rax, 0x8(%r15)
movq 0x18(%r15), %rsi
shlq $0x4, %rdx
movq %rbx, %rdi
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq %rax, 0x18(%r15)
movq (%rax), %rax
movq %rax, 0x10(%r15)
movq 0x8(%r15), %rax
movq %rax, 0x2d8(%rbx)
movq 0x2d0(%rbx), %rdx
movq 0x2e8(%rbx), %rax
movq 0x10(%rax), %rax
movq %r14, (%rax,%rdx,8)
incq %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x300(%rbx), %rsi
movq %rbx, %rdi
callq *0x370(%rbx)
movq 0x348(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq %rbx, %rdi
callq 0xd234b
movq 0x2d0(%rbx), %rcx
movq 0x2e8(%rbx), %rdx
movq 0x10(%rdx), %rdx
movq -0x8(%rdx,%rcx,8), %rsi
movq %rax, -0x8(%rdx,%rcx,8)
movq 0x348(%rbx), %rax
movq %rsi, 0x10(%rax)
movq %rbx, %rdi
callq 0xd234b
leaq 0x570(%rbx), %rcx
movq 0x570(%rbx), %rdx
movq %rax, 0x8(%rdx)
movq 0x2d0(%rbx), %rax
movq 0x2e8(%rbx), %rdx
leaq -0x1(%rax), %rsi
movq %rsi, 0x2d0(%rbx)
movq 0x10(%rdx), %rdx
movq -0x8(%rdx,%rax,8), %rax
movq 0x578(%rbx), %rdx
movq %rax, 0x8(%rdx)
leaq 0x3b8(%rbx), %rax
movq (%rax), %rax
movq (%rcx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: oprec_if_a_opla_laq_a
static s7_pointer oprec_if_a_opla_laq_a(s7_scheme *sc)
                {
                    if (sc->rec_testf(sc, sc->rec_testp) == sc->F)
                        return(sc->rec_resf(sc, sc->rec_resp));
                    recur_push(sc, sc->rec_f1f(sc, sc->rec_f1p));
                    slot_set_value(sc->rec_slot1, sc->rec_f2f(sc, sc->rec_f2p));
                    slot_set_value(sc->rec_slot1, recur_swap(sc, oprec_if_a_opla_laq_a(sc)));
                    set_car(sc->t2_1, oprec_if_a_opla_laq_a(sc));
                    set_car(sc->t2_2, recur_pop(sc));
                    return(sc->rec_call(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x2f0(%rdi), %rsi
callq *0x360(%rdi)
cmpq 0x120(%rbx), %rax
je 0xd25e0
movq 0x2f8(%rbx), %rsi
movq %rbx, %rdi
callq *0x368(%rbx)
movq %rax, %r14
movq 0x2d0(%rbx), %rdx
cmpq 0x2d8(%rbx), %rdx
jne 0xd252d
movq 0x2e8(%rbx), %r15
leaq (%rdx,%rdx), %rax
movq %rax, 0x8(%r15)
movq 0x18(%r15), %rsi
shlq $0x4, %rdx
movq %rbx, %rdi
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq %rax, 0x18(%r15)
movq (%rax), %rax
movq %rax, 0x10(%r15)
movq 0x8(%r15), %rax
movq %rax, 0x2d8(%rbx)
movq 0x2d0(%rbx), %rdx
movq 0x2e8(%rbx), %rax
movq 0x10(%rax), %rax
movq %r14, (%rax,%rdx,8)
incq %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x300(%rbx), %rsi
movq %rbx, %rdi
callq *0x370(%rbx)
movq 0x348(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq %rbx, %rdi
callq 0xd24a4
movq 0x2d0(%rbx), %rcx
movq 0x2e8(%rbx), %rdx
movq 0x10(%rdx), %rdx
movq -0x8(%rdx,%rcx,8), %rsi
movq %rax, -0x8(%rdx,%rcx,8)
movq 0x348(%rbx), %rax
movq %rsi, 0x10(%rax)
movq %rbx, %rdi
callq 0xd24a4
leaq 0x570(%rbx), %rcx
movq 0x570(%rbx), %rdx
movq %rax, 0x8(%rdx)
movq 0x2d0(%rbx), %rax
movq 0x2e8(%rbx), %rdx
leaq -0x1(%rax), %rsi
movq %rsi, 0x2d0(%rbx)
movq 0x10(%rdx), %rdx
movq -0x8(%rdx,%rax,8), %rax
movq 0x578(%rbx), %rdx
movq %rax, 0x8(%rdx)
leaq 0x3b8(%rbx), %rax
jmp 0xd25ee
leaq 0x3b0(%rbx), %rax
leaq 0x340(%rbx), %rcx
movq (%rax), %rax
movq (%rcx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: oprec_d_if_a_a_opla_laq
static s7_double oprec_d_if_a_a_opla_laq(s7_scheme *sc)
                {
                    s7_double x1, x2;
                    sc->pc = 0;
                    if (sc->rec_test_o->v[0].fb(sc->rec_test_o))
                    {
                        sc->pc++;
                        return(sc->rec_result_o->v[0].fd(sc->rec_result_o));
                    }
                    sc->pc = sc->rec_pc1;
                    x1 = sc->rec_a1_o->v[0].fd(sc->rec_a1_o);
                    real(sc->rec_val1) = sc->rec_a2_o->v[0].fd(sc->rec_a2_o);
                    x2 = oprec_d_if_a_a_opla_laq(sc);
                    real(sc->rec_val1) = x1;
                    return(sc->rec_d_dd_f(oprec_d_if_a_a_opla_laq(sc), x2));
                }

// Assembly:
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
movl $0x0, 0x2258(%rdi)
movq 0x400(%rdi), %rdi
callq *(%rdi)
testb %al, %al
je 0xd2635
incl 0x2258(%rbx)
movq 0x408(%rbx), %rdi
addq $0x18, %rsp
popq %rbx
popq %r14
jmpq *(%rdi)
movl 0x460(%rbx), %eax
movl %eax, 0x2258(%rbx)
movq 0x410(%rbx), %rdi
callq *(%rdi)
movsd %xmm0, 0x10(%rsp)
movq 0x418(%rbx), %rdi
callq *(%rdi)
movq 0x450(%rbx), %rax
movsd %xmm0, 0x8(%rax)
movq %rbx, %rdi
callq 0xd25fe
movsd %xmm0, 0x8(%rsp)
movq 0x450(%rbx), %rax
movsd 0x10(%rsp), %xmm0
movsd %xmm0, 0x8(%rax)
movq 0x448(%rbx), %r14
movq %rbx, %rdi
callq 0xd25fe
movsd 0x8(%rsp), %xmm1
movq %r14, %rax
addq $0x18, %rsp
popq %rbx
popq %r14
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: oprec_d_if_a_opla_laq_a
static s7_double oprec_d_if_a_opla_laq_a(s7_scheme *sc)
                {
                    s7_double x1, x2;
                    sc->pc = 0;
                    if (!(sc->rec_test_o->v[0].fb(sc->rec_test_o)))
                    {
                        sc->pc++;
                        return(sc->rec_result_o->v[0].fd(sc->rec_result_o));
                    }
                    sc->pc = sc->rec_pc1;
                    x1 = sc->rec_a1_o->v[0].fd(sc->rec_a1_o);
                    sc->pc++;
                    real(sc->rec_val1) = sc->rec_a2_o->v[0].fd(sc->rec_a2_o);
                    x2 = oprec_d_if_a_opla_laq_a(sc);
                    real(sc->rec_val1) = x1;
                    return(sc->rec_d_dd_f(oprec_d_if_a_opla_laq_a(sc), x2));
                }

// Assembly:
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
movl $0x0, 0x2258(%rdi)
movq 0x400(%rdi), %rdi
callq *(%rdi)
testb %al, %al
je 0xd273e
movl 0x460(%rbx), %eax
movl %eax, 0x2258(%rbx)
movq 0x410(%rbx), %rdi
callq *(%rdi)
movsd %xmm0, 0x10(%rsp)
incl 0x2258(%rbx)
movq 0x418(%rbx), %rdi
callq *(%rdi)
movq 0x450(%rbx), %rax
movsd %xmm0, 0x8(%rax)
movq %rbx, %rdi
callq 0xd26a6
movsd %xmm0, 0x8(%rsp)
movq 0x450(%rbx), %rax
movsd 0x10(%rsp), %xmm0
movsd %xmm0, 0x8(%rax)
movq 0x448(%rbx), %r14
movq %rbx, %rdi
callq 0xd26a6
movsd 0x8(%rsp), %xmm1
movq %r14, %rax
addq $0x18, %rsp
popq %rbx
popq %r14
jmpq *%rax
incl 0x2258(%rbx)
movq 0x408(%rbx), %rdi
addq $0x18, %rsp
popq %rbx
popq %r14
jmpq *(%rdi)
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: oprec_if_a_a_opa_la_laq
static s7_pointer oprec_if_a_a_opa_la_laq(s7_scheme *sc)
                {
                    if (sc->rec_testf(sc, sc->rec_testp) != sc->F)
                        return(sc->rec_resf(sc, sc->rec_resp));
                    recur_push(sc, sc->rec_f1f(sc, sc->rec_f1p));
                    recur_push(sc, sc->rec_f2f(sc, sc->rec_f2p));
                    slot_set_value(sc->rec_slot1, sc->rec_f3f(sc, sc->rec_f3p));
                    slot_set_value(sc->rec_slot1, recur_swap(sc, oprec_if_a_a_opa_la_laq(sc)));
                    set_car(sc->t3_2, oprec_if_a_a_opa_la_laq(sc));
                    set_car(sc->t3_3, recur_pop(sc));
                    set_car(sc->t3_1, recur_pop(sc));
                    return(sc->rec_call(sc, sc->t3_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x2f0(%rdi), %rsi
callq *0x360(%rdi)
cmpq 0x120(%rbx), %rax
je 0xd286b
leaq 0x3b0(%rbx), %rcx
leaq 0x340(%rbx), %rax
jmp 0xd2a30
movq 0x2f8(%rbx), %rsi
movq %rbx, %rdi
callq *0x368(%rbx)
movq %rax, %r14
movq 0x2d0(%rbx), %rdx
cmpq 0x2d8(%rbx), %rdx
jne 0xd28d2
movq 0x2e8(%rbx), %r15
leaq (%rdx,%rdx), %rax
movq %rax, 0x8(%r15)
movq 0x18(%r15), %rsi
shlq $0x4, %rdx
movq %rbx, %rdi
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq %rax, 0x18(%r15)
movq (%rax), %rax
movq %rax, 0x10(%r15)
movq 0x8(%r15), %rax
movq %rax, 0x2d8(%rbx)
movq 0x2d0(%rbx), %rdx
movq 0x2e8(%rbx), %rax
movq 0x10(%rax), %rax
movq %r14, (%rax,%rdx,8)
incq %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x300(%rbx), %rsi
movq %rbx, %rdi
callq *0x370(%rbx)
movq %rax, %r14
movq 0x2d0(%rbx), %rdx
cmpq 0x2d8(%rbx), %rdx
jne 0xd2952
movq 0x2e8(%rbx), %r15
leaq (%rdx,%rdx), %rax
movq %rax, 0x8(%r15)
movq 0x18(%r15), %rsi
shlq $0x4, %rdx
movq %rbx, %rdi
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq %rax, 0x18(%r15)
movq (%rax), %rax
movq %rax, 0x10(%r15)
movq 0x8(%r15), %rax
movq %rax, 0x2d8(%rbx)
movq 0x2d0(%rbx), %rdx
movq 0x2e8(%rbx), %rax
movq 0x10(%rax), %rax
movq %r14, (%rax,%rdx,8)
incq %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x308(%rbx), %rsi
movq %rbx, %rdi
callq *0x378(%rbx)
movq 0x348(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq %rbx, %rdi
callq 0xd283a
movq 0x2d0(%rbx), %rcx
movq 0x2e8(%rbx), %rdx
movq 0x10(%rdx), %rdx
movq -0x8(%rdx,%rcx,8), %rsi
movq %rax, -0x8(%rdx,%rcx,8)
movq 0x348(%rbx), %rax
movq %rsi, 0x10(%rax)
movq %rbx, %rdi
callq 0xd283a
movq 0x588(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x2d0(%rbx), %rax
movq 0x2e8(%rbx), %rcx
leaq -0x1(%rax), %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x10(%rcx), %rcx
movq -0x8(%rcx,%rax,8), %rax
movq 0x590(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x2d0(%rbx), %rax
movq 0x2e8(%rbx), %rcx
leaq -0x1(%rax), %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x10(%rcx), %rcx
movq -0x8(%rcx,%rax,8), %rcx
leaq 0x580(%rbx), %rax
movq 0x580(%rbx), %rdx
movq %rcx, 0x8(%rdx)
leaq 0x3b8(%rbx), %rcx
movq (%rcx), %rcx
movq (%rax), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rcx
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: oprec_if_a_opa_la_laq_a
static s7_pointer oprec_if_a_opa_la_laq_a(s7_scheme *sc)
                {
                    if (sc->rec_testf(sc, sc->rec_testp) == sc->F)
                        return(sc->rec_resf(sc, sc->rec_resp));
                    recur_push(sc, sc->rec_f1f(sc, sc->rec_f1p));
                    recur_push(sc, sc->rec_f2f(sc, sc->rec_f2p));
                    slot_set_value(sc->rec_slot1, sc->rec_f3f(sc, sc->rec_f3p));
                    slot_set_value(sc->rec_slot1, recur_swap(sc, oprec_if_a_opa_la_laq_a(sc)));
                    set_car(sc->t3_2, oprec_if_a_opa_la_laq_a(sc));
                    set_car(sc->t3_3, recur_pop(sc));
                    set_car(sc->t3_1, recur_pop(sc));
                    return(sc->rec_call(sc, sc->t3_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x2f0(%rdi), %rsi
callq *0x360(%rdi)
cmpq 0x120(%rbx), %rax
je 0xd2c29
movq 0x2f8(%rbx), %rsi
movq %rbx, %rdi
callq *0x368(%rbx)
movq %rax, %r14
movq 0x2d0(%rbx), %rdx
cmpq 0x2d8(%rbx), %rdx
jne 0xd2ac9
movq 0x2e8(%rbx), %r15
leaq (%rdx,%rdx), %rax
movq %rax, 0x8(%r15)
movq 0x18(%r15), %rsi
shlq $0x4, %rdx
movq %rbx, %rdi
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq %rax, 0x18(%r15)
movq (%rax), %rax
movq %rax, 0x10(%r15)
movq 0x8(%r15), %rax
movq %rax, 0x2d8(%rbx)
movq 0x2d0(%rbx), %rdx
movq 0x2e8(%rbx), %rax
movq 0x10(%rax), %rax
movq %r14, (%rax,%rdx,8)
incq %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x300(%rbx), %rsi
movq %rbx, %rdi
callq *0x370(%rbx)
movq %rax, %r14
movq 0x2d0(%rbx), %rdx
cmpq 0x2d8(%rbx), %rdx
jne 0xd2b49
movq 0x2e8(%rbx), %r15
leaq (%rdx,%rdx), %rax
movq %rax, 0x8(%r15)
movq 0x18(%r15), %rsi
shlq $0x4, %rdx
movq %rbx, %rdi
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq %rax, 0x18(%r15)
movq (%rax), %rax
movq %rax, 0x10(%r15)
movq 0x8(%r15), %rax
movq %rax, 0x2d8(%rbx)
movq 0x2d0(%rbx), %rdx
movq 0x2e8(%rbx), %rax
movq 0x10(%rax), %rax
movq %r14, (%rax,%rdx,8)
incq %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x308(%rbx), %rsi
movq %rbx, %rdi
callq *0x378(%rbx)
movq 0x348(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq %rbx, %rdi
callq 0xd2a40
movq 0x2d0(%rbx), %rcx
movq 0x2e8(%rbx), %rdx
movq 0x10(%rdx), %rdx
movq -0x8(%rdx,%rcx,8), %rsi
movq %rax, -0x8(%rdx,%rcx,8)
movq 0x348(%rbx), %rax
movq %rsi, 0x10(%rax)
movq %rbx, %rdi
callq 0xd2a40
movq 0x588(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x2d0(%rbx), %rax
movq 0x2e8(%rbx), %rcx
leaq -0x1(%rax), %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x10(%rcx), %rcx
movq -0x8(%rcx,%rax,8), %rax
movq 0x590(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x2d0(%rbx), %rax
movq 0x2e8(%rbx), %rcx
leaq -0x1(%rax), %rdx
movq %rdx, 0x2d0(%rbx)
movq 0x10(%rcx), %rcx
movq -0x8(%rcx,%rax,8), %rcx
leaq 0x580(%rbx), %rax
movq 0x580(%rbx), %rdx
movq %rcx, 0x8(%rdx)
leaq 0x3b8(%rbx), %rcx
jmp 0xd2c37
leaq 0x3b0(%rbx), %rcx
leaq 0x340(%rbx), %rax
movq (%rcx), %rcx
movq (%rax), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rcx
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: opinit_cond_a_a_a_laa_opa_laaq
static void opinit_cond_a_a_a_laa_opa_laaq(s7_scheme *sc, bool cond)
                {
                    s7_pointer caller;
                    rec_set_test(sc, (cond) ? cadr(sc->code) : cdr(sc->code));
                    rec_set_res(sc, (cond) ? cdadr(sc->code) : cddr(sc->code));

                    sc->rec_f1p = (cond) ? caddr(sc->code) : cdr(cadddr(sc->code));
                    sc->rec_f2p = cdadr(sc->rec_f1p);
                    rec_set_f3(sc, cdr(sc->rec_f2p));

                    sc->rec_f1f = c_callee(sc->rec_f1p);
                    sc->rec_f1p = car(sc->rec_f1p);
                    sc->rec_f2f = c_callee(sc->rec_f2p);
                    sc->rec_f2p = car(sc->rec_f2p);

                    caller = opt3_pair(sc->code);          /* opA_LAA */

                    rec_set_f4(sc, cdr(caller));
                    sc->rec_f5p = cdr(opt3_pair(caller));  /* (L)AA */
                    rec_set_f6(sc, cdr(sc->rec_f5p));
                    sc->rec_f5f = c_callee(sc->rec_f5p);
                    sc->rec_f5p = car(sc->rec_f5p);
                    sc->rec_call = c_callee(caller);

                    sc->rec_slot1 = let_slots(sc->envir);
                    sc->rec_slot2 = next_slot(sc->rec_slot1);
                }

// Assembly:
movq (%rdi), %rax
leaq 0x10(%rax), %rcx
movq 0x10(%rax), %rdx
testl %esi, %esi
je 0xd3a98
movq 0x8(%rdx), %rdx
movq %rdx, 0x2f0(%rdi)
movq 0x20(%rdx), %r8
movq %r8, 0x360(%rdi)
movq 0x8(%rdx), %rdx
movq %rdx, 0x2f0(%rdi)
movq (%rcx), %rcx
addq $0x8, %rcx
jmp 0xd3ab5
movq %rdx, 0x2f0(%rdi)
movq 0x20(%rdx), %r8
movq %r8, 0x360(%rdi)
movq 0x8(%rdx), %rdx
movq %rdx, 0x2f0(%rdi)
movq (%rcx), %rcx
movq 0x10(%rcx), %rcx
movq %rcx, 0x340(%rdi)
movq 0x20(%rcx), %rdx
movq %rdx, 0x3b0(%rdi)
movq 0x8(%rcx), %rcx
movq %rcx, 0x340(%rdi)
testb %sil, %sil
je 0xd3aed
movl $0x8, %ecx
movl $0x10, %esi
movq %rax, %rdx
jmp 0xd3aff
movq 0x10(%rax), %rcx
movq 0x10(%rcx), %rdx
movl $0x10, %ecx
movl $0x8, %esi
movq 0x10(%rdx), %rdx
movq (%rdx,%rsi), %rdx
movq (%rdx,%rcx), %rcx
movq %rcx, 0x2f8(%rdi)
movq 0x10(%rcx), %rdx
movq 0x8(%rdx), %rdx
movq 0x10(%rdx), %rdx
movq %rdx, 0x300(%rdi)
movq 0x10(%rdx), %rsi
movq %rsi, 0x308(%rdi)
movq 0x20(%rsi), %r8
movq %r8, 0x378(%rdi)
movq 0x8(%rsi), %rsi
movq %rsi, 0x308(%rdi)
movq 0x20(%rcx), %rsi
movq %rsi, 0x368(%rdi)
movq 0x8(%rcx), %rcx
movq %rcx, 0x2f8(%rdi)
movq 0x20(%rdx), %rcx
movq %rcx, 0x370(%rdi)
movq 0x8(%rdx), %rcx
movq %rcx, 0x300(%rdi)
movq 0x28(%rax), %rax
movq 0x10(%rax), %rcx
movq %rcx, 0x310(%rdi)
movq 0x20(%rcx), %rdx
movq %rdx, 0x380(%rdi)
movq 0x8(%rcx), %rcx
movq %rcx, 0x310(%rdi)
movq 0x28(%rax), %rcx
movq 0x10(%rcx), %rcx
movq %rcx, 0x318(%rdi)
movq 0x10(%rcx), %rdx
movq %rdx, 0x320(%rdi)
movq 0x20(%rdx), %rsi
movq %rsi, 0x390(%rdi)
movq 0x8(%rdx), %rdx
movq %rdx, 0x320(%rdi)
movq 0x20(%rcx), %rdx
movq %rdx, 0x388(%rdi)
movq 0x8(%rcx), %rcx
movq %rcx, 0x318(%rdi)
movq 0x20(%rax), %rax
movq %rax, 0x3b8(%rdi)
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq %rax, 0x348(%rdi)
movq 0x18(%rax), %rax
movq %rax, 0x350(%rdi)
retq