// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: string_read_name_no_free
static s7_pointer string_read_name_no_free(s7_scheme *sc, s7_pointer pt)
    {
        /* sc->strbuf[0] has the first char of the string we're reading */
        s7_pointer result;
        char *str;

        str = (char *)(port_data(pt) + port_position(pt));

        if (char_ok_in_a_name[(uint8_t)*str])
        {
            s7_int k;
            char *orig_str;

            orig_str = (char *)(str - 1);
            str++;
            while (char_ok_in_a_name[(uint8_t)(*str)]) {str++;}
            k = str - orig_str;
            if (*str != 0)
                port_position(pt) += (k - 1);
            else port_position(pt) = port_data_size(pt);

            /* this is equivalent to:
             *    str = strpbrk(str, "(); \"\t\r\n");
             *    if (!str)
             *      {
             *        k = strlen(orig_str);
             *        str = (char *)(orig_str + k);
             *      }
             *    else k = str - orig_str;
             * but slightly faster.
             */

            if (!number_table[(uint8_t)(*orig_str)])
                return(make_symbol_with_length(sc, orig_str, k));

            /* eval_c_string string is a constant so we can't set and unset the token's end char */
            if ((k + 1) >= sc->strbuf_size)
                resize_strbuf(sc, k + 1);

            memcpy((void *)(sc->strbuf), (void *)orig_str, k);
            sc->strbuf[k] = '\0';
            return(make_atom(sc, sc->strbuf, BASE_10, SYMBOL_OK, WITH_OVERFLOW_ERROR));
        }

        result = sc->singletons[(uint8_t)(sc->strbuf[0])];
        if (!result)
        {
            sc->strbuf[1] = '\0';
            result = make_symbol_with_length(sc, sc->strbuf, 1);
            sc->singletons[(uint8_t)(sc->strbuf[0])] = result;
        }
        return(result);
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rsi
movq 0x20(%rax), %rcx
movzbl (%rsi,%rcx), %edi
leaq 0xc14c4(%rip), %rdx     # 0x155a60
cmpb $0x1, (%rdi,%rdx)
jne 0x945cc
addq %rcx, %rsi
movl $0x2, %r15d
movzbl -0x1(%rsi,%r15), %edi
incq %r15
cmpb $0x0, (%rdi,%rdx)
jne 0x945ab
leaq -0x1(%rsi), %r14
testb %dil, %dil
je 0x94628
addq %r15, %rcx
addq $-0x2, %rcx
jmp 0x9462c
movq 0x488(%rbx), %rcx
movq 0x4b0(%rbx), %rax
movzbl (%rax), %edx
movq (%rcx,%rdx,8), %r14
testq %r14, %r14
jne 0x94967
movb $0x0, 0x1(%rax)
movq 0x4b0(%rbx), %r12
movzbl (%r12), %r15d
movq 0x148(%rbx), %rax
movq 0x10(%rax), %rax
movq (%rax,%r15,8), %rax
cmpb $0x1, (%rax)
jne 0x94723
cmpq %r15, 0x18(%rax)
jne 0x94622
cmpl $0x1, 0x2c(%rax)
je 0x94979
movq 0x10(%rax), %rax
jmp 0x94609
movq 0x18(%rax), %rcx
leaq -0x1(%r15), %r12
movq %rcx, 0x20(%rax)
movzbl (%r14), %eax
leaq 0xc1521(%rip), %rcx     # 0x155b60
cmpb $0x0, (%rax,%rcx)
je 0x9469f
cmpq 0x4a8(%rbx), %r15
jl 0x94659
movq %rbx, %rdi
movq %r15, %rsi
callq 0x93c9f
movq 0x4b0(%rbx), %rdi
movq %r14, %rsi
movq %r12, %rdx
callq 0x83e0
movq 0x4b0(%rbx), %rax
movb $0x0, -0x1(%rax,%r15)
movq 0x4b0(%rbx), %rsi
movq %rbx, %rdi
movl $0xa, %edx
movl $0x1, %ecx
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x91b3a
movq $0x0, 0x8(%rsp)
cmpq $0x8, %r12
jg 0x9474d
leaq 0x8(%rsp), %r13
movq %r13, %rdi
movq %r14, %rsi
movq %r12, %rdx
callq 0x83e0
movq (%r13), %r13
movabsq $-0x7fecfd2d94c4151b, %rcx # imm = 0x801302D26B3BEAE5
movq %r13, %rax
mulq %rcx
shrq $0xe, %rdx
imulq $0x7fed, %rdx, %rax     # imm = 0x7FED
movq %r13, %rbp
subq %rax, %rbp
movq 0x148(%rbx), %rax
movq 0x10(%rax), %rax
movl %ebp, %ecx
movq (%rax,%rcx,8), %rax
cmpb $0x1, (%rax)
jne 0x947f3
cmpq 0x18(%rax), %r13
jne 0x9471d
movl 0x2c(%rax), %ecx
movq %r15, %rdx
subq %rcx, %rdx
cmpq $0x1, %rdx
je 0x9497f
movq 0x10(%rax), %rax
jmp 0x946fb
movl 0x7f8(%rbx), %ecx
cmpl $0x2e00, %ecx           # imm = 0x2E00
jne 0x94815
movl $0x2e00, %edi           # imm = 0x2E00
callq 0x8480
movq %rax, 0x828(%rbx)
xorl %ecx, %ecx
jmp 0x9481c
movq %r14, (%rsp)
movq -0x1(%rsi), %r13
leaq 0x10(%rsp), %rbp
movq $0x0, (%rbp)
addq $0x7, %rsi
cmpq $0x10, %r12
movl $0x10, %edx
cmovbq %r12, %rdx
addq $-0x8, %rdx
movq %rbp, %rdi
callq 0x83e0
addq (%rbp), %r13
movabsq $-0x7fecfd2d94c4151b, %rcx # imm = 0x801302D26B3BEAE5
movq %r13, %rax
mulq %rcx
shrq $0xe, %rdx
imulq $0x7fed, %rdx, %rax     # imm = 0x7FED
movq %r13, %rbp
subq %rax, %rbp
movq 0x148(%rbx), %rax
movq 0x10(%rax), %rax
movl %ebp, %ecx
movq (%rax,%rcx,8), %r14
cmpb $0x1, (%r14)
jne 0x947ef
cmpq 0x18(%r14), %r13
jne 0x947e9
movl 0x2c(%r14), %eax
movq %r15, %rcx
subq %rax, %rcx
cmpq $0x1, %rcx
jne 0x947e9
movq 0x20(%r14), %rsi
movq (%rsp), %rdi
movq %r12, %rdx
callq 0x8c146
testb %al, %al
jne 0x94985
movq 0x10(%r14), %r14
jmp 0x947b5
movq (%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
movq %r12, %rdx
movq %r13, %rcx
movl %ebp, %r8d
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x9632
movq 0x828(%rbx), %rax
movl %ecx, %edx
leaq (%rax,%rdx), %r14
addl $0xb8, %ecx
movl %ecx, 0x7f8(%rbx)
leaq (%rax,%rdx), %r13
addq $0x30, %r13
movq 0x8c8(%rbx), %rcx
leaq 0x8(%rcx), %rdx
cmpq $0x10000, %rdx          # imm = 0x10000
jbe 0x94864
movl $0x10000, %edi          # imm = 0x10000
callq 0x8480
movq %rax, 0x8d0(%rbx)
movl $0x8, %edx
xorl %ecx, %ecx
jmp 0x9486b
movq 0x8d0(%rbx), %rax
leaq (%rax,%rcx), %rsi
movq %rdx, 0x8c8(%rbx)
movb (%r12), %dl
movb %dl, (%rax,%rcx)
movb $0x0, 0x1(%rax,%rcx)
movabsq $0x400000000000000a, %rax # imm = 0x400000000000000A
leaq 0x1000009(%rax), %rcx
movq %rcx, 0x30(%r14)
movq $0x1, 0x38(%r14)
movq %rsi, 0x40(%r14)
movq %r15, 0x48(%r14)
movq %rax, (%r14)
movq %r13, 0x8(%r14)
movq 0x128(%rbx), %rcx
movq %rcx, 0x10(%r14)
leaq 0x90(%r14), %rcx
movq %rcx, 0x50(%r14)
movq 0x128(%rbx), %rcx
movq %rcx, 0xb0(%r14)
movq 0x110(%rbx), %rcx
movq %rcx, 0x18(%r14)
movl $0x0, 0x9c(%r14)
movq $0x0, 0xa0(%r14)
leaq 0x60(%r14), %rcx
xorps %xmm0, %xmm0
movups %xmm0, 0x20(%r14)
addq $0xfffff7, %rax         # imm = 0xFFFFF7
movq %rax, 0x60(%r14)
movq %r14, 0x68(%r14)
movq 0x148(%rbx), %rax
movq 0x10(%rax), %rax
leal (,%r15,8), %edx
movq (%rax,%rdx), %rax
movq %rax, 0x70(%r14)
movq 0x148(%rbx), %rax
movq 0x10(%rax), %rax
movq %rcx, (%rax,%rdx)
movq %r15, 0x78(%r14)
movl $0x1, 0x8c(%r14)
movq 0x40(%r14), %rax
movq %rax, 0x80(%r14)
movq 0x4b0(%rbx), %rax
movzbl (%rax), %r15d
movq 0x488(%rbx), %rax
movq %r14, (%rax,%r15,8)
movq %r14, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x8(%rax), %r14
jmp 0x9495c
movq 0x8(%rax), %r14
jmp 0x94967
movq 0x8(%r14), %r14
jmp 0x94967