// File: /workspace/github_cpp_makefile_star2_O1/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, 0x8(%rsp)
movq %rax, (%rbx)
movq $0x0, 0x8(%rbx)
movb $0x0, 0x10(%rbx)
movq 0x8(%r14), %rbp
testq %rbp, %rbp
je 0x1f009
movq 0x30(%rsp), %r13
xorl %r14d, %r14d
movsbl (%r13,%r14), %r15d
leal 0x1(%r15), %eax
cmpb $0x2, %al
jb 0x1effd
cmpb $0x1f, %r15b
ja 0x1eff2
leaq 0x50(%rsp), %rdi
callq 0xa420
movl $0x3, %edx
leaq 0x60(%rsp), %rdi
leaq 0x1f8a6(%rip), %rsi     # 0x3e7a2
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), %rax
leaq 0x60(%rsp), %rcx
leaq (%rcx,%rax), %r12
cmpb $0x0, 0x141(%rsp,%rax)
jne 0x1ef54
movq %r12, %rdi
movl $0x20, %esi
callq 0xa590
movb %al, 0xe0(%r12)
movb $0x1, 0xe1(%r12)
movb $0x30, 0xe0(%r12)
movq 0x60(%rsp), %rax
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 %r15d, %esi
callq 0xaa10
movl $0x1, %edx
movq %rax, %rdi
leaq 0x1e8a4(%rip), %rsi     # 0x3d834
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 0x1efd2
movq 0x20(%rsp), %rsi
incq %rsi
callq 0xa5d0
leaq 0x50(%rsp), %rdi
movq 0x37fa2(%rip), %rsi     # 0x56f80
callq 0xa460
leaq 0xd0(%rsp), %rdi
callq 0xa1f0
jmp 0x1effd
movq %rbx, %rdi
movl %r15d, %esi
callq 0xa500
incq %r14
cmpq %r14, %rbp
jne 0x1eec5
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1f024
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xa5d0
movq %rbx, %rax
addq $0x1d8, %rsp            # imm = 0x1D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x1f03b
movq %rax, %r14
jmp 0x1f084
movq %rax, %r14
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x1f066
movq 0x20(%rsp), %rsi
incq %rsi
callq 0xa5d0
jmp 0x1f066
jmp 0x1f063
movq %rax, %r14
movq 0x37f13(%rip), %rsi     # 0x56f80
leaq 0x50(%rsp), %rdi
callq 0xa460
leaq 0xd0(%rsp), %rdi
callq 0xa1f0
movq (%rbx), %rdi
cmpq 0x8(%rsp), %rdi
je 0x1f09e
movq 0x8(%rsp), %rax
movq (%rax), %rsi
incq %rsi
callq 0xa5d0
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1f0b9
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xa5d0
movq %r14, %rdi
callq 0xaa30
nop