// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: string_read_name
static s7_pointer string_read_name(s7_scheme *sc, s7_pointer pt)
    {
        /* port_string was allocated (and read from a file) so we can mess with it directly */
        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 endc;
            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);

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

            endc = (*str);
            (*str) = '\0';
            result = make_atom(sc, orig_str, BASE_10, SYMBOL_OK, WITH_OVERFLOW_ERROR);
            (*str) = endc;
            return(result);
        }
        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:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x30(%rsp), %rcx
addq 0x20(%rcx), %rax
movq %rax, 0x20(%rsp)
movq 0x158f84(%rip), %rax    # 0x221e10
movq 0x20(%rsp), %rcx
movzbl (%rcx), %ecx
testb $0x1, (%rax,%rcx)
je 0xc8faa
movq 0x20(%rsp), %rax
addq $-0x1, %rax
movq %rax, 0x8(%rsp)
movq 0x20(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x20(%rsp)
movq 0x158f4f(%rip), %rax    # 0x221e10
movq 0x20(%rsp), %rcx
movzbl (%rcx), %ecx
testb $0x1, (%rax,%rcx)
je 0xc8edf
movq 0x20(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x20(%rsp)
jmp 0xc8eba
movq 0x20(%rsp), %rax
movq 0x8(%rsp), %rcx
subq %rcx, %rax
movq %rax, 0x18(%rsp)
movq 0x20(%rsp), %rax
movsbl (%rax), %eax
cmpl $0x0, %eax
je 0xc8f16
movq 0x18(%rsp), %rcx
subq $0x1, %rcx
movq 0x30(%rsp), %rax
addq 0x20(%rax), %rcx
movq %rcx, 0x20(%rax)
jmp 0xc8f28
movq 0x30(%rsp), %rax
movq 0x18(%rax), %rcx
movq 0x30(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x158ef1(%rip), %rax    # 0x221e20
movq 0x8(%rsp), %rcx
movzbl (%rcx), %ecx
testb $0x1, (%rax,%rcx)
jne 0xc8f5b
movq 0x38(%rsp), %rdi
movq 0x8(%rsp), %rsi
movq 0x18(%rsp), %rdx
callq 0xa2b0
movq %rax, 0x40(%rsp)
jmp 0xc9034
movq 0x20(%rsp), %rax
movb (%rax), %al
movb %al, 0x17(%rsp)
movq 0x20(%rsp), %rax
movb $0x0, (%rax)
movq 0x38(%rsp), %rdi
movq 0x8(%rsp), %rsi
movl $0xa, %edx
movl $0x1, %r8d
movl %r8d, %ecx
callq 0xca470
movq %rax, 0x28(%rsp)
movb 0x17(%rsp), %cl
movq 0x20(%rsp), %rax
movb %cl, (%rax)
movq 0x28(%rsp), %rax
movq %rax, 0x40(%rsp)
jmp 0xc9034
movq 0x38(%rsp), %rax
movq 0x488(%rax), %rax
movq 0x38(%rsp), %rcx
movq 0x4b0(%rcx), %rcx
movzbl (%rcx), %ecx
movq (%rax,%rcx,8), %rax
movq %rax, 0x28(%rsp)
cmpq $0x0, 0x28(%rsp)
jne 0xc902a
movq 0x38(%rsp), %rax
movq 0x4b0(%rax), %rax
movb $0x0, 0x1(%rax)
movq 0x38(%rsp), %rdi
movq 0x38(%rsp), %rax
movq 0x4b0(%rax), %rsi
movl $0x1, %edx
callq 0xa2b0
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rdx
movq 0x38(%rsp), %rax
movq 0x488(%rax), %rax
movq 0x38(%rsp), %rcx
movq 0x4b0(%rcx), %rcx
movzbl (%rcx), %ecx
movq %rdx, (%rax,%rcx,8)
movq 0x28(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
addq $0x48, %rsp
retq
nop