// File: /workspace/github_cpp_makefile_star2_O3/king1600[P]cordpp/./include/json.h
// Function: nlohmann::detail::lexer<nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer>>::get_token_string() const
std::string get_token_string() const
    {
        // get the raw byte sequence of the last token
        std::string s = ia->read(start_pos, chars_read - start_pos);

        // escape control characters
        std::string result;
        for (auto c : s)
        {
            if (c == '\0' or c == std::char_traits<char>::eof())
            {
                // ignore EOF
                continue;
            }
            else if ('\x00' <= c and c <= '\x1f')
            {
                // escape control characters
                std::stringstream ss;
                ss << "<U+" << std::setw(4) << std::uppercase << std::setfill('0')
                   << std::hex << static_cast<int>(c) << ">";
                result += ss.str();
            }
            else
            {
                // add character as is
                result.push_back(c);
            }
        }

        return result;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1d8, %rsp            # imm = 0x1D8
movq %rdi, %rbx
movq 0x20(%rsi), %rdx
movq (%rsi), %rax
movq 0x18(%rsi), %rcx
subq %rdx, %rcx
movq (%rax), %r8
leaq 0x30(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq *0x8(%r8)
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
movq $0x0, 0x8(%rbx)
movb $0x0, 0x10(%rbx)
movq (%r14), %r15
movq 0x8(%r14), %rbp
testq %rbp, %rbp
je 0x1ead9
movq %rax, 0x8(%rsp)
xorl %r12d, %r12d
movsbl (%r15,%r12), %r14d
leal 0x1(%r14), %eax
cmpb $0x2, %al
jb 0x1eac8
cmpb $0x1f, %r14b
ja 0x1eabd
leaq 0x50(%rsp), %rdi
callq 0xa420
movl $0x3, %edx
leaq 0x60(%rsp), %rdi
leaq 0x1edbf(%rip), %rsi     # 0x3d790
callq 0xa6a0
movq 0x60(%rsp), %rax
movq -0x18(%rax), %rcx
movq $0x4, 0x70(%rsp,%rcx)
movq -0x18(%rax), %rcx
orl $0x4000, 0x78(%rsp,%rcx) # imm = 0x4000
movq -0x18(%rax), %rcx
leaq 0x60(%rsp), %rdx
leaq (%rdx,%rcx), %r13
cmpb $0x0, 0x141(%rsp,%rcx)
jne 0x1ea25
movq %r13, %rdi
movl $0x20, %esi
callq 0xa590
movb $0x1, 0xe1(%r13)
movq 0x60(%rsp), %rax
movb $0x30, 0xe0(%r13)
movq -0x18(%rax), %rax
movl 0x78(%rsp,%rax), %ecx
andl $-0x4b, %ecx
orl $0x8, %ecx
movl %ecx, 0x78(%rsp,%rax)
leaq 0x60(%rsp), %rdi
movl %r14d, %esi
callq 0xaa10
movl $0x1, %edx
movq %rax, %rdi
leaq 0x1dde1(%rip), %rsi     # 0x3c83c
callq 0xa6a0
leaq 0x10(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0xa960
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rdx
movq %rbx, %rdi
callq 0xa1c0
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x1ea9d
movq 0x20(%rsp), %rsi
incq %rsi
callq 0xa5d0
leaq 0x50(%rsp), %rdi
movq 0x374d7(%rip), %rsi     # 0x55f80
callq 0xa460
leaq 0xd0(%rsp), %rdi
callq 0xa1f0
jmp 0x1eac8
movq %rbx, %rdi
movl %r14d, %esi
callq 0xa500
incq %r12
cmpq %r12, %rbp
jne 0x1e99b
movq 0x30(%rsp), %r15
leaq 0x40(%rsp), %rax
cmpq %rax, %r15
je 0x1eaf3
movq 0x40(%rsp), %rsi
incq %rsi
movq %r15, %rdi
callq 0xa5d0
movq %rbx, %rax
addq $0x1d8, %rsp            # imm = 0x1D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x1eb0a
movq %rax, %r14
jmp 0x1eb53
movq %rax, %r14
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x1eb35
movq 0x20(%rsp), %rsi
incq %rsi
callq 0xa5d0
jmp 0x1eb35
jmp 0x1eb32
movq %rax, %r14
movq 0x37444(%rip), %rsi     # 0x55f80
leaq 0x50(%rsp), %rdi
callq 0xa460
leaq 0xd0(%rsp), %rdi
callq 0xa1f0
movq (%rbx), %rdi
cmpq 0x8(%rsp), %rdi
je 0x1eb6d
movq 0x8(%rsp), %rax
movq (%rax), %rsi
incq %rsi
callq 0xa5d0
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1eb88
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xa5d0
movq %r14, %rdi
callq 0xaa30