// File: /workspace/github_cpp_makefile_star2_O2/pfnet-research[P]pml/./include/utility.hpp
// Function: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> format<unsigned long, unsigned long, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, unsigned long const&, unsigned long const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
inline static std::string format(std::string const& text, Head const& head, Tail const& ... tail) {
    auto pos = text.find("{}");
    if (pos == std::string::npos)
        throw std::logic_error{"too few arguments"};
    std::string rest = text.substr(pos+2, text.length());
    std::stringstream ss;
    ss << head;
    return text.substr(0, pos) + ss.str() + format(rest, tail ...);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x458, %rsp            # imm = 0x458
movq %r8, %r14
movq %rcx, %r15
movq %rdx, %rbp
movq %rsi, %r12
movq %rdi, %rbx
leaq 0x1cd46(%rip), %rsi     # 0x3e494
movq %r12, %rdi
xorl %edx, %edx
callq 0x9550
cmpq $-0x1, %rax
je 0x21960
movq %rax, %r13
leaq 0x2(%rax), %rdx
movq 0x8(%r12), %rcx
leaq 0x8(%rsp), %rdi
movq %r12, %rsi
callq 0x9310
leaq 0x148(%rsp), %rdi
callq 0x91e0
leaq 0x158(%rsp), %rdi
movq (%rbp), %rsi
callq 0x91c0
leaq 0x68(%rsp), %rdi
movq %r12, %rsi
xorl %edx, %edx
movq %r13, %rcx
callq 0x9310
leaq 0x160(%rsp), %rsi
leaq 0x48(%rsp), %rdi
callq 0x9440
leaq 0x88(%rsp), %rdi
leaq 0x68(%rsp), %rsi
leaq 0x48(%rsp), %rdx
callq 0xeb88
leaq 0x1ccb9(%rip), %rsi     # 0x3e494
leaq 0x8(%rsp), %rdi
xorl %edx, %edx
callq 0x9550
cmpq $-0x1, %rax
je 0x21990
movq %rax, %r12
leaq 0x2(%rax), %rdx
leaq 0x8(%rsp), %rsi
movq 0x8(%rsi), %rcx
leaq 0x128(%rsp), %rdi
callq 0x9310
leaq 0x2d0(%rsp), %rdi
callq 0x91e0
leaq 0x2e0(%rsp), %rdi
movq (%r15), %rsi
callq 0x91c0
leaq 0xe8(%rsp), %rdi
leaq 0x8(%rsp), %rsi
xorl %edx, %edx
movq %r12, %rcx
callq 0x9310
leaq 0x2e8(%rsp), %rsi
leaq 0xc8(%rsp), %rdi
callq 0x9440
leaq 0x108(%rsp), %rdi
leaq 0xe8(%rsp), %rsi
leaq 0xc8(%rsp), %rdx
callq 0xeb88
leaq 0xa8(%rsp), %rdi
leaq 0x128(%rsp), %rsi
movq %r14, %rdx
callq 0x2203e
leaq 0x28(%rsp), %rdi
leaq 0x108(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0xeb88
leaq 0xa8(%rsp), %rdi
callq 0x9130
leaq 0x108(%rsp), %rdi
callq 0x9130
leaq 0xc8(%rsp), %rdi
callq 0x9130
leaq 0xe8(%rsp), %rdi
callq 0x9130
leaq 0x2d0(%rsp), %rdi
callq 0x9220
leaq 0x128(%rsp), %rdi
callq 0x9130
leaq 0x88(%rsp), %rsi
leaq 0x28(%rsp), %rdx
movq %rbx, %rdi
callq 0xeb88
leaq 0x28(%rsp), %rdi
callq 0x9130
leaq 0x88(%rsp), %rdi
callq 0x9130
leaq 0x48(%rsp), %rdi
callq 0x9130
leaq 0x68(%rsp), %rdi
callq 0x9130
leaq 0x148(%rsp), %rdi
callq 0x9220
leaq 0x8(%rsp), %rdi
callq 0x9130
movq %rbx, %rax
addq $0x458, %rsp            # imm = 0x458
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
pushq $0x10
popq %rdi
callq 0x9150
movq %rax, %r14
leaq 0x16bb4(%rip), %rsi     # 0x38526
movq %rax, %rdi
callq 0x93c0
movq 0x3a64f(%rip), %rsi     # 0x5bfd0
movq 0x3a610(%rip), %rdx     # 0x5bf98
movq %r14, %rdi
callq 0x94b0
pushq $0x10
popq %rdi
callq 0x9150
movq %rax, %r14
leaq 0x16b84(%rip), %rsi     # 0x38526
movq %rax, %rdi
callq 0x93c0
movq 0x3a61f(%rip), %rsi     # 0x5bfd0
movq 0x3a5e0(%rip), %rdx     # 0x5bf98
movq %r14, %rdi
callq 0x94b0
movq %rax, %rbx
movq %r14, %rdi
callq 0x9210
jmp 0x21a51
movq %rax, %rbx
movq %r14, %rdi
callq 0x9210
jmp 0x21a89
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
jmp 0x21a4c
movq %rax, %rbx
leaq 0xa8(%rsp), %rdi
callq 0x9130
jmp 0x219ff
movq %rax, %rbx
leaq 0x108(%rsp), %rdi
callq 0x9130
jmp 0x21a11
movq %rax, %rbx
leaq 0xc8(%rsp), %rdi
callq 0x9130
jmp 0x21a23
movq %rax, %rbx
leaq 0xe8(%rsp), %rdi
callq 0x9130
jmp 0x21a37
jmp 0x21a34
movq %rax, %rbx
leaq 0x2d0(%rsp), %rdi
callq 0x9220
leaq 0x128(%rsp), %rdi
callq 0x9130
leaq 0x88(%rsp), %rdi
callq 0x9130
leaq 0x48(%rsp), %rdi
callq 0x9130
leaq 0x68(%rsp), %rdi
callq 0x9130
leaq 0x148(%rsp), %rdi
callq 0x9220
leaq 0x8(%rsp), %rdi
callq 0x9130
movq %rbx, %rdi
callq 0x94d0
movq %rax, %rbx
jmp 0x21a44
movq %rax, %rbx
jmp 0x21a5e
movq %rax, %rbx
jmp 0x21a68
jmp 0x21aa2
movq %rax, %rbx
jmp 0x21a72
movq %rax, %rbx
jmp 0x21a7f
movq %rax, %rbx
jmp 0x21a51