// File: /workspace/github_cpp_makefile_star2_O2/hariguchi[P]rtacl/./rtacl.hpp
// Function: rtacl::range2str[abi:cxx11](boost::geometry::model::box<boost::geometry::model::point<long, 6ul, boost::geometry::cs::cartesian>> const&)
inline std::string
range2str (const rtacl::range<ipv4a>& r)
{
    return (boost::format("%s-%s, %s-%s, %d-%d, %d-%d, %d-%d, %d-%d")
            % rtacl::ipv4a2s(r.min_corner().get<0>() + 1)
            % rtacl::ipv4a2s(r.max_corner().get<0>() - 1)
            % rtacl::ipv4a2s(r.min_corner().get<1>() + 1)
            % rtacl::ipv4a2s(r.max_corner().get<1>() - 1)
            % static_cast<U32>(r.min_corner().get<2>() + 1)
            % static_cast<U32>(r.max_corner().get<2>() - 1)
            % static_cast<U32>(r.min_corner().get<3>() + 1)
            % static_cast<U32>(r.max_corner().get<3>() - 1)
            % static_cast<U32>(r.min_corner().get<4>() + 1)
            % static_cast<U32>(r.max_corner().get<4>() - 1)
            % static_cast<U32>(r.min_corner().get<5>() + 1)
            % static_cast<U32>(r.max_corner().get<5>() - 1)).str();
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x180, %rsp            # imm = 0x180
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x24ae1(%rip), %rsi     # 0x2b992
leaq 0xa0(%rsp), %rdi
callq 0x6bb4
movq (%r14), %rsi
incq %rsi
leaq 0x80(%rsp), %rdi
callq 0xdc96
leaq 0xa0(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0xdc63
movq %rax, %r15
movq 0x30(%r14), %rsi
decq %rsi
leaq 0x60(%rsp), %rdi
callq 0xdc96
leaq 0x60(%rsp), %rsi
movq %r15, %rdi
callq 0xdc63
movq %rax, %r15
movq 0x8(%r14), %rsi
incq %rsi
leaq 0x40(%rsp), %rdi
callq 0xdc96
leaq 0x40(%rsp), %rsi
movq %r15, %rdi
callq 0xdc63
movq %rax, %r15
movq 0x38(%r14), %rsi
decq %rsi
leaq 0x20(%rsp), %rdi
callq 0xdc96
leaq 0x20(%rsp), %rsi
movq %r15, %rdi
callq 0xdc63
movl 0x10(%r14), %ecx
incl %ecx
leaq 0x1c(%rsp), %rsi
movl %ecx, (%rsi)
movq %rax, %rdi
callq 0xdddf
movl 0x40(%r14), %ecx
decl %ecx
leaq 0x18(%rsp), %rsi
movl %ecx, (%rsi)
movq %rax, %rdi
callq 0xdddf
movl 0x18(%r14), %ecx
incl %ecx
leaq 0x14(%rsp), %rsi
movl %ecx, (%rsi)
movq %rax, %rdi
callq 0xdddf
movl 0x48(%r14), %ecx
decl %ecx
leaq 0x10(%rsp), %rsi
movl %ecx, (%rsi)
movq %rax, %rdi
callq 0xdddf
movl 0x20(%r14), %ecx
incl %ecx
leaq 0xc(%rsp), %rsi
movl %ecx, (%rsi)
movq %rax, %rdi
callq 0xdddf
movl 0x50(%r14), %ecx
decl %ecx
leaq 0x8(%rsp), %rsi
movl %ecx, (%rsi)
movq %rax, %rdi
callq 0xdddf
movl 0x28(%r14), %ecx
incl %ecx
leaq 0x4(%rsp), %rsi
movl %ecx, (%rsi)
movq %rax, %rdi
callq 0xdddf
movl 0x58(%r14), %ecx
decl %ecx
movq %rsp, %rsi
movl %ecx, (%rsi)
movq %rax, %rdi
callq 0xdddf
movq %rbx, %rdi
movq %rax, %rsi
callq 0x6c96
leaq 0x20(%rsp), %rdi
callq 0x4100
leaq 0x40(%rsp), %rdi
callq 0x4100
leaq 0x60(%rsp), %rdi
callq 0x4100
leaq 0x80(%rsp), %rdi
callq 0x4100
leaq 0xa0(%rsp), %rdi
callq 0x6dfa
movq %rbx, %rax
addq $0x180, %rsp            # imm = 0x180
popq %rbx
popq %r14
popq %r15
retq
jmp 0x706c
jmp 0x706c
jmp 0x706c
jmp 0x706c
jmp 0x706c
jmp 0x706c
jmp 0x706c
jmp 0x706c
jmp 0x7054
movq %rax, %rbx
jmp 0x7079
jmp 0x705b
movq %rax, %rbx
jmp 0x7083
jmp 0x7062
movq %rax, %rbx
jmp 0x708d
movq %rax, %rbx
jmp 0x709a
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0x4100
leaq 0x40(%rsp), %rdi
callq 0x4100
leaq 0x60(%rsp), %rdi
callq 0x4100
leaq 0x80(%rsp), %rdi
callq 0x4100
leaq 0xa0(%rsp), %rdi
callq 0x6dfa
movq %rbx, %rdi
callq 0x4430
nop