LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_num_eq_add_ss
static s7_pointer fx_num_eq_add_ss(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs, x, y, z;
                    largs = cdaddr(arg);
                    x = lookup(sc, car(largs));
                    y = lookup(sc, cadr(largs));
                    z = lookup(sc, cadr(arg));
                    if ((is_t_integer(x)) && (is_t_integer(y)) && (is_t_integer(z)))
                        return(make_boolean(sc, (integer(x) + integer(y)) == integer(z)));
                    return(num_eq_p_pp(sc, z, add_p_pp(sc, x, y)));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rdi
movq 0x10(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x8(%rdx), %rsi
movq 0x8(%rbx), %rax
movq 0x18(%rax), %rcx
movq 0x20(%rsi), %r9
cmpq %r9, %rcx
je 0xb39c1
movq %rax, %r8
movq %rcx, %r10
jle 0xb39b8
movq %rax, %r8
movq 0x10(%r8), %r8
movq 0x18(%r8), %r10
cmpq %r10, %r9
jl 0xb39ab
cmpq %r9, %r10
jne 0xb3a7e
movq 0x18(%rsi), %r9
movq 0x10(%r9), %rsi
movq 0x10(%rdx), %rdx
movq 0x8(%rdx), %rdx
movq 0x20(%rdx), %r9
cmpq %r9, %rcx
je 0xb39fb
movq %rax, %r8
movq %rcx, %r10
jle 0xb39f2
movq %rax, %r8
movq 0x10(%r8), %r8
movq 0x18(%r8), %r10
cmpq %r10, %r9
jl 0xb39e5
cmpq %r9, %r10
jne 0xb3aa3
movq 0x18(%rdx), %r9
movq 0x10(%r9), %rdx
movq 0x8(%rdi), %rdi
movq 0x20(%rdi), %r8
cmpq %r8, %rcx
je 0xb3a28
jle 0xb3a1f
movq 0x10(%rax), %rax
movq 0x18(%rax), %rcx
cmpq %rcx, %r8
jl 0xb3a12
cmpq %r8, %rcx
jne 0xb3ac8
movq 0x18(%rdi), %rcx
movq 0x10(%rcx), %r14
cmpb $0xb, (%rsi)
jne 0xb3a61
cmpb $0xb, (%rdx)
jne 0xb3a61
cmpb $0xb, (%r14)
jne 0xb3a61
movq 0x8(%rdx), %rax
addq 0x8(%rsi), %rax
xorl %ecx, %ecx
cmpq 0x8(%r14), %rax
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq %rbx, %rdi
callq 0x869cc
movq %rbx, %rdi
movq %r14, %rsi
movq %rax, %rdx
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x895ed
cmpb $0x1c, (%r8)
jne 0xb3aec
movq 0x8(%r8), %r9
testq %r9, %r9
je 0xb3a9d
cmpq %rsi, 0x8(%r9)
je 0xb39c5
movq 0x18(%r9), %r9
jmp 0xb3a88
movq 0x10(%r8), %r8
jmp 0xb3a7e
cmpb $0x1c, (%r8)
jne 0xb3b01
movq 0x8(%r8), %r9
testq %r9, %r9
je 0xb3ac2
cmpq %rdx, 0x8(%r9)
je 0xb39ff
movq 0x18(%r9), %r9
jmp 0xb3aad
movq 0x10(%r8), %r8
jmp 0xb3aa3
cmpb $0x1c, (%rax)
jne 0xb3b16
movq 0x8(%rax), %rcx
testq %rcx, %rcx
je 0xb3ae6
cmpq %rdi, 0x8(%rcx)
je 0xb3a2c
movq 0x18(%rcx), %rcx
jmp 0xb3ad1
movq 0x10(%rax), %rax
jmp 0xb3ac8
movq 0x10(%rsi), %r9
cmpb $0x20, (%r9)
je 0xb39c5
xorl %esi, %esi
jmp 0xb39c9
movq 0x10(%rdx), %r9
cmpb $0x20, (%r9)
je 0xb39ff
xorl %edx, %edx
jmp 0xb3a03
movq 0x10(%rdi), %rcx
cmpb $0x20, (%rcx)
je 0xb3a2c
xorl %r14d, %r14d
jmp 0xb3a30
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_g_opgsq_direct
static s7_pointer fx_c_g_opgsq_direct(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    arg = cdr(arg);
                    largs = cdadr(arg);
                    return(((s7_p_pp_t)opt2_direct(arg))(sc, lookup_global(sc, car(arg)),
                                ((s7_p_pp_t)opt3_direct(arg))(sc, lookup_global(sc, car(largs)), lookup(sc, opt2_sym(largs)))));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %r12
movq 0x8(%r12), %rsi
movq 0x10(%r12), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r15
movq 0x20(%r12), %r13
testb $0x1, 0x2(%rsi)
jne 0xb3f16
movq 0x8(%rbx), %rax
movq 0x18(%rax), %rdx
movq 0x20(%rsi), %rcx
cmpq %rcx, %rdx
je 0xb3efc
jle 0xb3ef3
movq 0x10(%rax), %rax
movq 0x18(%rax), %rdx
cmpq %rdx, %rcx
jl 0xb3ee6
cmpq %rcx, %rdx
jne 0xb3fe9
movq 0x18(%rsi), %rcx
movq 0x10(%rcx), %r14
testq %r14, %r14
jne 0xb3f1e
movq %rbx, %rdi
callq 0x9c492
movq %rax, %r14
jmp 0xb3f1e
movq 0x10(%rsi), %rax
movq 0x10(%rax), %r14
movq 0x28(%r12), %r12
movq 0x8(%r15), %rax
testb $0x1, 0x2(%rax)
jne 0xb3f73
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb3f56
jle 0xb3f4d
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb3f40
cmpq %rdx, %rsi
jne 0xb400d
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rsi
testq %rsi, %rsi
jne 0xb3f7b
movq %rbx, %rdi
movq %rax, %rsi
callq 0x9c492
movq %rax, %rsi
jmp 0xb3f7b
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 0xb3fa4
jle 0xb3f9f
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdi
cmpq %rdi, %rdx
jl 0xb3f92
cmpq %rdx, %rdi
jne 0xb3fc9
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rdx
movq %rbx, %rdi
callq *%r12
movq %rbx, %rdi
movq %r14, %rsi
movq %rax, %rdx
movq %r13, %rax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%rcx)
jne 0xb4031
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb3fe3
cmpq %rax, 0x8(%rdx)
je 0xb3fa8
movq 0x18(%rdx), %rdx
jmp 0xb3fd2
movq 0x10(%rcx), %rcx
jmp 0xb3fc9
cmpb $0x1c, (%rax)
jne 0xb4045
movq 0x8(%rax), %rcx
testq %rcx, %rcx
je 0xb4007
cmpq %rsi, 0x8(%rcx)
je 0xb3f00
movq 0x18(%rcx), %rcx
jmp 0xb3ff2
movq 0x10(%rax), %rax
jmp 0xb3fe9
cmpb $0x1c, (%rcx)
jne 0xb4057
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb402b
cmpq %rax, 0x8(%rdx)
je 0xb3f5a
movq 0x18(%rdx), %rdx
jmp 0xb4016
movq 0x10(%rcx), %rcx
jmp 0xb400d
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb3fa8
xorl %edx, %edx
jmp 0xb3fac
movq 0x10(%rsi), %rcx
cmpb $0x20, (%rcx)
je 0xb3f00
jmp 0xb3f09
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb3f5a
jmp 0xb3f63
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_opssq_direct
static s7_pointer fx_c_s_opssq_direct(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    arg = cdr(arg);
                    largs = cdadr(arg);
                    return(((s7_p_pp_t)opt2_direct(arg))(sc, lookup(sc, car(arg)),
                                ((s7_p_pp_t)opt3_direct(arg))(sc, lookup(sc, car(largs)), lookup(sc, opt2_sym(largs)))));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rdx
movq 0x8(%rdx), %rsi
movq 0x10(%rdx), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rdi
movq 0x8(%rbx), %rax
movq 0x18(%rax), %rcx
movq 0x20(%rsi), %r9
cmpq %r9, %rcx
je 0xb40b7
movq %rax, %r8
movq %rcx, %r10
jle 0xb40ae
movq %rax, %r8
movq 0x10(%r8), %r8
movq 0x18(%r8), %r10
cmpq %r10, %r9
jl 0xb40a1
cmpq %r9, %r10
jne 0xb413b
movq 0x18(%rsi), %r9
movq 0x10(%r9), %r14
movq 0x8(%rdi), %rsi
movq 0x20(%rsi), %r9
cmpq %r9, %rcx
je 0xb40e9
movq %rax, %r8
movq %rcx, %r10
jle 0xb40e4
movq %rax, %r8
movq 0x10(%r8), %r8
movq 0x18(%r8), %r10
cmpq %r10, %r9
jl 0xb40d7
cmpq %r9, %r10
jne 0xb4160
movq 0x18(%rsi), %r9
movq 0x10(%r9), %rsi
movq 0x20(%rdx), %r15
movq 0x28(%rdx), %r8
movq 0x20(%rdi), %rdx
movq 0x20(%rdx), %rdi
cmpq %rdi, %rcx
je 0xb411a
jle 0xb4115
movq 0x10(%rax), %rax
movq 0x18(%rax), %rcx
cmpq %rcx, %rdi
jl 0xb4108
cmpq %rdi, %rcx
jne 0xb4185
movq 0x18(%rdx), %rcx
movq 0x10(%rcx), %rdx
movq %rbx, %rdi
callq *%r8
movq %rbx, %rdi
movq %r14, %rsi
movq %rax, %rdx
movq %r15, %rax
popq %rbx
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%r8)
jne 0xb41a5
movq 0x8(%r8), %r9
testq %r9, %r9
je 0xb415a
cmpq %rsi, 0x8(%r9)
je 0xb40bb
movq 0x18(%r9), %r9
jmp 0xb4145
movq 0x10(%r8), %r8
jmp 0xb413b
cmpb $0x1c, (%r8)
jne 0xb41bb
movq 0x8(%r8), %r9
testq %r9, %r9
je 0xb417f
cmpq %rsi, 0x8(%r9)
je 0xb40ed
movq 0x18(%r9), %r9
jmp 0xb416a
movq 0x10(%r8), %r8
jmp 0xb4160
cmpb $0x1c, (%rax)
jne 0xb41d0
movq 0x8(%rax), %rcx
testq %rcx, %rcx
je 0xb419f
cmpq %rdx, 0x8(%rcx)
je 0xb411e
movq 0x18(%rcx), %rcx
jmp 0xb418e
movq 0x10(%rax), %rax
jmp 0xb4185
movq 0x10(%rsi), %r9
cmpb $0x20, (%r9)
je 0xb40bb
xorl %r14d, %r14d
jmp 0xb40bf
movq 0x10(%rsi), %r9
cmpb $0x20, (%r9)
je 0xb40ed
xorl %esi, %esi
jmp 0xb40f1
movq 0x10(%rdx), %rcx
cmpb $0x20, (%rcx)
je 0xb411e
xorl %edx, %edx
jmp 0xb4122
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_opssq
static s7_pointer fx_c_s_opssq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = caddr(arg);
                    set_car(sc->t2_1, lookup(sc, cadr(largs)));
                    set_car(sc->t2_2, lookup(sc, opt2_sym(cdr(largs))));
                    set_car(sc->t2_2, c_call(largs)(sc, sc->t2_1));
                    set_car(sc->t2_1, lookup(sc, cadr(arg)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb422b
jle 0xb4222
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb4215
cmpq %rsi, %rdi
jne 0xb42f1
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x10(%rax), %rcx
movq 0x20(%rcx), %rcx
movq 0x8(%rbx), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb426f
jle 0xb4266
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb4259
cmpq %rsi, %rdi
jne 0xb4315
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 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 0xb42c7
jle 0xb42c2
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb42b5
cmpq %rdx, %rsi
jne 0xb4339
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xb435d
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb430f
cmpq %rcx, 0x8(%rsi)
je 0xb422f
movq 0x18(%rsi), %rsi
jmp 0xb42fa
movq 0x10(%rdx), %rdx
jmp 0xb42f1
cmpb $0x1c, (%rdx)
jne 0xb4371
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb4333
cmpq %rcx, 0x8(%rsi)
je 0xb4273
movq 0x18(%rsi), %rsi
jmp 0xb431e
movq 0x10(%rdx), %rdx
jmp 0xb4315
cmpb $0x1c, (%rcx)
jne 0xb4385
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb4357
cmpq %rax, 0x8(%rdx)
je 0xb42cb
movq 0x18(%rdx), %rdx
jmp 0xb4342
movq 0x10(%rcx), %rcx
jmp 0xb4339
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb422f
xorl %ecx, %ecx
jmp 0xb4233
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb4273
xorl %ecx, %ecx
jmp 0xb4277
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb42cb
xorl %eax, %eax
jmp 0xb42cf
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opssq_s_direct
static s7_pointer fx_c_opssq_s_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(sc, car(largs)), lookup(sc, opt2_sym(largs))),
                                lookup(sc, caddr(arg))));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rcx
movq 0x10(%rcx), %rdi
movq 0x8(%rdi), %rsi
movq 0x8(%rbx), %rcx
movq 0x18(%rcx), %rdx
movq 0x20(%rsi), %r9
cmpq %r9, %rdx
je 0xb43e6
movq %rcx, %r8
movq %rdx, %r10
jle 0xb43dd
movq %rcx, %r8
movq 0x10(%r8), %r8
movq 0x18(%r8), %r10
cmpq %r10, %r9
jl 0xb43d0
cmpq %r9, %r10
jne 0xb4472
movq 0x18(%rsi), %r9
movq 0x10(%r9), %rsi
movq 0x28(%rax), %r8
movq 0x20(%rdi), %rdi
movq 0x20(%rdi), %r9
cmpq %r9, %rdx
je 0xb4417
jle 0xb440e
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdx
cmpq %rdx, %r9
jl 0xb4401
cmpq %r9, %rdx
jne 0xb4497
movq 0x18(%rdi), %rdx
movq 0x10(%rdx), %rdx
movq 0x20(%rax), %r15
movq %rbx, %rdi
callq *%r8
movq 0x10(%r14), %rcx
movq 0x10(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rbx), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb445a
jle 0xb4455
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb4448
cmpq %rsi, %rdi
jne 0xb44bb
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rdx
movq %rbx, %rdi
movq %rax, %rsi
movq %r15, %rax
popq %rbx
popq %r14
popq %r15
jmpq *%rax
cmpb $0x1c, (%r8)
jne 0xb44db
movq 0x8(%r8), %r9
testq %r9, %r9
je 0xb4491
cmpq %rsi, 0x8(%r9)
je 0xb43ea
movq 0x18(%r9), %r9
jmp 0xb447c
movq 0x10(%r8), %r8
jmp 0xb4472
cmpb $0x1c, (%rcx)
jne 0xb44f0
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb44b5
cmpq %rdi, 0x8(%rdx)
je 0xb441b
movq 0x18(%rdx), %rdx
jmp 0xb44a0
movq 0x10(%rcx), %rcx
jmp 0xb4497
cmpb $0x1c, (%rdx)
jne 0xb4504
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb44d5
cmpq %rcx, 0x8(%rsi)
je 0xb445e
movq 0x18(%rsi), %rsi
jmp 0xb44c4
movq 0x10(%rdx), %rdx
jmp 0xb44bb
movq 0x10(%rsi), %r9
cmpb $0x20, (%r9)
je 0xb43ea
xorl %esi, %esi
jmp 0xb43ee
movq 0x10(%rdi), %rdx
cmpb $0x20, (%rdx)
je 0xb441b
xorl %edx, %edx
jmp 0xb441f
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb445e
xorl %edx, %edx
jmp 0xb4462
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opssq_s
static s7_pointer fx_c_opssq_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    set_car(sc->t2_1, lookup(sc, cadr(largs)));
                    set_car(sc->t2_2, lookup(sc, opt2_sym(cdr(largs))));
                    set_car(sc->t2_1, c_call(largs)(sc, sc->t2_1));
                    set_car(sc->t2_2, lookup(sc, caddr(arg)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb455b
jle 0xb4552
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb4545
cmpq %rsi, %rdi
jne 0xb4625
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x10(%rax), %rcx
movq 0x20(%rcx), %rcx
movq 0x8(%rbx), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb459f
jle 0xb4596
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb4589
cmpq %rsi, %rdi
jne 0xb4649
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 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 0xb45fb
jle 0xb45f6
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb45e9
cmpq %rdx, %rsi
jne 0xb466d
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xb4691
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb4643
cmpq %rcx, 0x8(%rsi)
je 0xb455f
movq 0x18(%rsi), %rsi
jmp 0xb462e
movq 0x10(%rdx), %rdx
jmp 0xb4625
cmpb $0x1c, (%rdx)
jne 0xb46a5
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb4667
cmpq %rcx, 0x8(%rsi)
je 0xb45a3
movq 0x18(%rsi), %rsi
jmp 0xb4652
movq 0x10(%rdx), %rdx
jmp 0xb4649
cmpb $0x1c, (%rcx)
jne 0xb46b9
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb468b
cmpq %rax, 0x8(%rdx)
je 0xb45ff
movq 0x18(%rdx), %rdx
jmp 0xb4676
movq 0x10(%rcx), %rcx
jmp 0xb466d
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb455f
xorl %ecx, %ecx
jmp 0xb4563
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb45a3
xorl %ecx, %ecx
jmp 0xb45a7
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb45ff
xorl %eax, %eax
jmp 0xb4603
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_pair_car_s
static s7_pointer fx_is_pair_car_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if (is_pair(p))
                        return(make_boolean(sc, is_pair(car(p))));

                    if (has_active_methods(sc, p))
                    {
                        s7_pointer func;
                        func = find_method(sc, p, sc->car_symbol);
                        if (func != sc->undefined)
                            return(make_boolean(sc, is_pair(s7_apply_function(sc, func, list_1(sc, p)))));
                    }
                    return(wrong_type_argument(sc, sc->car_symbol, 1, p, T_PAIR));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb4abf
jle 0xb4aba
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb4aad
cmpq %rdx, %rsi
jne 0xb4aed
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %r14
cmpb $0x1, (%r14)
jne 0xb4b11
movq 0x8(%r14), %rax
xorl %ecx, %ecx
cmpb $0x1, (%rax)
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
cmpb $0x1c, (%rcx)
jne 0xb4bc9
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb4b0b
cmpq %rax, 0x8(%rdx)
je 0xb4ac3
movq 0x18(%rdx), %rdx
jmp 0xb4afa
movq 0x10(%rcx), %rcx
jmp 0xb4aed
testb $0x40, 0x3(%r14)
je 0xb4b93
cmpb $0x1, 0x24c(%rbx)
jne 0xb4b93
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x89ff
cmpq 0x128(%rbx), %rax
je 0xb4b93
movq %rax, %r15
movq 0x90(%rbx), %rax
movq 0x110(%rbx), %r12
cmpq 0x98(%rbx), %rax
ja 0xb4b65
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rdx
movq $0x200001, (%rdx)       # imm = 0x200001
movq %r14, 0x8(%rdx)
movq %r12, 0x10(%rdx)
movq %rbx, %rdi
movq %r15, %rsi
callq 0xaee6
jmp 0xb4ad1
movq 0xd20(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x91db3(%rip), %rdx     # 0x146958
movq 0x140(%rbx), %r8
movq 0x95eb5(%rip), %r9      # 0x14aa68
movq %rbx, %rdi
movq %r14, %rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0xa4e4
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb4ac3
xorl %r14d, %r14d
jmp 0xb4ac7
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_pair_cdr_s
static s7_pointer fx_is_pair_cdr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if (is_pair(p))
                        return(make_boolean(sc, is_pair(cdr(p))));
                    return(g_is_pair(sc, set_plist_1(sc, g_cdr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb4c0f
jle 0xb4c0a
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb4bfd
cmpq %rdx, %rsi
jne 0xb4c32
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
cmpb $0x1, (%rax)
jne 0xb4c52
movq 0x10(%rax), %rax
xorl %ecx, %ecx
cmpb $0x1, (%rax)
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
cmpb $0x1c, (%rcx)
jne 0xb4ca3
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb4c4c
cmpq %rax, 0x8(%rdx)
je 0xb4c13
movq 0x18(%rdx), %rdx
jmp 0xb4c3b
movq 0x10(%rcx), %rcx
jmp 0xb4c32
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xb4c73
movq 0x10(%rsi), %rax
jmp 0xb4c8f
movq 0xda0(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x95069
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5e103
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb4c13
xorl %eax, %eax
jmp 0xb4c17
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_pair_cadr_s
static s7_pointer fx_is_pair_cadr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if ((is_pair(p)) && (is_pair(cdr(p))))
                        return(make_boolean(sc, is_pair(cadr(p))));
                    return(g_is_pair(sc, set_plist_1(sc, g_cadr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb4ce8
jle 0xb4ce3
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb4cd6
cmpq %rdx, %rsi
jne 0xb4d49
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
cmpb $0x1, (%rax)
jne 0xb4d14
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0xb4d14
movq 0x8(%rcx), %rax
xorl %ecx, %ecx
cmpb $0x1, (%rax)
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x7447b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5e103
cmpb $0x1c, (%rcx)
jne 0xb4d69
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb4d63
cmpq %rax, 0x8(%rdx)
je 0xb4cec
movq 0x18(%rdx), %rdx
jmp 0xb4d52
movq 0x10(%rcx), %rcx
jmp 0xb4d49
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb4cec
xorl %eax, %eax
jmp 0xb4cf0
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_pair_cddr_s
static s7_pointer fx_is_pair_cddr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if ((is_pair(p)) && (is_pair(cdr(p))))
                        return(make_boolean(sc, is_pair(cddr(p))));
                    return(g_is_pair(sc, set_plist_1(sc, g_cddr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb4dae
jle 0xb4da9
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb4d9c
cmpq %rdx, %rsi
jne 0xb4e0f
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
cmpb $0x1, (%rax)
jne 0xb4dda
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0xb4dda
movq 0x10(%rcx), %rax
xorl %ecx, %ecx
cmpb $0x1, (%rax)
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x7451b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5e103
cmpb $0x1c, (%rcx)
jne 0xb4e2f
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb4e29
cmpq %rax, 0x8(%rdx)
je 0xb4db2
movq 0x18(%rdx), %rdx
jmp 0xb4e18
movq 0x10(%rcx), %rcx
jmp 0xb4e0f
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb4db2
xorl %eax, %eax
jmp 0xb4db6
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_null_cdr_s
static s7_pointer fx_is_null_cdr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if (is_pair(p))
                        return(make_boolean(sc, is_null(cdr(p))));
                    return(g_is_null(sc, set_plist_1(sc, g_cdr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb4e74
jle 0xb4e6f
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb4e62
cmpq %rdx, %rsi
jne 0xb4e9b
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
cmpb $0x1, (%rax)
jne 0xb4ebb
movq 0x10(%rax), %rax
xorl %ecx, %ecx
cmpq 0x110(%rbx), %rax
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
cmpb $0x1c, (%rcx)
jne 0xb4f0c
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb4eb5
cmpq %rax, 0x8(%rdx)
je 0xb4e78
movq 0x18(%rdx), %rdx
jmp 0xb4ea4
movq 0x10(%rcx), %rcx
jmp 0xb4e9b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xb4edc
movq 0x10(%rsi), %rax
jmp 0xb4ef8
movq 0xda0(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x95069
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5eccc
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb4e78
xorl %eax, %eax
jmp 0xb4e7c
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_null_cadr_s
static s7_pointer fx_is_null_cadr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if ((is_pair(p)) && (is_pair(cdr(p))))
                        return(make_boolean(sc, is_null(cadr(p))));
                    return(g_is_null(sc, set_plist_1(sc, g_cadr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb4f51
jle 0xb4f4c
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb4f3f
cmpq %rdx, %rsi
jne 0xb4fb6
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
cmpb $0x1, (%rax)
jne 0xb4f81
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0xb4f81
movq 0x8(%rcx), %rax
xorl %ecx, %ecx
cmpq 0x110(%rbx), %rax
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x7447b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5eccc
cmpb $0x1c, (%rcx)
jne 0xb4fd6
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb4fd0
cmpq %rax, 0x8(%rdx)
je 0xb4f55
movq 0x18(%rdx), %rdx
jmp 0xb4fbf
movq 0x10(%rcx), %rcx
jmp 0xb4fb6
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb4f55
xorl %eax, %eax
jmp 0xb4f59
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_null_cddr_s
static s7_pointer fx_is_null_cddr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if ((is_pair(p)) && (is_pair(cdr(p))))
                        return(make_boolean(sc, is_null(cddr(p))));
                    return(g_is_null(sc, set_plist_1(sc, g_cddr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb501b
jle 0xb5016
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb5009
cmpq %rdx, %rsi
jne 0xb5080
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
cmpb $0x1, (%rax)
jne 0xb504b
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0xb504b
movq 0x10(%rcx), %rax
xorl %ecx, %ecx
cmpq 0x110(%rbx), %rax
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x7451b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5eccc
cmpb $0x1c, (%rcx)
jne 0xb50a0
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb509a
cmpq %rax, 0x8(%rdx)
je 0xb501f
movq 0x18(%rdx), %rdx
jmp 0xb5089
movq 0x10(%rcx), %rcx
jmp 0xb5080
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb501f
xorl %eax, %eax
jmp 0xb5023
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_symbol_cadr_s
static s7_pointer fx_is_symbol_cadr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if ((is_pair(p)) && (is_pair(cdr(p))))
                        return(make_boolean(sc, is_symbol(cadr(p))));
                    return(g_is_symbol(sc, set_plist_1(sc, g_cadr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb50e5
jle 0xb50e0
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb50d3
cmpq %rdx, %rsi
jne 0xb5146
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
cmpb $0x1, (%rax)
jne 0xb5111
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0xb5111
movq 0x8(%rcx), %rax
xorl %ecx, %ecx
cmpb $0xa, (%rax)
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x7447b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5c790
cmpb $0x1c, (%rcx)
jne 0xb5166
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb5160
cmpq %rax, 0x8(%rdx)
je 0xb50e9
movq 0x18(%rdx), %rdx
jmp 0xb514f
movq 0x10(%rcx), %rcx
jmp 0xb5146
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb50e9
xorl %eax, %eax
jmp 0xb50ed
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_not_opsq
static s7_pointer fx_not_opsq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    set_car(sc->t1_1, lookup(sc, cadr(largs)));
                    if (c_call(largs)(sc, sc->t1_1) == sc->F) return(sc->T);
                    return(sc->F);
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb52f6
jle 0xb52f1
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb52e4
cmpq %rsi, %rdi
jne 0xb532e
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x568(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq %rax, %rcx
movq 0x120(%rbx), %rax
cmpq %rax, %rcx
jne 0xb532c
movq 0x118(%rbx), %rax
popq %rbx
retq
cmpb $0x1c, (%rdx)
jne 0xb534e
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb5348
cmpq %rcx, 0x8(%rsi)
je 0xb52fa
movq 0x18(%rsi), %rsi
jmp 0xb5337
movq 0x10(%rdx), %rdx
jmp 0xb532e
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb52fa
xorl %ecx, %ecx
jmp 0xb52fe
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_weak1_type_s
static s7_pointer fx_c_weak1_type_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    val = lookup(sc, opt2_sym(cdr(arg)));
                    if (is_c_pointer(val))                /* (let? (c-pointer-weak1 val)) etc */
                        return(make_boolean(sc, (uint8_t)(opt3_byte(cdr(arg))) == type(c_pointer_weak1(val))));

                    if (has_active_methods(sc, val))
                    {
                        s7_pointer func;
                        func = find_method(sc, val, sc->c_pointer_weak1_symbol);
                        if (func != sc->undefined)
                            return(make_boolean(sc, type(s7_apply_function(sc, func, list_1(sc, val))) == (uint8_t)opt3_byte(cdr(arg))));
                    }
                    return(wrong_type_argument(sc, sc->c_pointer_weak1_symbol, 1, val, T_C_POINTER));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb5397
jle 0xb5392
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb5385
cmpq %rsi, %rdi
jne 0xb53c5
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %r15
cmpb $0x21, (%r15)
jne 0xb53e9
movb 0x28(%rax), %al
movq 0x20(%r15), %rcx
xorl %edx, %edx
cmpb (%rcx), %al
setne %dl
movq 0x118(%rbx,%rdx,8), %rax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
cmpb $0x1c, (%rdx)
jne 0xb54ae
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb53e3
cmpq %rcx, 0x8(%rsi)
je 0xb539b
movq 0x18(%rsi), %rsi
jmp 0xb53d2
movq 0x10(%rdx), %rdx
jmp 0xb53c5
testb $0x40, 0x3(%r15)
je 0xb547a
cmpb $0x1, 0x24c(%rbx)
jne 0xb547a
movq 0xc68(%rbx), %rdx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x89ff
cmpq 0x128(%rbx), %rax
je 0xb547a
movq %rax, %r12
movq 0x90(%rbx), %rax
movq 0x110(%rbx), %r13
cmpq 0x98(%rbx), %rax
ja 0xb5441
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rdx
movq $0x200001, (%rdx)       # imm = 0x200001
movq %r15, 0x8(%rdx)
movq %r13, 0x10(%rdx)
movq %rbx, %rdi
movq %r12, %rsi
callq 0xaee6
movb (%rax), %al
movq 0x10(%r14), %rcx
xorl %edx, %edx
cmpb 0x28(%rcx), %al
jmp 0xb53b0
movq 0xc68(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x914cc(%rip), %rdx     # 0x146958
movq 0x140(%rbx), %r8
movq 0x956ce(%rip), %r9      # 0x14ab68
movq %rbx, %rdi
movq %r15, %rcx
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0xa4e4
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb539b
xorl %r15d, %r15d
jmp 0xb539f
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_type_car_s
static s7_pointer fx_is_type_car_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    val = lookup(sc, opt2_sym(cdr(arg)));
                    if (is_pair(val))
                        return(make_boolean(sc, (uint8_t)(opt3_byte(cdr(arg))) == type(car(val))));
                    return(make_boolean(sc, (uint8_t)(opt3_byte(cdr(arg))) == type(g_car(sc, set_plist_1(sc, val)))));
                }

// Assembly:
pushq %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb54f6
jle 0xb54f1
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb54e4
cmpq %rsi, %rdi
jne 0xb550d
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
cmpb $0x1, (%rcx)
movb 0x28(%rax), %bpl
jne 0xb552d
movq 0x8(%rcx), %rax
jmp 0xb5563
cmpb $0x1c, (%rdx)
jne 0xb557a
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb5527
cmpq %rcx, 0x8(%rsi)
je 0xb54fa
movq 0x18(%rsi), %rsi
jmp 0xb5516
movq 0x10(%rdx), %rdx
jmp 0xb550d
movq 0x700(%rbx), %rax
movq %rcx, 0x8(%rax)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xb554e
movq 0x8(%rsi), %rax
jmp 0xb5563
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x95069
xorl %ecx, %ecx
cmpb (%rax), %bpl
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb54fa
xorl %ecx, %ecx
jmp 0xb54fe
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_car_s
static s7_pointer fx_c_car_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    val = lookup(sc, opt2_sym(cdr(arg)));
                    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 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb5668
jle 0xb5663
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb5656
cmpq %rdx, %rsi
jne 0xb567b
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
cmpb $0x1, (%rax)
jne 0xb569b
movq 0x8(%rax), %rax
jmp 0xb56d1
cmpb $0x1c, (%rcx)
jne 0xb56f3
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb5695
cmpq %rax, 0x8(%rdx)
je 0xb566c
movq 0x18(%rdx), %rdx
jmp 0xb5684
movq 0x10(%rcx), %rcx
jmp 0xb567b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xb56bc
movq 0x8(%rsi), %rax
jmp 0xb56d1
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
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb566c
xorl %eax, %eax
jmp 0xb5670
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_cdr_s
static s7_pointer fx_c_cdr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    val = lookup(sc, opt2_sym(cdr(arg)));
                    set_car(sc->t1_1, (is_pair(val)) ? cdr(val) : g_cdr(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 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb573e
jle 0xb5739
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb572c
cmpq %rdx, %rsi
jne 0xb5751
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rax
cmpb $0x1, (%rax)
jne 0xb5771
movq 0x10(%rax), %rax
jmp 0xb57a7
cmpb $0x1c, (%rcx)
jne 0xb57c9
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb576b
cmpq %rax, 0x8(%rdx)
je 0xb5742
movq 0x18(%rdx), %rdx
jmp 0xb575a
movq 0x10(%rcx), %rcx
jmp 0xb5751
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xb5792
movq 0x10(%rsi), %rax
jmp 0xb57a7
movq 0xda0(%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
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb5742
xorl %eax, %eax
jmp 0xb5746
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opsq
static s7_pointer fx_c_opsq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    set_car(sc->t1_1, lookup(sc, cadr(largs)));
                    set_car(sc->t1_1, c_call(largs)(sc, sc->t1_1));
                    return(c_call(arg)(sc, sc->t1_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb581c
jle 0xb5817
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb580a
cmpq %rsi, %rdi
jne 0xb585e
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x568(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x568(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
cmpb $0x1c, (%rdx)
jne 0xb587e
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb5878
cmpq %rcx, 0x8(%rsi)
je 0xb5820
movq 0x18(%rsi), %rsi
jmp 0xb5867
movq 0x10(%rdx), %rdx
jmp 0xb585e
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb5820
xorl %ecx, %ecx
jmp 0xb5824
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_add_s1
static s7_pointer fx_add_s1(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    x = lookup(sc, cadr(arg));
                    if (is_t_integer(x))
                        return(make_integer(sc, integer(x) + 1));
                    return(g_add_x1_1(sc, x, cdr(arg))); /* arg=(+ x 1) */
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rdx
movq 0x8(%rdx), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rdi
movq 0x20(%rax), %rsi
cmpq %rsi, %rdi
je 0xb5933
jle 0xb592e
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdi
cmpq %rdi, %rsi
jl 0xb5921
cmpq %rsi, %rdi
jne 0xb595f
movq 0x18(%rax), %rsi
movq 0x10(%rsi), %rsi
cmpb $0xb, (%rsi)
jne 0xb597f
movq 0x8(%rsi), %rax
leaq 0x1(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0xb598e
leaq 0x90ff8(%rip), %rcx     # 0x146950
movq 0x8(%rcx,%rax,8), %rax
jmp 0xb59c7
cmpb $0x1c, (%rcx)
jne 0xb59cf
movq 0x8(%rcx), %rsi
testq %rsi, %rsi
je 0xb5979
cmpq %rax, 0x8(%rsi)
je 0xb5937
movq 0x18(%rsi), %rsi
jmp 0xb5968
movq 0x10(%rcx), %rcx
jmp 0xb595f
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0xb9ddd
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xb59ad
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq 0x10(%rax), %rsi
cmpb $0x20, (%rsi)
je 0xb5937
xorl %esi, %esi
jmp 0xb593b
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_add_si
static s7_pointer fx_add_si(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    x = lookup(sc, cadr(arg));
                    if (is_t_integer(x))
                        return(make_integer(sc, integer(x) + integer(opt2_con(cdr(arg)))));
                    return(add_p_pp(sc, x, caddr(arg)));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb5a17
jle 0xb5a12
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb5a05
cmpq %rsi, %rdi
jne 0xb5a46
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rsi
cmpb $0xb, (%rsi)
jne 0xb5a66
movq 0x20(%rax), %rax
movq 0x8(%rax), %r14
addq 0x8(%rsi), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0xb5a7d
leaq 0x90f10(%rip), %rax     # 0x146950
movq (%rax,%r14,8), %rax
jmp 0xb5ab6
cmpb $0x1c, (%rdx)
jne 0xb5abe
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb5a60
cmpq %rcx, 0x8(%rsi)
je 0xb5a1b
movq 0x18(%rsi), %rsi
jmp 0xb5a4f
movq 0x10(%rdx), %rdx
jmp 0xb5a46
movq 0x10(%rax), %rax
movq 0x8(%rax), %rdx
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x869cc
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xb5a9c
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb5a1b
xorl %esi, %esi
jmp 0xb5a1f
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_subtract_sf
static s7_pointer fx_subtract_sf(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    x = lookup(sc, cadr(arg));
                    if (is_t_real(x)) return(make_real(sc, real(x) - real(caddr(arg))));
                    return(g_subtract_2f(sc, set_plist_2(sc, x, caddr(arg))));
                }

// Assembly:
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb5b07
jle 0xb5b02
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb5af5
cmpq %rsi, %rdi
jne 0xb5b72
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
cmpb $0xd, (%rcx)
jne 0xb5b92
movsd 0x8(%rcx), %xmm0
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
subsd 0x8(%rax), %xmm0
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xb5b51
movq %rbx, %rdi
movsd %xmm0, 0x8(%rsp)
callq 0xa550
movsd 0x8(%rsp), %xmm0
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xd, (%rax)
movsd %xmm0, 0x8(%rax)
addq $0x10, %rsp
popq %rbx
retq
cmpb $0x1c, (%rdx)
jne 0xb5bc4
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb5b8c
cmpq %rcx, 0x8(%rsi)
je 0xb5b0b
movq 0x18(%rsi), %rsi
jmp 0xb5b7b
movq 0x10(%rdx), %rdx
jmp 0xb5b72
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x708(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x710(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x708(%rbx), %rsi
movq %rbx, %rdi
addq $0x10, %rsp
popq %rbx
jmp 0xba07e
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb5b0b
xorl %ecx, %ecx
jmp 0xb5b0f
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_subtract_s1
static s7_pointer fx_subtract_s1(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    x = lookup(sc, cadr(arg));
                    if (is_t_integer(x))
                        return(make_integer(sc, integer(x) - 1));
                    return(minus_c1(sc, x));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rsi
movq 0x20(%rax), %rdx
cmpq %rdx, %rsi
je 0xb5c0c
jle 0xb5c07
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rsi
cmpq %rsi, %rdx
jl 0xb5bfa
cmpq %rdx, %rsi
jne 0xb5c38
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rsi
cmpb $0xb, (%rsi)
jne 0xb5c58
movq 0x8(%rsi), %rax
leaq -0x1(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0xb5c67
leaq 0x90d1f(%rip), %rcx     # 0x146950
movq -0x8(%rcx,%rax,8), %rax
jmp 0xb5ca0
cmpb $0x1c, (%rcx)
jne 0xb5ca8
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb5c52
cmpq %rax, 0x8(%rdx)
je 0xb5c10
movq 0x18(%rdx), %rdx
jmp 0xb5c41
movq 0x10(%rcx), %rcx
jmp 0xb5c38
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0xba184
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xb5c86
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb5c10
xorl %esi, %esi
jmp 0xb5c14
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_subtract_si
static s7_pointer fx_subtract_si(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    x = lookup(sc, cadr(arg));
                    if (is_t_integer(x))
                        return(make_integer(sc, integer(x) - integer(opt2_con(cdr(arg)))));
                    return(subtract_p_pp(sc, x, caddr(arg)));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xb5cf0
jle 0xb5ceb
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xb5cde
cmpq %rsi, %rdi
jne 0xb5d1f
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rsi
cmpb $0xb, (%rsi)
jne 0xb5d3f
movq 0x8(%rsi), %r14
movq 0x20(%rax), %rax
subq 0x8(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0xb5d56
leaq 0x90c37(%rip), %rax     # 0x146950
movq (%rax,%r14,8), %rax
jmp 0xb5d8f
cmpb $0x1c, (%rdx)
jne 0xb5d97
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xb5d39
cmpq %rcx, 0x8(%rsi)
je 0xb5cf4
movq 0x18(%rsi), %rsi
jmp 0xb5d28
movq 0x10(%rdx), %rdx
jmp 0xb5d1f
movq 0x10(%rax), %rax
movq 0x8(%rax), %rdx
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x86e03
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xb5d75
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xb5cf4
xorl %esi, %esi
jmp 0xb5cf8
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_num_eq_si
static s7_pointer fx_num_eq_si(s7_scheme *sc, s7_pointer arg)
                {
                    s7_int y;
                    s7_pointer val, args;
                    args = cdr(arg);
                    val = lookup(sc, car(args));
                    y = integer(cadr(args));
                    if (is_t_integer(val))
                        return(make_boolean(sc, integer(val) == y));
                    return(fx_num_eq_xi_1(sc, args, val, y));
                }

// Assembly:
movq 0x10(%rsi), %rsi
movq 0x8(%rsi), %rax
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %r8
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xb5ebf
jle 0xb5eba
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xb5ead
cmpq %rdx, %r8
jne 0xb5eee
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rdx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rcx
cmpb $0xb, (%rdx)
jne 0xba644
xorl %eax, %eax
cmpq %rcx, 0x8(%rdx)
setne %al
movq 0x118(%rdi,%rax,8), %rax
retq
cmpb $0x1c, (%rcx)
jne 0xb5f0e
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xb5f08
cmpq %rax, 0x8(%rdx)
je 0xb5ec3
movq 0x18(%rdx), %rdx
jmp 0xb5ef7
movq 0x10(%rcx), %rcx
jmp 0xb5eee
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xb5ec3
xorl %edx, %edx
jmp 0xb5ec7