// File: Konano[P]UselessDatabase/./json.hpp
// Function: 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>::json_value::destroy(nlohmann::detail::value_t)
void destroy(value_t t) noexcept
        {
            // flatten the current json_value to a heap-allocated stack
            std::vector<basic_json> stack;

            // move the top-level items to stack
            if (t == value_t::array)
            {
                stack.reserve(array->size());
                std::move(array->begin(), array->end(), std::back_inserter(stack));
            }
            else if (t == value_t::object)
            {
                stack.reserve(object->size());

                for (auto&& it : *object)
                {
                    stack.push_back(std::move(it.second));
                }
            }

            while (!stack.empty())
            {
                // move the last item to local variable to be processed
                basic_json current_item(std::move(stack.back()));
                stack.pop_back();

                // if current_item is array/object, move
                // its children to the stack to be processed later
                if (current_item.is_array())
                {
                    stack.reserve(stack.size() + current_item.m_value.array->size());

                    std::move(current_item.m_value.array->begin(), current_item.m_value.array->end(),
                              std::back_inserter(stack));

                    current_item.m_value.array->clear();
                }
                else if (current_item.is_object())
                {
                    stack.reserve(stack.size() + current_item.m_value.object->size());

                    for (auto&& it : *current_item.m_value.object)
                    {
                        stack.push_back(std::move(it.second));
                    }
                }

                // current_item is destroyed here
            }

            switch (t)
            {
                case value_t::object:
                {
                    AllocatorType<object_t> alloc;
                    std::allocator_traits<decltype(alloc)>::destroy(alloc, object);
                    std::allocator_traits<decltype(alloc)>::deallocate(alloc, object, 1);
                    break;
                }

                case value_t::array:
                {
                    AllocatorType<array_t> alloc;
                    std::allocator_traits<decltype(alloc)>::destroy(alloc, array);
                    std::allocator_traits<decltype(alloc)>::deallocate(alloc, array, 1);
                    break;
                }

                case value_t::string:
                {
                    AllocatorType<string_t> alloc;
                    std::allocator_traits<decltype(alloc)>::destroy(alloc, string);
                    std::allocator_traits<decltype(alloc)>::deallocate(alloc, string, 1);
                    break;
                }

                default:
                {
                    break;
                }
            }
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x130, %rsp            # imm = 0x130
movb %sil, %al
movq %rdi, -0x8(%rbp)
movb %al, -0x9(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xc8(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x18050
cmpb $0x2, -0x9(%rbp)
jne 0x17c90
movq -0xc8(%rbp), %rax
movq (%rax), %rdi
callq 0x18170
movq %rax, %rsi
leaq -0x28(%rbp), %rdi
callq 0x18070
jmp 0x17c20
movq -0xc8(%rbp), %rax
movq (%rax), %rdi
callq 0x18200
movq %rax, %rcx
movq -0xc8(%rbp), %rax
movq %rcx, -0x30(%rbp)
movq (%rax), %rdi
callq 0x15e40
movq %rax, -0x38(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x18230
movq %rax, -0xd0(%rbp)
jmp 0x17c5b
movq -0xd0(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x30(%rbp), %rdi
movq -0x38(%rbp), %rsi
movq -0x40(%rbp), %rdx
callq 0x18190
movq %rax, -0xd8(%rbp)
jmp 0x17c80
movq -0xd8(%rbp), %rax
movq %rax, -0x48(%rbp)
jmp 0x17d23
cmpb $0x1, -0x9(%rbp)
jne 0x17d21
movq -0xc8(%rbp), %rax
movq (%rax), %rdi
callq 0x138d0
movq %rax, %rsi
leaq -0x28(%rbp), %rdi
callq 0x18070
jmp 0x17cb7
movq -0xc8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdi
callq 0x18260
movq %rax, -0x58(%rbp)
movq -0x50(%rbp), %rdi
callq 0x18290
movq %rax, -0x60(%rbp)
leaq -0x58(%rbp), %rdi
leaq -0x60(%rbp), %rsi
callq 0x182c0
testb $0x1, %al
jne 0x17cf2
jmp 0x17d1f
leaq -0x58(%rbp), %rdi
callq 0x182f0
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rsi
addq $0x20, %rsi
leaq -0x28(%rbp), %rdi
callq 0x18320
jmp 0x17d12
jmp 0x17d14
leaq -0x58(%rbp), %rdi
callq 0x18350
jmp 0x17cdf
jmp 0x17d21
jmp 0x17d23
jmp 0x17d25
leaq -0x28(%rbp), %rdi
callq 0x14670
xorb $-0x1, %al
testb $0x1, %al
jne 0x17d39
jmp 0x17ef9
leaq -0x28(%rbp), %rdi
callq 0x147d0
movq %rax, %rsi
leaq -0x78(%rbp), %rdi
callq 0x18380
leaq -0x28(%rbp), %rdi
callq 0x183f0
leaq -0x78(%rbp), %rdi
callq 0x18420
testb $0x1, %al
jne 0x17d69
jmp 0x17e1a
leaq -0x28(%rbp), %rdi
movq %rdi, -0xe0(%rbp)
callq 0x18170
movq %rax, -0xe8(%rbp)
movq -0x70(%rbp), %rdi
callq 0x18170
movq -0xe8(%rbp), %rsi
movq -0xe0(%rbp), %rdi
addq %rax, %rsi
callq 0x18070
jmp 0x17da1
movq -0x70(%rbp), %rdi
callq 0x18200
movq %rax, -0x80(%rbp)
movq -0x70(%rbp), %rdi
callq 0x15e40
movq %rax, -0x88(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x18230
movq %rax, -0xf0(%rbp)
jmp 0x17dd0
movq -0xf0(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x80(%rbp), %rdi
movq -0x88(%rbp), %rsi
movq -0x90(%rbp), %rdx
callq 0x18190
movq %rax, -0xf8(%rbp)
jmp 0x17dfe
movq -0xf8(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x70(%rbp), %rdi
callq 0x18440
jmp 0x17eeb
leaq -0x78(%rbp), %rdi
callq 0x18460
testb $0x1, %al
jne 0x17e2c
jmp 0x17ee9
leaq -0x28(%rbp), %rdi
movq %rdi, -0x100(%rbp)
callq 0x18170
movq %rax, -0x108(%rbp)
movq -0x70(%rbp), %rdi
callq 0x138d0
movq -0x108(%rbp), %rsi
movq -0x100(%rbp), %rdi
addq %rax, %rsi
callq 0x18070
jmp 0x17e64
movq -0x70(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rdi
callq 0x18260
movq %rax, -0xa8(%rbp)
movq -0xa0(%rbp), %rdi
callq 0x18290
movq %rax, -0xb0(%rbp)
leaq -0xa8(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x182c0
testb $0x1, %al
jne 0x17eae
jmp 0x17ee7
leaq -0xa8(%rbp), %rdi
callq 0x182f0
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rsi
addq $0x20, %rsi
leaq -0x28(%rbp), %rdi
callq 0x18320
jmp 0x17ed7
jmp 0x17ed9
leaq -0xa8(%rbp), %rdi
callq 0x18350
jmp 0x17e95
jmp 0x17ee9
jmp 0x17eeb
leaq -0x78(%rbp), %rdi
callq 0xb110
jmp 0x17d25
movb -0x9(%rbp), %al
movb %al, -0x109(%rbp)
subb $0x1, %al
je 0x17f27
jmp 0x17f08
movb -0x109(%rbp), %al
subb $0x2, %al
je 0x17f7e
jmp 0x17f14
movb -0x109(%rbp), %al
subb $0x3, %al
je 0x17fd2
jmp 0x18026
leaq -0xb9(%rbp), %rdi
movq %rdi, -0x118(%rbp)
callq 0x18480
movq -0xc8(%rbp), %rax
movq -0x118(%rbp), %rdi
movq (%rax), %rsi
callq 0x184a0
movq -0xc8(%rbp), %rax
movq -0x118(%rbp), %rdi
movq (%rax), %rsi
movl $0x1, %edx
callq 0x184d0
jmp 0x17f6d
leaq -0xb9(%rbp), %rdi
callq 0x18500
jmp 0x18028
leaq -0xba(%rbp), %rdi
movq %rdi, -0x120(%rbp)
callq 0x18520
movq -0xc8(%rbp), %rax
movq -0x120(%rbp), %rdi
movq (%rax), %rsi
callq 0x18540
movq -0xc8(%rbp), %rax
movq -0x120(%rbp), %rdi
movq (%rax), %rsi
movl $0x1, %edx
callq 0x18570
jmp 0x17fc4
leaq -0xba(%rbp), %rdi
callq 0x185a0
jmp 0x18028
leaq -0xbb(%rbp), %rdi
movq %rdi, -0x128(%rbp)
callq 0x185c0
movq -0xc8(%rbp), %rax
movq -0x128(%rbp), %rdi
movq (%rax), %rsi
callq 0x185e0
movq -0xc8(%rbp), %rax
movq -0x128(%rbp), %rdi
movq (%rax), %rsi
movl $0x1, %edx
callq 0x18610
jmp 0x18018
leaq -0xbb(%rbp), %rdi
callq 0x18640
jmp 0x18028
jmp 0x18028
leaq -0x28(%rbp), %rdi
callq 0x18660
addq $0x130, %rsp            # imm = 0x130
popq %rbp
retq
movq %rax, %rdi
callq 0x7460
nopw %cs:(%rax,%rax)
nopl (%rax)