// File: /workspace/github_cpp_makefile_star2_O3/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 0x4f58
movq %rsi, %r14
leaq -0x88(%rbp), %r13
movl $0x28, %ebx
xorl %r15d, %r15d
cmpq %r15, %rdx
jbe 0x5006
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 0x3688
addq %rbx, %r12
movq %r13, %rdi
movq %r12, %rsi
callq 0x2e02
leaq -0x48(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x11d89
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 0x4f07
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 0x4f31
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 0x4e84
leaq 0xefc5(%rip), %rsi      # 0x13f24
leaq -0x48(%rbp), %rdi
leaq -0x68(%rbp), %rdx
callq 0xdbf3
leaq 0xefb1(%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 0x4fa2
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x4fa8
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 0x4fd8
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x2240
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x4ff1
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 0xece2(%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 0x508a
movq -0x38(%rbp), %rsi
jmp 0x5053
jmp 0x5031
jmp 0x5031
movq %rax, %r14
jmp 0x508a
movq %rax, %r14
movq -0xa8(%rbp), %rdi
leaq -0x98(%rbp), %rax
cmpq %rax, %rdi
je 0x508a
movq -0x98(%rbp), %rsi
incq %rsi
callq 0x2240
jmp 0x508a
movq %rax, %r14
jmp 0x507e
movq %rax, %r14
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x507e
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x2240
leaq -0xb0(%rbp), %rdi
callq 0x2d8e
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x50a3
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x2240
movq %r14, %rdi
callq 0x23a0