LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: fpconv_dtoa
static inline int fpconv_dtoa(double d, char dest[24])
    {
        char digits[18];
        int str_len = 0, spec, K, ndigits;
        bool neg = false;

        if (dtoa_get_dbits(d) & dtoa_signmask)
        {
            dest[0] = '-';
            str_len++;
            neg = true;
        }

        spec = dtoa_filter_special(d, dest + str_len, neg);
        if (spec) return(str_len + spec);
        K = 0;
        ndigits = dtoa_grisu2(d, digits, &K);
        str_len += dtoa_emit_digits(digits, ndigits, dest + str_len, K, neg);
        return(str_len);
    }

// Assembly:
subq $0x58, %rsp
movsd %xmm0, 0x48(%rsp)
movq %rdi, 0x40(%rsp)
movl $0x0, 0x1c(%rsp)
movb $0x0, 0xf(%rsp)
movsd 0x48(%rsp), %xmm0
callq 0xc7660
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
andq %rcx, %rax
cmpq $0x0, %rax
je 0xc74b2
movq 0x40(%rsp), %rax
movb $0x2d, (%rax)
movl 0x1c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x1c(%rsp)
movb $0x1, 0xf(%rsp)
movsd 0x48(%rsp), %xmm0
movq 0x40(%rsp), %rdi
movslq 0x1c(%rsp), %rax
addq %rax, %rdi
movb 0xf(%rsp), %al
andb $0x1, %al
movzbl %al, %esi
callq 0xc7680
movl %eax, 0x18(%rsp)
cmpl $0x0, 0x18(%rsp)
je 0xc74ec
movl 0x1c(%rsp), %eax
addl 0x18(%rsp), %eax
movl %eax, 0x54(%rsp)
jmp 0xc7546
movl $0x0, 0x14(%rsp)
movsd 0x48(%rsp), %xmm0
leaq 0x20(%rsp), %rdi
leaq 0x14(%rsp), %rsi
callq 0xc77d0
movl %eax, 0x10(%rsp)
leaq 0x20(%rsp), %rdi
movl 0x10(%rsp), %esi
movq 0x40(%rsp), %rdx
movslq 0x1c(%rsp), %rax
addq %rax, %rdx
movl 0x14(%rsp), %ecx
movb 0xf(%rsp), %al
andb $0x1, %al
movzbl %al, %r8d
callq 0xc7960
addl 0x1c(%rsp), %eax
movl %eax, 0x1c(%rsp)
movl 0x1c(%rsp), %eax
movl %eax, 0x54(%rsp)
movl 0x54(%rsp), %eax
addq $0x58, %rsp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: floatify
static inline char *floatify(char *str, s7_int *nlen)
    {
        if ((!strchr(str, '.')) && (!strchr(str, 'e'))) /* faster than (strcspn(str, ".e") >= (size_t)(*nlen)) */
        {
            s7_int len;
            len = *nlen;
            /* snprintf returns "nan" and "inf" but we (stupidly) want "+nan.0" and "+inf.0"; "-nan" and "-inf" will be handled by the normal case */
            if (len == 3)
            {
                if (str[0] == 'n')
                {
                    str[0] = '+'; str[1] = 'n'; str[2] = 'a'; str[3] = 'n';
                    len = 4;
                }
                if (str[0] == 'i')
                {
                    str[0] = '+'; str[1] = 'i'; str[2] = 'n'; str[3] = 'f';
                    len = 4;
                }
            }
            str[len]='.';
            str[len + 1]='0';
            str[len + 2]='\0';
            (*nlen) = len + 2;
        }
        return(str);
    }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x10(%rsp)
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rdi
movl $0x2e, %esi
callq 0x91d0
cmpq $0x0, %rax
jne 0xc764e
movq 0x10(%rsp), %rdi
movl $0x65, %esi
callq 0x91d0
cmpq $0x0, %rax
jne 0xc764e
movq 0x8(%rsp), %rax
movq (%rax), %rax
movq %rax, (%rsp)
cmpq $0x3, (%rsp)
jne 0xc7615
movq 0x10(%rsp), %rax
movsbl (%rax), %eax
cmpl $0x6e, %eax
jne 0xc75db
movq 0x10(%rsp), %rax
movb $0x2b, (%rax)
movq 0x10(%rsp), %rax
movb $0x6e, 0x1(%rax)
movq 0x10(%rsp), %rax
movb $0x61, 0x2(%rax)
movq 0x10(%rsp), %rax
movb $0x6e, 0x3(%rax)
movq $0x4, (%rsp)
movq 0x10(%rsp), %rax
movsbl (%rax), %eax
cmpl $0x69, %eax
jne 0xc7613
movq 0x10(%rsp), %rax
movb $0x2b, (%rax)
movq 0x10(%rsp), %rax
movb $0x69, 0x1(%rax)
movq 0x10(%rsp), %rax
movb $0x6e, 0x2(%rax)
movq 0x10(%rsp), %rax
movb $0x66, 0x3(%rax)
movq $0x4, (%rsp)
jmp 0xc7615
movq 0x10(%rsp), %rax
movq (%rsp), %rcx
movb $0x2e, (%rax,%rcx)
movq 0x10(%rsp), %rax
movq (%rsp), %rcx
movb $0x30, 0x1(%rax,%rcx)
movq 0x10(%rsp), %rax
movq (%rsp), %rcx
movb $0x0, 0x2(%rax,%rcx)
movq (%rsp), %rcx
addq $0x2, %rcx
movq 0x8(%rsp), %rax
movq %rcx, (%rax)
movq 0x10(%rsp), %rax
addq $0x18, %rsp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: dtoa_filter_special
static int dtoa_filter_special(double fp, char* dest, bool neg)
    {
        uint64_t bits;
        bool nan;
        if (fp == 0.0)
        {
            dest[0] = '0'; dest[1] = '.'; dest[2] = '0';
            return(3);
        }
        bits = dtoa_get_dbits(fp);
        nan = (bits & dtoa_expmask) == dtoa_expmask;
        if (!nan) return(0);

        if (!neg)
        {
            dest[0] = '+';
            dest++;
        }
        if (bits & dtoa_fracmask)
        {
            dest[0] = 'n'; dest[1] = 'a'; dest[2] = 'n'; dest[3] = '.'; dest[4] = '0';
        }
        else
        {
            dest[0] = 'i'; dest[1] = 'n'; dest[2] = 'f'; dest[3] = '.'; dest[4] = '0';
        }
        return((neg) ? 5 : 6);
    }

