// File: SYZYGYfpga[P]syzygy-tools/include/json.hpp
// 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
    {
        // escape control characters
        std::string result;
        for (const auto c : token_string)
        {
            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
movq %rsp, %rbp
subq $0x250, %rsp            # imm = 0x250
movq %rdi, -0x210(%rbp)
movq %rdi, %rax
movq %rax, -0x208(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x200(%rbp)
movb $0x0, -0x11(%rbp)
callq 0x33d0
movq -0x200(%rbp), %rax
addq $0x20, %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rdi
callq 0xed30
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rdi
callq 0xed60
movq %rax, -0x30(%rbp)
leaq -0x28(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0xed90
testb $0x1, %al
jne 0xcc47
jmp 0xce32
leaq -0x28(%rbp), %rdi
callq 0xedd0
movb (%rax), %al
movb %al, -0x31(%rbp)
movsbl -0x31(%rbp), %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jg 0xce0e
movsbl -0x31(%rbp), %eax
cmpl $0x1f, %eax
jg 0xce0e
leaq -0x1c0(%rbp), %rdi
callq 0x3250
jmp 0xcc7e
leaq -0x1b0(%rbp), %rdi
leaq 0x9f1d(%rip), %rsi      # 0x16ba9
callq 0x32f0
movq %rax, -0x218(%rbp)
jmp 0xcc9a
movl $0x4, %edi
callq 0xedf0
movl %eax, -0x21c(%rbp)
jmp 0xccac
movq -0x218(%rbp), %rdi
movl -0x21c(%rbp), %eax
movl %eax, -0x1d0(%rbp)
movl -0x1d0(%rbp), %esi
callq 0x3350
movq %rax, -0x228(%rbp)
jmp 0xccd3
movq -0x228(%rbp), %rdi
leaq 0x212f(%rip), %rsi      # 0xee10
callq 0x30f0
movq %rax, -0x230(%rbp)
jmp 0xccef
movl $0x30, %edi
callq 0xee40
movb %al, -0x231(%rbp)
jmp 0xcd01
movq -0x230(%rbp), %rdi
movb -0x231(%rbp), %al
movb %al, -0x1d1(%rbp)
movzbl -0x1d1(%rbp), %esi
callq 0x3450
movq %rax, -0x240(%rbp)
jmp 0xcd29
movq -0x240(%rbp), %rdi
leaq 0x2129(%rip), %rsi      # 0xee60
callq 0x30f0
movq %rax, -0x248(%rbp)
jmp 0xcd45
movq -0x248(%rbp), %rdi
movsbl -0x31(%rbp), %esi
callq 0x34d0
movq %rax, -0x250(%rbp)
jmp 0xcd5e
movq -0x250(%rbp), %rdi
leaq 0x9e86(%rip), %rsi      # 0x16bf2
callq 0x32f0
jmp 0xcd73
leaq -0x1f8(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
callq 0x32e0
jmp 0xcd88
movq -0x210(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
callq 0x3370
jmp 0xcd9d
leaq -0x1f8(%rbp), %rdi
callq 0x3200
leaq -0x1c0(%rbp), %rdi
callq 0x3270
jmp 0xce22
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
jmp 0xce58
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
jmp 0xce00
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c8(%rbp)
movl %eax, -0x1cc(%rbp)
leaq -0x1f8(%rbp), %rdi
callq 0x3200
leaq -0x1c0(%rbp), %rdi
callq 0x3270
jmp 0xce58
movq -0x210(%rbp), %rdi
movsbl -0x31(%rbp), %esi
callq 0x32a0
jmp 0xce20
jmp 0xce22
jmp 0xce24
leaq -0x28(%rbp), %rdi
callq 0xee90
jmp 0xcc31
movb $0x1, -0x11(%rbp)
testb $0x1, -0x11(%rbp)
jne 0xce48
movq -0x210(%rbp), %rdi
callq 0x3200
movq -0x208(%rbp), %rax
addq $0x250, %rsp            # imm = 0x250
popq %rbp
retq
movq -0x210(%rbp), %rdi
callq 0x3200
movq -0x1c8(%rbp), %rdi
callq 0x34e0