// File: /workspace/github_c_makefile_star2_O2/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 %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r14
movq 0x20(%rsi), %rax
movzbl (%r14,%rax), %edx
leaq 0xad9c5(%rip), %rcx     # 0x124a60
cmpb $0x1, (%rdx,%rcx)
jne 0x770c9
leaq (%r14,%rax), %rdx
incq %rdx
addq %rax, %r14
xorl %r12d, %r12d
movzbl (%rdx,%r12), %edi
incq %r12
cmpb $0x0, (%rdi,%rcx)
jne 0x770ae
decq %r14
testb %dil, %dil
je 0x7711a
addq %r12, %rax
jmp 0x7711e
movq 0x488(%rbx), %rax
movq 0x4b0(%rbx), %rcx
movzbl (%rcx), %edx
movq (%rax,%rdx,8), %rax
testq %rax, %rax
jne 0x7710e
movb $0x0, 0x1(%rcx)
movq 0x4b0(%rbx), %rsi
pushq $0x1
popq %rdx
movq %rbx, %rdi
callq 0x8c3b
movq 0x488(%rbx), %rcx
movq 0x4b0(%rbx), %rdx
movzbl (%rdx), %edx
movq %rax, (%rcx,%rdx,8)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq 0x18(%rsi), %rax
leaq 0x1(%r12), %r15
movq %rax, 0x20(%rsi)
movzbl (%r14), %eax
leaq 0xada2e(%rip), %rcx     # 0x124b60
cmpb $0x0, (%rax,%rcx)
je 0x7718d
leaq 0x2(%r12), %rsi
cmpq 0x4a8(%rbx), %rsi
jl 0x7714e
movq %rbx, %rdi
callq 0x7697b
movq 0x4b0(%rbx), %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x83e0
movq 0x4b0(%rbx), %rax
movb $0x0, 0x1(%rax,%r12)
movq 0x4b0(%rbx), %rsi
pushq $0xa
popq %rdx
pushq $0x1
popq %rcx
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x74d92
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x8c3b