// File: /workspace/github_cpp_makefile_star2_O1/Mespyr[P]bop-lisp/src/eval.cpp
// Function: Function_format_string[abi:cxx11](std::vector<object, std::allocator<object>>)
std::string Function_format_string(std::vector<object> objs) 
{
    std::string res;
    for (int i = 0; i < (int)objs.size(); i++) 
    {
        res += repr(objs.at(i));
    }
    return "'"+res+"'";
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rdi, -0x70(%rbp)
leaq -0x58(%rbp), %rax
movq %rax, -0x10(%rax)
movq $0x0, -0x8(%rax)
movb $0x0, (%rax)
movq (%rsi), %r12
movq 0x8(%rsi), %rdx
subq %r12, %rdx
sarq $0x6, %rdx
testl %edx, %edx
jle 0x4f78
movq %rsi, %r14
leaq -0x88(%rbp), %r13
movl $0x28, %ebx
xorl %r15d, %r15d
cmpq %r15, %rdx
jbe 0x5026
movl -0x28(%r12,%rbx), %eax
movl %eax, -0xb0(%rbp)
leaq -0x98(%rbp), %rax
movq %rax, -0xa8(%rbp)
movq -0x20(%r12,%rbx), %rsi
movq -0x18(%r12,%rbx), %rdx
addq %rsi, %rdx
leaq -0xa8(%rbp), %rdi
callq 0x367e
addq %rbx, %r12
movq %r13, %rdi
movq %r12, %rsi
callq 0x2e00
leaq -0x48(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x11d8d
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
leaq -0x68(%rbp), %rdi
callq 0x20f0
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x4f27
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x2240
movq %r13, %rdi
callq 0x2c20
movq -0xa8(%rbp), %rdi
leaq -0x98(%rbp), %rax
cmpq %rax, %rdi
je 0x4f51
movq -0x98(%rbp), %rsi
incq %rsi
callq 0x2240
incq %r15
movq (%r14), %r12
movq 0x8(%r14), %rax
subq %r12, %rax
movq %rax, %rdx
sarq $0x6, %rdx
shrq $0x6, %rax
cltq
addq $0x40, %rbx
cmpq %rax, %r15
jl 0x4ea4
leaq 0xefa5(%rip), %rsi      # 0x13f24
leaq -0x48(%rbp), %rdi
leaq -0x68(%rbp), %rdx
callq 0xdc6d
leaq 0xef91(%rip), %rsi      # 0x13f24
leaq -0x48(%rbp), %rdi
callq 0x23e0
movq -0x70(%rbp), %rbx
leaq 0x10(%rbx), %rdx
movq %rdx, (%rbx)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0x4fc2
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x4fc8
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rbx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x4ff8
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x2240
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x5011
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x2240
movq %rbx, %rax
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xecc2(%rip), %rdi      # 0x13cef
movq %r15, %rsi
xorl %eax, %eax
callq 0x2320
movq %rax, %r14
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x50aa
movq -0x38(%rbp), %rsi
jmp 0x5073
jmp 0x5051
jmp 0x5051
movq %rax, %r14
jmp 0x50aa
movq %rax, %r14
movq -0xa8(%rbp), %rdi
leaq -0x98(%rbp), %rax
cmpq %rax, %rdi
je 0x50aa
movq -0x98(%rbp), %rsi
incq %rsi
callq 0x2240
jmp 0x50aa
movq %rax, %r14
jmp 0x509e
movq %rax, %r14
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x509e
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x2240
leaq -0xb0(%rbp), %rdi
callq 0x2d8c
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x50c3
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x2240
movq %r14, %rdi
callq 0x23a0