// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: g_string_1
static s7_pointer g_string_1(s7_scheme *sc, s7_pointer args, s7_pointer sym)
    {
        int32_t i, len;
        s7_pointer x, newstr;
        char *str;

        /* get length for new string and check arg types */
        for (len = 0, x = args; is_not_null(x); len++, x = cdr(x))
        {
            s7_pointer p;
            p = car(x);
            if (!s7_is_character(p))
            {
                if (has_active_methods(sc, p))
                {
                    s7_pointer func;
                    func = find_method(sc, find_let(sc, p), sym);
                    if (func != sc->undefined)
                    {
                        s7_pointer y;
                        if (len == 0)
                            return(s7_apply_function(sc, func, args));
                        newstr = make_empty_string(sc, len, 0);
                        str = string_value(newstr);
                        for (i = 0, y = args; y != x; i++, y = cdr(y))
                            str[i] = character(car(y));
                        return(g_string_append_1(sc, set_plist_2(sc, newstr, s7_apply_function(sc, func, x)), sym));
                    }
                }
                return(wrong_type_argument(sc, sym, len + 1, car(x), T_CHARACTER));
            }
        }
        newstr = make_empty_string(sc, len, 0);
        str = string_value(newstr);
        for (i = 0, x = args; is_not_null(x); i++, x = cdr(x))
            str[i] = character(car(x));

        return(newstr);
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x110(%rdi), %rax
cmpq %rsi, %rax
je 0xfd456
movq %rdx, %r12
xorl %r13d, %r13d
movq %r14, %r15
movq 0x8(%r15), %rsi
cmpb $0x8, (%rsi)
jne 0xfd497
incq %r13
movq 0x10(%r15), %r15
cmpq %rax, %r15
jne 0xfd43c
movl %r13d, %esi
jmp 0xfd458
xorl %esi, %esi
movq %rbx, %rdi
xorl %edx, %edx
callq 0xeab0
cmpq %r14, 0x110(%rbx)
je 0xfd488
movq 0x10(%rax), %rcx
movq 0x8(%r14), %rdx
movb 0x8(%rdx), %dl
movb %dl, (%rcx)
movq 0x10(%r14), %r14
incq %rcx
cmpq 0x110(%rbx), %r14
jne 0xfd46f
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
testb $0x40, 0x3(%rsi)
je 0xfd54b
cmpb $0x1, 0x24c(%rbx)
jne 0xfd54b
movq %rbx, %rdi
callq 0x8a63
movq %rbx, %rdi
movq %rax, %rsi
movq %r12, %rdx
callq 0x89ff
cmpq 0x128(%rbx), %rax
je 0xfd54b
movq %rax, %rbp
testq %r13, %r13
je 0xfd5ce
movq %rbx, %rdi
movq %r13, %rsi
xorl %edx, %edx
callq 0xeab0
movq %rax, %r13
cmpq %r14, %r15
je 0xfd507
movq 0x10(%r13), %rax
movq 0x8(%r14), %rcx
movb 0x8(%rcx), %cl
movb %cl, (%rax)
movq 0x10(%r14), %r14
incq %rax
cmpq %r15, %r14
jne 0xfd4f2
movq %rbx, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0xaee6
movq 0x708(%rbx), %rcx
movq %r13, 0x8(%rcx)
movq 0x710(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x708(%rbx), %rsi
movq %rbx, %rdi
movq %r12, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xf9d68
movq 0x8(%r12), %r14
cmpq $0x7fe, %r13            # imm = 0x7FE
ja 0xfd567
leaq 0x493f0(%rip), %rax     # 0x146950
movq 0x8(%rax,%r13,8), %rdx
jmp 0xfd5a3
incq %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xfd589
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rdx
movq $0xb, (%rdx)
movq %r13, 0x8(%rdx)
movq 0x8(%r15), %rcx
movq 0x140(%rbx), %r8
movq 0x4d4eb(%rip), %r9      # 0x14aaa0
movq %rbx, %rdi
movq %r14, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xa4e4
movq %rbx, %rdi
movq %rbp, %rsi
movq %r14, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xaee6