// Assembly:
subq $0x38, %rsp
movb %sil, %al
movsd %xmm0, 0x28(%rsp)
movq %rdi, 0x20(%rsp)
andb $0x1, %al
movb %al, 0x1f(%rsp)
movsd 0x28(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0xc76d0
jp 0xc76d0
movq 0x20(%rsp), %rax
movb $0x30, (%rax)
movq 0x20(%rsp), %rax
movb $0x2e, 0x1(%rax)
movq 0x20(%rsp), %rax
movb $0x30, 0x2(%rax)
movl $0x3, 0x34(%rsp)
jmp 0xc77bd
movsd 0x28(%rsp), %xmm0
callq 0xc7660
movq %rax, 0x10(%rsp)
movabsq $0x7ff0000000000000, %rax # imm = 0x7FF0000000000000
andq 0x10(%rsp), %rax
movabsq $0x7ff0000000000000, %rcx # imm = 0x7FF0000000000000
cmpq %rcx, %rax
sete %al
andb $0x1, %al
movb %al, 0xf(%rsp)
testb $0x1, 0xf(%rsp)
jne 0xc7719
movl $0x0, 0x34(%rsp)
jmp 0xc77bd
testb $0x1, 0x1f(%rsp)
jne 0xc7736
movq 0x20(%rsp), %rax
movb $0x2b, (%rax)
movq 0x20(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x20(%rsp)
movabsq $0xfffffffffffff, %rax  # imm = 0xFFFFFFFFFFFFF
andq 0x10(%rsp), %rax
cmpq $0x0, %rax
je 0xc7779
movq 0x20(%rsp), %rax
movb $0x6e, (%rax)
movq 0x20(%rsp), %rax
movb $0x61, 0x1(%rax)
movq 0x20(%rsp), %rax
movb $0x6e, 0x2(%rax)
movq 0x20(%rsp), %rax
movb $0x2e, 0x3(%rax)
movq 0x20(%rsp), %rax
movb $0x30, 0x4(%rax)
jmp 0xc77a5
movq 0x20(%rsp), %rax
movb $0x69, (%rax)
movq 0x20(%rsp), %rax
movb $0x6e, 0x1(%rax)
movq 0x20(%rsp), %rax
movb $0x66, 0x2(%rax)
movq 0x20(%rsp), %rax
movb $0x2e, 0x3(%rax)
movq 0x20(%rsp), %rax
movb $0x30, 0x4(%rax)
movb 0x1f(%rsp), %dl
movl $0x6, %eax
movl $0x5, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, 0x34(%rsp)
movl 0x34(%rsp), %eax
addq $0x38, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: dtoa_grisu2
static int dtoa_grisu2(double d, char* digits, int* K)
    {
        int k;
        dtoa_Fp cp, w, lower, upper;
        w = dtoa_build_fp(d);
        dtoa_get_normalized_boundaries(&w, &lower, &upper);
        dtoa_normalize(&w);
        cp = dtoa_find_cachedpow10(upper.exp, &k);
        w = dtoa_multiply(&w, &cp);
        upper = dtoa_multiply(&upper, &cp);
        lower = dtoa_multiply(&lower, &cp);
        lower.frac++;
        upper.frac--;
        *K = -k;
        return(dtoa_generate_digits(&w, &upper, &lower, digits, K));
    }

// Assembly:
subq $0xb8, %rsp
movsd %xmm0, 0xb0(%rsp)
movq %rdi, 0xa8(%rsp)
movq %rsi, 0xa0(%rsp)
movsd 0xb0(%rsp), %xmm0
callq 0xc7d60
movq %rax, 0x48(%rsp)
movl %edx, 0x50(%rsp)
movq 0x48(%rsp), %rax
movq %rax, 0x78(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x80(%rsp)
leaq 0x78(%rsp), %rdi
leaq 0x68(%rsp), %rsi
leaq 0x58(%rsp), %rdx
callq 0xc7df0
leaq 0x78(%rsp), %rdi
callq 0xc7f20
movl 0x60(%rsp), %edi
leaq 0x9c(%rsp), %rsi
callq 0xc7f90
movq %rax, 0x38(%rsp)
movl %edx, 0x40(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x88(%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0x90(%rsp)
leaq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0xc8060
movq %rax, 0x28(%rsp)
movl %edx, 0x30(%rsp)
movq 0x28(%rsp), %rax
movq %rax, 0x78(%rsp)
movq 0x30(%rsp), %rax
movq %rax, 0x80(%rsp)
leaq 0x58(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0xc8060
movq %rax, 0x18(%rsp)
movl %edx, 0x20(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x58(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x60(%rsp)
leaq 0x68(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0xc8060
movq %rax, 0x8(%rsp)
movl %edx, 0x10(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x68(%rsp)
movq 0x10(%rsp), %rax
movq %rax, 0x70(%rsp)
movq 0x68(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x68(%rsp)
movq 0x58(%rsp), %rax
addq $-0x1, %rax
movq %rax, 0x58(%rsp)
xorl %ecx, %ecx
subl 0x9c(%rsp), %ecx
movq 0xa0(%rsp), %rax
movl %ecx, (%rax)
movq 0xa8(%rsp), %rcx
movq 0xa0(%rsp), %r8
leaq 0x78(%rsp), %rdi
leaq 0x58(%rsp), %rsi
leaq 0x68(%rsp), %rdx
callq 0xc8140
addq $0xb8, %rsp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: dtoa_build_fp
static dtoa_Fp dtoa_build_fp(double d)
    {
        uint64_t bits;
        dtoa_Fp fp;

        bits = dtoa_get_dbits(d);
        fp.frac = bits & dtoa_fracmask;
        fp.exp = (bits & dtoa_expmask) >> 52;
        if (fp.exp)
        {
            fp.frac += dtoa_hiddenbit;
            fp.exp -= dtoa_expbias;
        }
        else fp.exp = -dtoa_expbias + 1;
        return(fp);
    }

// Assembly:
subq $0x28, %rsp
movsd %xmm0, 0x10(%rsp)
movsd 0x10(%rsp), %xmm0
callq 0xc7660
movq %rax, 0x8(%rsp)
movabsq $0xfffffffffffff, %rax  # imm = 0xFFFFFFFFFFFFF
andq 0x8(%rsp), %rax
movq %rax, 0x18(%rsp)
movabsq $0x7ff0000000000000, %rax # imm = 0x7FF0000000000000
andq 0x8(%rsp), %rax
shrq $0x34, %rax
movl %eax, 0x20(%rsp)
cmpl $0x0, 0x20(%rsp)
je 0xc7dcf
movabsq $0x10000000000000, %rax # imm = 0x10000000000000
addq 0x18(%rsp), %rax
movq %rax, 0x18(%rsp)
movl 0x20(%rsp), %eax
subl $0x433, %eax            # imm = 0x433
movl %eax, 0x20(%rsp)
jmp 0xc7dd7
movl $0xfffffbce, 0x20(%rsp) # imm = 0xFFFFFBCE
movq 0x18(%rsp), %rax
movl 0x20(%rsp), %edx
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: dtoa_get_normalized_boundaries
static void dtoa_get_normalized_boundaries(dtoa_Fp* fp, dtoa_Fp* lower, dtoa_Fp* upper)
    {
        int u_shift, l_shift;
        upper->frac = (fp->frac << 1) + 1;
        upper->exp  = fp->exp - 1;
        while ((upper->frac & (dtoa_hiddenbit << 1)) == 0)
        {
            upper->frac <<= 1;
            upper->exp--;
        }
        u_shift = 64 - 52 - 2;
        upper->frac <<= u_shift;
        upper->exp = upper->exp - u_shift;
        l_shift = fp->frac == dtoa_hiddenbit ? 2 : 1;
        lower->frac = (fp->frac << l_shift) - 1;
        lower->exp = fp->exp - l_shift;
        lower->frac <<= lower->exp - upper->exp;
        lower->exp = upper->exp;
    }

// Assembly:
movq %rdi, -0x8(%rsp)
movq %rsi, -0x10(%rsp)
movq %rdx, -0x18(%rsp)
movq -0x8(%rsp), %rax
movq (%rax), %rcx
shlq %rcx
addq $0x1, %rcx
movq -0x18(%rsp), %rax
movq %rcx, (%rax)
movq -0x8(%rsp), %rax
movl 0x8(%rax), %ecx
subl $0x1, %ecx
movq -0x18(%rsp), %rax
movl %ecx, 0x8(%rax)
movq -0x18(%rsp), %rcx
movabsq $0x20000000000000, %rax # imm = 0x20000000000000
andq (%rcx), %rax
cmpq $0x0, %rax
jne 0xc7e5f
movq -0x18(%rsp), %rax
movq (%rax), %rcx
shlq %rcx
movq %rcx, (%rax)
movq -0x18(%rsp), %rax
movl 0x8(%rax), %ecx
addl $-0x1, %ecx
movl %ecx, 0x8(%rax)
jmp 0xc7e29
movl $0xa, -0x1c(%rsp)
movl -0x1c(%rsp), %ecx
movq -0x18(%rsp), %rax
movq (%rax), %rdx
movl %ecx, %ecx
shlq %cl, %rdx
movq %rdx, %rcx
movq %rcx, (%rax)
movq -0x18(%rsp), %rax
movl 0x8(%rax), %ecx
subl -0x1c(%rsp), %ecx
movq -0x18(%rsp), %rax
movl %ecx, 0x8(%rax)
movq -0x8(%rsp), %rax
movq (%rax), %rdx
movabsq $0x10000000000000, %rsi # imm = 0x10000000000000
movl $0x1, %eax
movl $0x2, %ecx
cmpq %rsi, %rdx
cmovel %ecx, %eax
movl %eax, -0x20(%rsp)
movq -0x8(%rsp), %rax
movq (%rax), %rax
movl -0x20(%rsp), %ecx
shlq %cl, %rax
movq %rax, %rcx
subq $0x1, %rcx
movq -0x10(%rsp), %rax
movq %rcx, (%rax)
movq -0x8(%rsp), %rax
movl 0x8(%rax), %ecx
subl -0x20(%rsp), %ecx
movq -0x10(%rsp), %rax
movl %ecx, 0x8(%rax)
movq -0x10(%rsp), %rax
movl 0x8(%rax), %ecx
movq -0x18(%rsp), %rax
subl 0x8(%rax), %ecx
movq -0x10(%rsp), %rax
movq (%rax), %rdx
movl %ecx, %ecx
shlq %cl, %rdx
movq %rdx, %rcx
movq %rcx, (%rax)
movq -0x18(%rsp), %rax
movl 0x8(%rax), %ecx
movq -0x10(%rsp), %rax
movl %ecx, 0x8(%rax)
retq
nop
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: dtoa_normalize
static void dtoa_normalize(dtoa_Fp* fp)
    {
        int shift;
        while ((fp->frac & dtoa_hiddenbit) == 0)
        {
            fp->frac <<= 1;
            fp->exp--;
        }
        shift = 64 - 52 - 1;
        fp->frac <<= shift;
        fp->exp -= shift;
    }

// Assembly:
movq %rdi, -0x8(%rsp)
movq -0x8(%rsp), %rcx
movabsq $0x10000000000000, %rax # imm = 0x10000000000000
andq (%rcx), %rax
cmpq $0x0, %rax
jne 0xc7f5b
movq -0x8(%rsp), %rax
movq (%rax), %rcx
shlq %rcx
movq %rcx, (%rax)
movq -0x8(%rsp), %rax
movl 0x8(%rax), %ecx
addl $-0x1, %ecx
movl %ecx, 0x8(%rax)
jmp 0xc7f25
movl $0xb, -0xc(%rsp)
movl -0xc(%rsp), %ecx
movq -0x8(%rsp), %rax
movq (%rax), %rdx
movl %ecx, %ecx
shlq %cl, %rdx
movq %rdx, %rcx
movq %rcx, (%rax)
movl -0xc(%rsp), %edx
movq -0x8(%rsp), %rax
movl 0x8(%rax), %ecx
subl %edx, %ecx
movl %ecx, 0x8(%rax)
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: dtoa_find_cachedpow10
static dtoa_Fp dtoa_find_cachedpow10(int exp, int* k)
    {
        int approx, idx;
        const double one_log_ten = 0.30102999566398114;

        approx = -(exp + dtoa_npowers) * one_log_ten;
        idx = (approx - dtoa_firstpower) / dtoa_steppowers;
        while (true)
        {
            int current;
            current = exp + dtoa_powers_ten[idx].exp + 64;
            if (current < dtoa_expmin)
            {
                idx++;
                continue;
            }
            if (current > dtoa_expmax)
            {
                idx--;
                continue;
            }
            *k = (dtoa_firstpower + idx * dtoa_steppowers);
            return(dtoa_powers_ten[idx]);
        }
    }

// Assembly:
movl %edi, -0x1c(%rsp)
movq %rsi, -0x28(%rsp)
movsd 0x119abf(%rip), %xmm0   # 0x1e1a60
movsd %xmm0, -0x38(%rsp)
movl -0x1c(%rsp), %ecx
addl $0x57, %ecx
xorl %eax, %eax
subl %ecx, %eax
cvtsi2sd %eax, %xmm0
movsd 0x119aa2(%rip), %xmm1   # 0x1e1a60
mulsd %xmm1, %xmm0
cvttsd2si %xmm0, %eax
movl %eax, -0x2c(%rsp)
movl -0x2c(%rsp), %eax
subl $0xfffffea4, %eax       # imm = 0xFFFFFEA4
movl $0x8, %ecx
cltd
idivl %ecx
movl %eax, -0x30(%rsp)
movl -0x1c(%rsp), %eax
movslq -0x30(%rsp), %rdx
leaq 0x14d4c1(%rip), %rcx    # 0x2154b0
shlq $0x4, %rdx
addq %rdx, %rcx
addl 0x8(%rcx), %eax
addl $0x40, %eax
movl %eax, -0x3c(%rsp)
cmpl $-0x3c, -0x3c(%rsp)
jge 0xc8014
movl -0x30(%rsp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rsp)
jmp 0xc7fdf
cmpl $-0x20, -0x3c(%rsp)
jle 0xc8028
movl -0x30(%rsp), %eax
addl $-0x1, %eax
movl %eax, -0x30(%rsp)
jmp 0xc7fdf
movl -0x30(%rsp), %ecx
movl %ecx, %eax
leal -0x15c(,%rax,8), %ecx
movq -0x28(%rsp), %rax
movl %ecx, (%rax)
movslq -0x30(%rsp), %rax
shlq $0x4, %rax
leaq 0x14d464(%rip), %rcx    # 0x2154b0
movups (%rax,%rcx), %xmm0
movaps %xmm0, -0x18(%rsp)
movq -0x18(%rsp), %rax
movl -0x10(%rsp), %edx
retq
nop
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: dtoa_multiply
static dtoa_Fp dtoa_multiply(dtoa_Fp* a, dtoa_Fp* b)
    {
        dtoa_Fp fp;
        uint64_t ah_bl, al_bh, al_bl, ah_bh, tmp;
        const uint64_t lomask = 0x00000000FFFFFFFF;

        ah_bl = (a->frac >> 32)    * (b->frac & lomask);
        al_bh = (a->frac & lomask) * (b->frac >> 32);
        al_bl = (a->frac & lomask) * (b->frac & lomask);
        ah_bh = (a->frac >> 32)    * (b->frac >> 32);
        tmp = (ah_bl & lomask) + (al_bh & lomask) + (al_bl >> 32);
        /* round up */
        tmp += 1U << 31;
        fp.frac = ah_bh + (ah_bl >> 32) + (al_bh >> 32) + (tmp >> 32);
        fp.exp = a->exp + b->exp + 64;
        return(fp);
    }

// Assembly:
movq %rdi, -0x18(%rsp)
movq %rsi, -0x20(%rsp)
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
movq %rax, -0x50(%rsp)
movq -0x18(%rsp), %rax
movl 0x4(%rax), %eax
movq -0x20(%rsp), %rcx
movl (%rcx), %ecx
imulq %rcx, %rax
movq %rax, -0x28(%rsp)
movq -0x18(%rsp), %rax
movl (%rax), %eax
movq -0x20(%rsp), %rcx
movl 0x4(%rcx), %ecx
imulq %rcx, %rax
movq %rax, -0x30(%rsp)
movq -0x18(%rsp), %rax
movl (%rax), %eax
movq -0x20(%rsp), %rcx
movl (%rcx), %ecx
imulq %rcx, %rax
movq %rax, -0x38(%rsp)
movq -0x18(%rsp), %rax
movl 0x4(%rax), %eax
movq -0x20(%rsp), %rcx
movl 0x4(%rcx), %ecx
imulq %rcx, %rax
movq %rax, -0x40(%rsp)
movl -0x28(%rsp), %eax
movl -0x30(%rsp), %ecx
addq %rcx, %rax
movl -0x34(%rsp), %ecx
addq %rcx, %rax
movq %rax, -0x48(%rsp)
movq -0x48(%rsp), %rax
subq $-0x80000000, %rax      # imm = 0x80000000
movq %rax, -0x48(%rsp)
movq -0x40(%rsp), %rax
movl -0x24(%rsp), %ecx
addq %rcx, %rax
movl -0x2c(%rsp), %ecx
addq %rcx, %rax
movl -0x44(%rsp), %ecx
addq %rcx, %rax
movq %rax, -0x10(%rsp)
movq -0x18(%rsp), %rax
movl 0x8(%rax), %edx
movq -0x20(%rsp), %rax
movl 0x8(%rax), %eax
movl %eax, %ecx
movl %edx, %eax
leal 0x40(%rax,%rcx), %eax
movl %eax, -0x8(%rsp)
movq -0x10(%rsp), %rax
movl -0x8(%rsp), %edx
retq
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: dtoa_round_digit
static void dtoa_round_digit(char* digits, int ndigits, uint64_t delta, uint64_t rem, uint64_t kappa, uint64_t frac)
    {
        while ((rem < frac) && (delta - rem >= kappa) &&
                ((rem + kappa < frac) || (frac - rem > rem + kappa - frac)))
        {
            digits[ndigits - 1]--;
            rem += kappa;
        }
    }

// Assembly:
movq %rdi, -0x8(%rsp)
movl %esi, -0xc(%rsp)
movq %rdx, -0x18(%rsp)
movq %rcx, -0x20(%rsp)
movq %r8, -0x28(%rsp)
movq %r9, -0x30(%rsp)
movq -0x20(%rsp), %rcx
xorl %eax, %eax
cmpq -0x30(%rsp), %rcx
movb %al, -0x31(%rsp)
jae 0xc84b8
movq -0x18(%rsp), %rcx
subq -0x20(%rsp), %rcx
xorl %eax, %eax
cmpq -0x28(%rsp), %rcx
movb %al, -0x31(%rsp)
jb 0xc84b8
movq -0x20(%rsp), %rcx
addq -0x28(%rsp), %rcx
movb $0x1, %al
cmpq -0x30(%rsp), %rcx
movb %al, -0x32(%rsp)
jb 0xc84b0
movq -0x30(%rsp), %rax
subq -0x20(%rsp), %rax
movq -0x20(%rsp), %rcx
addq -0x28(%rsp), %rcx
subq -0x30(%rsp), %rcx
cmpq %rcx, %rax
seta %al
movb %al, -0x32(%rsp)
movb -0x32(%rsp), %al
movb %al, -0x31(%rsp)
movb -0x31(%rsp), %al
testb $0x1, %al
jne 0xc84c2
jmp 0xc84ee
movq -0x8(%rsp), %rax
movl -0xc(%rsp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movb (%rax,%rcx), %dl
addb $-0x1, %dl
movb %dl, (%rax,%rcx)
movq -0x28(%rsp), %rax
addq -0x20(%rsp), %rax
movq %rax, -0x20(%rsp)
jmp 0xc844d
retq
nop
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: find_and_apply_method
static s7_pointer find_and_apply_method(s7_scheme *sc, s7_pointer lt, s7_pointer sym, s7_pointer args)
    {
        s7_pointer func;
        func = find_method(sc, lt, sym);
        if (func != sc->undefined)
            return(s7_apply_function(sc, func, args));
        return(missing_method_error(sc, sym, lt));
    }

// Assembly:
subq $0x38, %rsp
movq %rdi, 0x28(%rsp)
movq %rsi, 0x20(%rsp)
movq %rdx, 0x18(%rsp)
movq %rcx, 0x10(%rsp)
movq 0x28(%rsp), %rdi
movq 0x20(%rsp), %rsi
movq 0x18(%rsp), %rdx
callq 0x98d0
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq 0x28(%rsp), %rcx
cmpq 0x128(%rcx), %rax
je 0xc854f
movq 0x28(%rsp), %rdi
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
callq 0xda50
movq %rax, 0x30(%rsp)
jmp 0xc8568
movq 0x28(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq 0x20(%rsp), %rdx
callq 0xc8580
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
addq $0x38, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: local_memset
static void local_memset(void *s, uint8_t val, size_t n)
    {
        uint8_t *s2;
#if S7_ALIGNED
        s2 = (uint8_t *)s;
#else
#if (defined(__x86_64__) || defined(__i386__))
        if (n >= 8)
        {
            int64_t ival;
            int64_t *s1 = (int64_t *)s;
            size_t n8 = n >> 3;
            ival = val | (val << 8) | (val << 16) | (((uint64_t)val) << 24); /* uint64_t casts make gcc/clang/fsanitize happy */
            ival = (((uint64_t)ival) << 32) | ival;
            do {*s1++ = ival;} while (--n8 > 0);
            n &= 7;
            s2 = (uint8_t *)s1;
        }
        else s2 = (uint8_t *)s;
#else
        s2 = (uint8_t *)s;
#endif
#endif
        while (n > 0)
        {
            *s2++ = val;
            n--;
        }
    }

// Assembly:
movb %sil, %al
movq %rdi, -0x8(%rsp)
movb %al, -0x9(%rsp)
movq %rdx, -0x18(%rsp)
cmpq $0x8, -0x18(%rsp)
jb 0xc869b
movq -0x8(%rsp), %rax
movq %rax, -0x30(%rsp)
movq -0x18(%rsp), %rax
shrq $0x3, %rax
movq %rax, -0x38(%rsp)
movzbl -0x9(%rsp), %eax
movzbl -0x9(%rsp), %ecx
shll $0x8, %ecx
orl %ecx, %eax
movzbl -0x9(%rsp), %ecx
shll $0x10, %ecx
orl %ecx, %eax
cltq
movzbl -0x9(%rsp), %ecx
shlq $0x18, %rcx
orq %rcx, %rax
movq %rax, -0x28(%rsp)
movq -0x28(%rsp), %rax
shlq $0x20, %rax
orq -0x28(%rsp), %rax
movq %rax, -0x28(%rsp)
movq -0x28(%rsp), %rcx
movq -0x30(%rsp), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, -0x30(%rsp)
movq %rcx, (%rax)
movq -0x38(%rsp), %rax
addq $-0x1, %rax
movq %rax, -0x38(%rsp)
cmpq $0x0, %rax
ja 0xc8654
movq -0x18(%rsp), %rax
andq $0x7, %rax
movq %rax, -0x18(%rsp)
movq -0x30(%rsp), %rax
movq %rax, -0x20(%rsp)
jmp 0xc86a5
movq -0x8(%rsp), %rax
movq %rax, -0x20(%rsp)
jmp 0xc86a7
cmpq $0x0, -0x18(%rsp)
jbe 0xc86d6
movb -0x9(%rsp), %cl
movq -0x20(%rsp), %rax
movq %rax, %rdx
addq $0x1, %rdx
movq %rdx, -0x20(%rsp)
movb %cl, (%rax)
movq -0x18(%rsp), %rax
addq $-0x1, %rax
movq %rax, -0x18(%rsp)
jmp 0xc86a7
retq
nopw (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: string_read_semicolon
static token_t string_read_semicolon(s7_scheme *sc, s7_pointer pt)
    {
        const char *orig_str, *str;
        str = (const char *)(port_data(pt) + port_position(pt));
        orig_str = strchr(str, (int)'\n');
        if (!orig_str)
        {
            port_position(pt) = port_data_size(pt);
            return(TOKEN_EOF);
        }
        port_position(pt) += (orig_str - str + 1); /* + 1 because strchr leaves orig_str pointing at the newline */
        port_line_number(pt)++;
        return(token(sc));
    }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x18(%rsp)
movq %rsi, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rsp), %rcx
addq 0x20(%rcx), %rax
movq %rax, (%rsp)
movq (%rsp), %rdi
movl $0xa, %esi
callq 0x91d0
movq %rax, 0x8(%rsp)
cmpq $0x0, 0x8(%rsp)
jne 0xc8d5b
movq 0x10(%rsp), %rax
movq 0x18(%rax), %rcx
movq 0x10(%rsp), %rax
movq %rcx, 0x20(%rax)
movl $0x0, 0x24(%rsp)
jmp 0xc8d98
movq 0x8(%rsp), %rcx
movq (%rsp), %rax
subq %rax, %rcx
addq $0x1, %rcx
movq 0x10(%rsp), %rax
addq 0x20(%rax), %rcx
movq %rcx, 0x20(%rax)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movl 0x20(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x20(%rax)
movq 0x18(%rsp), %rdi
callq 0xc9560
movl %eax, 0x24(%rsp)
movl 0x24(%rsp), %eax
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: terminated_string_read_white_space
static int32_t terminated_string_read_white_space(s7_scheme *sc, s7_pointer pt)
    {
        const uint8_t *str;
        uint8_t c;
        /* here we know we have null termination and white_space[#\null] is false. */

        str = (const uint8_t *)(port_data(pt) + port_position(pt));

        while (white_space[c = *str++]) /* (let ((�a 1)) �a) -- 255 is not -1 = EOF */
            if (c == '\n')
                port_line_number(pt)++;
        if (c)
            port_position(pt) = str - port_data(pt);
        else port_position(pt) = port_data_size(pt);
        return((int32_t)c);
    }

// Assembly:
movq %rdi, -0x8(%rsp)
movq %rsi, -0x10(%rsp)
movq -0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq -0x10(%rsp), %rcx
addq 0x20(%rcx), %rax
movq %rax, -0x18(%rsp)
movq 0x159040(%rip), %rax    # 0x221e18
movq -0x18(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, -0x18(%rsp)
movb (%rcx), %cl
movb %cl, -0x19(%rsp)
movzbl %cl, %ecx
testb $0x1, (%rax,%rcx)
je 0xc8e16
movzbl -0x19(%rsp), %eax
cmpl $0xa, %eax
jne 0xc8e14
movq -0x10(%rsp), %rax
movq 0x8(%rax), %rax
movl 0x20(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x20(%rax)
jmp 0xc8dd1
cmpb $0x0, -0x19(%rsp)
je 0xc8e39
movq -0x18(%rsp), %rcx
movq -0x10(%rsp), %rax
movq 0x10(%rax), %rax
subq %rax, %rcx
movq -0x10(%rsp), %rax
movq %rcx, 0x20(%rax)
jmp 0xc8e4b
movq -0x10(%rsp), %rax
movq 0x18(%rax), %rcx
movq -0x10(%rsp), %rax
movq %rcx, 0x20(%rax)
movzbl -0x19(%rsp), %eax
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: close_input_string
static void close_input_string(s7_scheme *sc, s7_pointer p)
    {
        if (port_filename(p))
        {
            /* for string ports, this is the original input file name */
            liberate(sc, port_filename_block(p));
            port_filename(p) = NULL;
        }
        if (port_needs_unprotect(p))
        {
            s7_gc_unprotect_at(sc, port_gc_loc(p));
            port_needs_unprotect(p) = false;
        }
        if (port_needs_free(p))
            free_port_data(sc, p);

        port_port(p)->pf = &closed_port_functions;
        port_set_closed(p, true);
        port_position(p) = 0;
    }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x10(%rsp)
movq %rsi, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
cmpq $0x0, 0x10(%rax)
je 0xc94d6
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rsi
callq 0xb230
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq $0x0, 0x10(%rax)
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
testb $0x1, 0x1(%rax)
je 0xc9509
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x28(%rax), %rsi
callq 0x9f60
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movb $0x0, 0x1(%rax)
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
testb $0x1, (%rax)
je 0xc9526
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %rsi
callq 0xc5340
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
leaq 0x14c6b2(%rip), %rcx    # 0x215be8
movq %rcx, 0x48(%rax)
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movb $0x1, 0x2(%rax)
movq 0x8(%rsp), %rax
movq $0x0, 0x20(%rax)
addq $0x18, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: token
static token_t token(s7_scheme *sc) /* inline here is slower */
                {
                    int32_t c;
                    c = port_read_white_space(sc->input_port)(sc, sc->input_port);
                    switch (c)
                    {
                        case '(':  return(TOKEN_LEFT_PAREN);
                        case ')':  return(TOKEN_RIGHT_PAREN);
                        case '.':  return(read_dot(sc, sc->input_port));
                        case '\'': return(TOKEN_QUOTE);
                        case ';':  return(port_read_semicolon(sc->input_port)(sc, sc->input_port));
                        case '"':  return(TOKEN_DOUBLE_QUOTE);
                        case '`':  return(TOKEN_BACK_QUOTE);
                        case ',':  return(read_comma(sc, sc->input_port));
                        case '#':  return(read_sharp(sc, sc->input_port));
                        case '\0':
                        case EOF:  return(TOKEN_EOF);
                        default:
                                   sc->strbuf[0] = (unsigned char)c; /* every TOKEN_ATOM return goes to port_read_name, so we save a backchar/inchar shuffle by starting the read here */
                                   return(TOKEN_ATOM);
                    }
                }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x18(%rsp)
movq 0x18(%rsp), %rdi
movq 0x170(%rdi), %rsi
movq 0x8(%rsi), %rax
movq 0x48(%rax), %rax
movq 0x20(%rax), %rax
callq *%rax
movl %eax, 0x14(%rsp)
movl 0x14(%rsp), %eax
incl %eax
movl %eax, %ecx
movq %rcx, 0x8(%rsp)
subl $0x61, %eax
ja 0xc967f
movq 0x8(%rsp), %rax
leaq 0x115a9f(%rip), %rcx    # 0x1df048
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movl $0x1, 0x24(%rsp)
jmp 0xc969b
movl $0x2, 0x24(%rsp)
jmp 0xc969b
movq 0x18(%rsp), %rdi
movq 0x18(%rsp), %rax
movq 0x170(%rax), %rsi
callq 0xc96b0
movl %eax, 0x24(%rsp)
jmp 0xc969b
movl $0x5, 0x24(%rsp)
jmp 0xc969b
movq 0x18(%rsp), %rax
movq 0x170(%rax), %rax
movq 0x8(%rax), %rax
movq 0x48(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rsp), %rdi
movq 0x18(%rsp), %rcx
movq 0x170(%rcx), %rsi
callq *%rax
movl %eax, 0x24(%rsp)
jmp 0xc969b
movl $0x6, 0x24(%rsp)
jmp 0xc969b
movl $0x7, 0x24(%rsp)
jmp 0xc969b
movq 0x18(%rsp), %rdi
movq 0x18(%rsp), %rax
movq 0x170(%rax), %rsi
callq 0xc9750
movl %eax, 0x24(%rsp)
jmp 0xc969b
movq 0x18(%rsp), %rdi
movq 0x18(%rsp), %rax
movq 0x170(%rax), %rsi
callq 0xc97c0
movl %eax, 0x24(%rsp)
jmp 0xc969b
movl $0x0, 0x24(%rsp)
jmp 0xc969b
movl 0x14(%rsp), %eax
movb %al, %cl
movq 0x18(%rsp), %rax
movq 0x4b0(%rax), %rax
movb %cl, (%rax)
movl $0x4, 0x24(%rsp)
movl 0x24(%rsp), %eax
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: read_dot
static token_t read_dot(s7_scheme *sc, s7_pointer pt)
                {
                    int32_t c;
                    c = inchar(pt);
                    if (c != EOF)
                    {
                        backchar(c, pt);
                        if ((!char_ok_in_a_name[c]) && (c != 0))
                            return(TOKEN_DOT);
                    }
                    else
                    {
                        sc->strbuf[0] = '.';
                        return(TOKEN_DOT);
                    }
                    sc->strbuf[0] = '.';
                    return(TOKEN_ATOM);  /* i.e. something that can start with a dot like a number */
                }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x18(%rsp)
movq %rsi, 0x10(%rsp)
movq 0x10(%rsp), %rdi
callq 0xca3d0
movl %eax, 0xc(%rsp)
cmpl $-0x1, 0xc(%rsp)
je 0xc9709
movl 0xc(%rsp), %eax
movq 0x10(%rsp), %rsi
movsbl %al, %edi
callq 0x15ec0
movq 0x158725(%rip), %rax    # 0x221e10
movslq 0xc(%rsp), %rcx
testb $0x1, (%rax,%rcx)
jne 0xc9707
cmpl $0x0, 0xc(%rsp)
je 0xc9707
movl $0x3, 0x24(%rsp)
jmp 0xc9739
jmp 0xc9722
movq 0x18(%rsp), %rax
movq 0x4b0(%rax), %rax
movb $0x2e, (%rax)
movl $0x3, 0x24(%rsp)
jmp 0xc9739
movq 0x18(%rsp), %rax
movq 0x4b0(%rax), %rax
movb $0x2e, (%rax)
movl $0x4, 0x24(%rsp)
movl 0x24(%rsp), %eax
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: read_comma
static token_t read_comma(s7_scheme *sc, s7_pointer pt)
                {
                    int32_t c;
                    /* here we probably should check for symbol names that start with "@":
                       (define-macro (hi @foo) `(+ ,@foo 1)) -> hi
                       (hi 2) -> ;foo: unbound variable
                       but
                       (define-macro (hi .foo) `(+ ,.foo 1)) -> hi
                       (hi 2) -> 3
                       and ambiguous:
                       (define-macro (hi @foo . foo) `(list ,@foo))
                       what about , @foo -- is the space significant?  We accept ,@ foo.
                       */

                    if ((c = inchar(pt)) == '@')
                        return(TOKEN_AT_MARK);

                    if (c == EOF)
                    {
                        sc->strbuf[0] = ',';  /* was '@' which doesn't make any sense */
                        return(TOKEN_COMMA);  /* was TOKEN_ATOM, which also doesn't seem sensible */
                    }

                    backchar(c, pt);
                    return(TOKEN_COMMA);
                }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x18(%rsp)
movq %rsi, 0x10(%rsp)
movq 0x10(%rsp), %rdi
callq 0xca3d0
movl %eax, 0xc(%rsp)
cmpl $0x40, %eax
jne 0xc977b
movl $0x9, 0x24(%rsp)
jmp 0xc97b4
cmpl $-0x1, 0xc(%rsp)
jne 0xc979b
movq 0x18(%rsp), %rax
movq 0x4b0(%rax), %rax
movb $0x2c, (%rax)
movl $0x8, 0x24(%rsp)
jmp 0xc97b4
movl 0xc(%rsp), %eax
movq 0x10(%rsp), %rsi
movsbl %al, %edi
callq 0x15ec0
movl $0x8, 0x24(%rsp)
movl 0x24(%rsp), %eax
addq $0x28, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: inchar
static int32_t inchar(s7_pointer pt)
    {
        int32_t c;
        if (is_file_port(pt))
            c = fgetc(port_file(pt)); /* not uint8_t! -- could be EOF */
        else
        {
            if (port_data_size(pt) <= port_position(pt))
                return(EOF);
            c = (uint8_t)port_data(pt)[port_position(pt)++];
        }

        if (c == '\n')
            port_line_number(pt)++;

        return(c);
    }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
cmpl $0x0, 0x4(%rax)
jne 0xca400
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x9290
movl %eax, 0x4(%rsp)
jmp 0xca443
movq 0x8(%rsp), %rax
movq 0x18(%rax), %rax
movq 0x8(%rsp), %rcx
cmpq 0x20(%rcx), %rax
jg 0xca41e
movl $0xffffffff, 0x14(%rsp) # imm = 0xFFFFFFFF
jmp 0xca464
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rsp), %rdx
movq 0x20(%rdx), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x20(%rdx)
movzbl (%rax,%rcx), %eax
movl %eax, 0x4(%rsp)
cmpl $0xa, 0x4(%rsp)
jne 0xca45c
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movl 0x20(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x20(%rax)
movl 0x4(%rsp), %eax
movl %eax, 0x14(%rsp)
movl 0x14(%rsp), %eax
addq $0x18, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: unknown_sharp_constant
static s7_pointer unknown_sharp_constant(s7_scheme *sc, char *name)
    {
        if (hook_has_functions(sc->read_error_hook))  /* check *read-error-hook* */
        {
            s7_pointer result;
            /* see sc->error_hook for a more robust way to handle this */
            result = s7_call(sc, sc->read_error_hook, list_2(sc, sc->T, s7_make_string_wrapper(sc, name)));
            if (result != sc->unspecified)
                return(result);
        }
        return(make_unknown(sc, name));
    }

// Assembly:
subq $0x68, %rsp
movq %rdi, 0x58(%rsp)
movq %rsi, 0x50(%rsp)
movq 0x58(%rsp), %rdi
movq 0x58(%rsp), %rax
movq 0x210(%rax), %rsi
callq 0xba20
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xce190
movq 0x58(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x58(%rsp), %rax
movq 0x210(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x58(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rsi
callq 0x145e0
movq %rax, 0x38(%rsp)
movq 0x58(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x30(%rsp)
movq 0x58(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x58(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xce0ef
movq 0x58(%rsp), %rdi
callq 0xc670
movq 0x58(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x20(%rsp), %rsi
movq 0x18(%rsp), %rdi
movq 0x38(%rsp), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x30(%rsp), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x40(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rdx
callq 0xd9f0
movq 0x8(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq %rax, %rdx
callq 0x45890
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq 0x58(%rsp), %rcx
cmpq 0x130(%rcx), %rax
je 0xce18e
movq 0x48(%rsp), %rax
movq %rax, 0x60(%rsp)
jmp 0xce1a4
jmp 0xce190
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rsi
callq 0xce1b0
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
addq $0x68, %rsp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: make_unknown
static s7_pointer make_unknown(s7_scheme *sc, const char* name)
    {
        s7_pointer p;
        char *newstr;
        s7_int len;
        new_cell(sc, p, T_UNDEFINED | T_IMMUTABLE);
        len = safe_strlen(name);
        newstr = (char *)malloc(len + 2); /* this is a non-permanent unknown */
        newstr[0] = '#';
        if (len > 0)
            memcpy((void *)(newstr + 1), (void *)name, len);
        newstr[len + 1] = '\0';
        if (sc->undefined_constant_warnings)
            s7_warn(sc, len + 32, "%s is undefined\n", newstr);
        unique_name_length(p) = len + 1;
        unknown_name(p) = newstr;
        add_unknown(sc, p);
        return(p);
    }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x20(%rsp)
movq %rsi, 0x18(%rsp)
movq 0x20(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x20(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xce1e2
movq 0x20(%rsp), %rdi
callq 0xc670
movq 0x20(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq $0x1000004, (%rax)      # imm = 0x1000004
movq 0x18(%rsp), %rdi
callq 0xa430
movq %rax, (%rsp)
movq (%rsp), %rdi
addq $0x2, %rdi
callq 0x9480
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movb $0x23, (%rax)
cmpq $0x0, (%rsp)
jle 0xce257
movq 0x8(%rsp), %rdi
addq $0x1, %rdi
movq 0x18(%rsp), %rsi
movq (%rsp), %rdx
callq 0x93e0
movq 0x8(%rsp), %rax
movq (%rsp), %rcx
movb $0x0, 0x1(%rax,%rcx)
movq 0x20(%rsp), %rax
testb $0x1, 0x218d(%rax)
je 0xce293
movq 0x20(%rsp), %rdi
movq (%rsp), %rsi
addq $0x20, %rsi
movq 0x8(%rsp), %rcx
leaq 0x1201a2(%rip), %rdx    # 0x1ee42e
movb $0x0, %al
callq 0x14df0
movq (%rsp), %rcx
addq $0x1, %rcx
movq 0x10(%rsp), %rax
movq %rcx, 0x28(%rax)
movq 0x8(%rsp), %rcx
movq 0x10(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x20(%rsp), %rax
movq 0x780(%rax), %rdi
movq 0x10(%rsp), %rsi
callq 0x11230
movq 0x10(%rsp), %rax
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: resize_strbuf
static void resize_strbuf(s7_scheme *sc, s7_int needed_size)
    {
        s7_int i, old_size;
        old_size = sc->strbuf_size;
        while (sc->strbuf_size <= needed_size) sc->strbuf_size *= 2;
        sc->strbuf = (char *)realloc(sc->strbuf, sc->strbuf_size);
        for (i = old_size; i < sc->strbuf_size; i++) sc->strbuf[i] = '\0';
    }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x20(%rsp)
movq %rsi, 0x18(%rsp)
movq 0x20(%rsp), %rax
movq 0x4a8(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x20(%rsp), %rax
movq 0x4a8(%rax), %rax
cmpq 0x18(%rsp), %rax
jg 0xce32a
movq 0x20(%rsp), %rax
movq 0x4a8(%rax), %rcx
shlq %rcx
movq %rcx, 0x4a8(%rax)
jmp 0xce2ff
movq 0x20(%rsp), %rax
movq 0x4b0(%rax), %rdi
movq 0x20(%rsp), %rax
movq 0x4a8(%rax), %rsi
callq 0x9510
movq %rax, %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x4b0(%rax)
movq 0x8(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq 0x20(%rsp), %rcx
cmpq 0x4a8(%rcx), %rax
jge 0xce398
movq 0x20(%rsp), %rax
movq 0x4b0(%rax), %rax
movq 0x10(%rsp), %rcx
movb $0x0, (%rax,%rcx)
movq 0x10(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x10(%rsp)
jmp 0xce360
addq $0x28, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: file_read_semicolon
static token_t file_read_semicolon(s7_scheme *sc, s7_pointer pt)
    {
        int32_t c;
        do (c = fgetc(port_file(pt))); while ((c != '\n') && (c != EOF));
        port_line_number(pt)++;
        if (c == EOF)
            return(TOKEN_EOF);
        return(token(sc));
    }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x18(%rsp)
movq %rsi, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x9290
movl %eax, 0xc(%rsp)
xorl %eax, %eax
cmpl $0xa, 0xc(%rsp)
movb %al, 0xb(%rsp)
je 0xce5bd
cmpl $-0x1, 0xc(%rsp)
setne %al
movb %al, 0xb(%rsp)
movb 0xb(%rsp), %al
testb $0x1, %al
jne 0xce58e
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movl 0x20(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x20(%rax)
cmpl $-0x1, 0xc(%rsp)
jne 0xce5e8
movl $0x0, 0x24(%rsp)
jmp 0xce5f6
movq 0x18(%rsp), %rdi
callq 0xc9560
movl %eax, 0x24(%rsp)
movl 0x24(%rsp), %eax
addq $0x28, %rsp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: file_read_white_space
static int32_t file_read_white_space(s7_scheme *sc, s7_pointer port)
    {
        int32_t c;
        while (is_white_space(c = fgetc(port_file(port))))
            if (c == '\n')
                port_line_number(port)++;
        return(c);
    }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x20(%rsp)
movq %rsi, 0x18(%rsp)
movq 0x153803(%rip), %rax    # 0x221e18
movq %rax, 0x8(%rsp)
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x9290
movl %eax, %ecx
movq 0x8(%rsp), %rax
movl %ecx, 0x14(%rsp)
movslq %ecx, %rcx
testb $0x1, (%rax,%rcx)
je 0xce65b
cmpl $0xa, 0x14(%rsp)
jne 0xce659
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movl 0x20(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x20(%rax)
jmp 0xce60e
movl 0x14(%rsp), %eax
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: close_input_file
static void close_input_file(s7_scheme *sc, s7_pointer p)
    {
        if (port_filename(p))
        {
            /* for string ports, this is the original input file name */
            liberate(sc, port_filename_block(p));
            port_filename(p) = NULL;
        }
        if (port_file(p))
        {
            fclose(port_file(p));
            port_file(p) = NULL;
        }
        if (port_needs_free(p))
            free_port_data(sc, p);

        port_port(p)->pf = &closed_port_functions;
        port_set_closed(p, true);
        port_position(p) = 0;
    }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x10(%rsp)
movq %rsi, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
cmpq $0x0, 0x10(%rax)
je 0xce966
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rsi
callq 0xb230
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq $0x0, 0x10(%rax)
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
cmpq $0x0, 0x8(%rax)
je 0xce999
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x9180
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq $0x0, 0x8(%rax)
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
testb $0x1, (%rax)
je 0xce9b6
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %rsi
callq 0xc5340
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
leaq 0x147222(%rip), %rcx    # 0x215be8
movq %rcx, 0x48(%rax)
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movb $0x1, 0x2(%rax)
movq 0x8(%rsp), %rax
movq $0x0, 0x20(%rax)
addq $0x18, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: file_read_name_or_sharp
static s7_pointer file_read_name_or_sharp(s7_scheme *sc, s7_pointer pt, bool atom_case)
    {
        int32_t c;
        s7_int i = 1;
        /* sc->strbuf[0] has the first char of the string we're reading */

        do {
            c = fgetc(port_file(pt)); /* might return EOF */
            if (c == '\n')
                port_line_number(pt)++;

            sc->strbuf[i++] = (unsigned char)c;
            if (i >= sc->strbuf_size)
                resize_strbuf(sc, i);
        } while ((c != EOF) && (char_ok_in_a_name[c]));

        if ((i == 2) &&
                (sc->strbuf[0] == '\\'))
            sc->strbuf[2] = '\0';
        else
        {
            if (c != EOF)
            {
                if (c == '\n')
                    port_line_number(pt)--;
                ungetc(c, port_file(pt));
            }
            sc->strbuf[i - 1] = '\0';
        }

        if (atom_case)
            return(make_atom(sc, sc->strbuf, BASE_10, SYMBOL_OK, WITH_OVERFLOW_ERROR));

        return(make_sharp_constant(sc, sc->strbuf, WITH_OVERFLOW_ERROR));
    }

// Assembly:
subq $0x38, %rsp
movb %dl, %al
movq %rdi, 0x28(%rsp)
movq %rsi, 0x20(%rsp)
andb $0x1, %al
movb %al, 0x1f(%rsp)
movq $0x1, 0x10(%rsp)
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x9290
movl %eax, 0x18(%rsp)
cmpl $0xa, 0x18(%rsp)
jne 0xcea3e
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movl 0x20(%rax), %ecx
addl $0x1, %ecx
movl %ecx, 0x20(%rax)
movl 0x18(%rsp), %eax
movb %al, %dl
movq 0x28(%rsp), %rax
movq 0x4b0(%rax), %rax
movq 0x10(%rsp), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x10(%rsp)
movb %dl, (%rax,%rcx)
movq 0x10(%rsp), %rax
movq 0x28(%rsp), %rcx
cmpq 0x4a8(%rcx), %rax
jl 0xcea86
movq 0x28(%rsp), %rdi
movq 0x10(%rsp), %rsi
callq 0xce2e0
jmp 0xcea88
xorl %eax, %eax
cmpl $-0x1, 0x18(%rsp)
movb %al, 0xf(%rsp)
je 0xceaa8
movq 0x153374(%rip), %rax    # 0x221e10
movslq 0x18(%rsp), %rcx
movb (%rax,%rcx), %al
movb %al, 0xf(%rsp)
movb 0xf(%rsp), %al
testb $0x1, %al
jne 0xcea0f
cmpq $0x2, 0x10(%rsp)
jne 0xceae2
movq 0x28(%rsp), %rax
movq 0x4b0(%rax), %rax
movsbl (%rax), %eax
cmpl $0x5c, %eax
jne 0xceae2
movq 0x28(%rsp), %rax
movq 0x4b0(%rax), %rax
movb $0x0, 0x2(%rax)
jmp 0xceb31
cmpl $-0x1, 0x18(%rsp)
je 0xceb18
cmpl $0xa, 0x18(%rsp)
jne 0xceb02
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movl 0x20(%rax), %ecx
addl $-0x1, %ecx
movl %ecx, 0x20(%rax)
movl 0x18(%rsp), %edi
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
callq 0x94c0
movq 0x28(%rsp), %rax
movq 0x4b0(%rax), %rax
movq 0x10(%rsp), %rcx
subq $0x1, %rcx
movb $0x0, (%rax,%rcx)
testb $0x1, 0x1f(%rsp)
je 0xceb63
movq 0x28(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x4b0(%rax), %rsi
movl $0xa, %edx
movl $0x1, %r8d
movl %r8d, %ecx
callq 0xca470
movq %rax, 0x30(%rsp)
jmp 0xceb83
movq 0x28(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x4b0(%rax), %rsi
movl $0x1, %edx
callq 0xcbc60
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
addq $0x38, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: file_write_char
static void file_write_char(s7_scheme *sc, uint8_t c, s7_pointer port)
    {
        if (port_position(port) == PORT_DATA_SIZE)
        {
            if (fwrite((void *)(port_data(port)), 1, PORT_DATA_SIZE, port_file(port)) != PORT_DATA_SIZE)
                s7_warn(sc, 64, "fwrite trouble during write-char\n");
            port_position(port) = 0;
        }
        port_data(port)[port_position(port)++] = c;
    }

// Assembly:
subq $0x18, %rsp
movb %sil, %al
movq %rdi, 0x10(%rsp)
movb %al, 0xf(%rsp)
movq %rdx, (%rsp)
movq (%rsp), %rax
cmpq $0x100, 0x20(%rax)      # imm = 0x100
jne 0xcec51
movq (%rsp), %rax
movq 0x10(%rax), %rdi
movq (%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rcx
movl $0x1, %esi
movl $0x100, %edx            # imm = 0x100
callq 0x9660
cmpq $0x100, %rax            # imm = 0x100
je 0xcec45
movq 0x10(%rsp), %rdi
movl $0x40, %esi
leaq 0x11f81b(%rip), %rdx    # 0x1ee459
movb $0x0, %al
callq 0x14df0
movq (%rsp), %rax
movq $0x0, 0x20(%rax)
movb 0xf(%rsp), %dl
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq (%rsp), %rsi
movq 0x20(%rsi), %rcx
movq %rcx, %rdi
addq $0x1, %rdi
movq %rdi, 0x20(%rsi)
movb %dl, (%rax,%rcx)
addq $0x18, %rsp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: file_write_string
static void file_write_string(s7_scheme *sc, const char *str, s7_int len, s7_pointer pt)
    {
        s7_int new_len;
        new_len = port_position(pt) + len;
        if (new_len >= PORT_DATA_SIZE)
        {
            if (port_position(pt) > 0)
            {
                if (fwrite((void *)(port_data(pt)), 1, port_position(pt), port_file(pt)) != (size_t)port_position(pt))
                    s7_warn(sc, 64, "fwrite trouble in write-string\n");
                port_position(pt) = 0;
            }
            if (fwrite((void *)str, 1, len, port_file(pt)) != (size_t)len)
                s7_warn(sc, 64, "fwrite trouble in write-string\n");
        }
        else
        {
            memcpy((void *)(port_data(pt) + port_position(pt)), (void *)str, len);
            port_position(pt) = new_len;
        }
    }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x20(%rsp)
movq %rsi, 0x18(%rsp)
movq %rdx, 0x10(%rsp)
movq %rcx, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq 0x20(%rax), %rax
addq 0x10(%rsp), %rax
movq %rax, (%rsp)
cmpq $0x100, (%rsp)          # imm = 0x100
jl 0xced5f
movq 0x8(%rsp), %rax
cmpq $0x0, 0x20(%rax)
jle 0xced1d
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0x8(%rsp), %rax
movq 0x20(%rax), %rdx
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rcx
movl $0x1, %esi
callq 0x9660
movq 0x8(%rsp), %rcx
cmpq 0x20(%rcx), %rax
je 0xced10
movq 0x20(%rsp), %rdi
movl $0x40, %esi
leaq 0x11f772(%rip), %rdx    # 0x1ee47b
movb $0x0, %al
callq 0x14df0
movq 0x8(%rsp), %rax
movq $0x0, 0x20(%rax)
movq 0x18(%rsp), %rdi
movq 0x10(%rsp), %rdx
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rcx
movl $0x1, %esi
callq 0x9660
cmpq 0x10(%rsp), %rax
je 0xced5d
movq 0x20(%rsp), %rdi
movl $0x40, %esi
leaq 0x11f725(%rip), %rdx    # 0x1ee47b
movb $0x0, %al
callq 0x14df0
jmp 0xced8d
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0x8(%rsp), %rax
addq 0x20(%rax), %rdi
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdx
callq 0x93e0
movq (%rsp), %rcx
movq 0x8(%rsp), %rax
movq %rcx, 0x20(%rax)
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)