// File: /workspace/github_cpp_makefile_star2_O1/Falldog[P]dcinja/src/include/nlohmann/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, std::vector<unsigned char, std::allocator<unsigned char>>>::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())
                {
                    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())
                {
                    for (auto&& it : *current_item.m_value.object)
                    {
                        stack.push_back(std::move(it.second));
                    }

                    current_item.m_value.object->clear();
                }

                // it's now safe that current_item get destructed
                // since it doesn't have any children
            }

            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;
                }

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

                default:
                {
                    break;
                }
            }
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movl %esi, %ebp
movq %rdi, %r13
xorps %xmm0, %xmm0
movaps %xmm0, 0x20(%rsp)
movq $0x0, 0x30(%rsp)
cmpl $0x1, %esi
je 0x3c3b0
cmpl $0x2, %ebp
jne 0x3c3f4
movq (%r13), %rax
movq 0x8(%rax), %rsi
subq (%rax), %rsi
sarq $0x4, %rsi
leaq 0x20(%rsp), %rdi
callq 0x3c5d8
movq (%r13), %rax
movq (%rax), %r14
movq 0x8(%rax), %r12
subq %r14, %r12
sarq $0x4, %r12
testq %r12, %r12
jle 0x3c3f4
incq %r12
leaq 0x20(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x27122
addq $0x10, %r14
decq %r12
cmpq $0x1, %r12
jg 0x3c396
jmp 0x3c3f4
movq (%r13), %rax
movq 0x28(%rax), %rsi
leaq 0x20(%rsp), %rdi
callq 0x3c5d8
movq (%r13), %rbx
movq 0x18(%rbx), %r14
addq $0x8, %rbx
cmpq %rbx, %r14
je 0x3c3f4
leaq 0x20(%rsp), %r15
leaq 0x40(%r14), %rsi
movq %r15, %rdi
callq 0x27122
movq %r14, %rdi
callq 0x92c0
movq %rax, %r14
cmpq %rbx, %rax
jne 0x3c3d8
movq %r13, 0x8(%rsp)
movq 0x28(%rsp), %rbx
cmpq %rbx, 0x20(%rsp)
je 0x3c517
leaq 0x18(%rsp), %r14
leaq 0x10(%rsp), %r15
leaq 0x20(%rsp), %r12
leaq -0x10(%rbx), %rdi
movb -0x10(%rbx), %al
movb %al, 0x10(%rsp)
movq -0x8(%rbx), %rax
movq %rax, 0x18(%rsp)
callq 0x2450a
movb $0x0, -0x10(%rbx)
movq $0x0, -0x8(%rbx)
movq %r15, %rdi
callq 0x2450a
movq 0x28(%rsp), %r13
leaq -0x10(%r13), %rdi
movq %rdi, 0x28(%rsp)
callq 0x2450a
movzbl -0x10(%r13), %esi
addq $-0x8, %r13
movq %r13, %rdi
callq 0x3c32c
movzbl 0x10(%rsp), %eax
cmpl $0x1, %eax
je 0x3c4ba
cmpl $0x2, %eax
jne 0x3c4f2
movq 0x18(%rsp), %rax
movq (%rax), %r13
movq 0x8(%rax), %rbx
subq %r13, %rbx
sarq $0x4, %rbx
testq %rbx, %rbx
jle 0x3c4ab
incq %rbx
movq %r12, %rdi
movq %r13, %rsi
callq 0x27122
addq $0x10, %r13
decq %rbx
cmpq $0x1, %rbx
jg 0x3c493
movq 0x18(%rsp), %rdi
movq (%rdi), %rsi
callq 0x3c082
jmp 0x3c4f2
movq 0x18(%rsp), %rbx
movq 0x18(%rbx), %r13
addq $0x8, %rbx
cmpq %rbx, %r13
je 0x3c4e8
leaq 0x40(%r13), %rsi
movq %r12, %rdi
callq 0x27122
movq %r13, %rdi
callq 0x92c0
movq %rax, %r13
cmpq %rbx, %rax
jne 0x3c4cc
movq 0x18(%rsp), %rdi
callq 0x3c0ca
movq %r15, %rdi
callq 0x2450a
movzbl 0x10(%rsp), %esi
movq %r14, %rdi
callq 0x3c32c
movq 0x28(%rsp), %rbx
cmpq %rbx, 0x20(%rsp)
jne 0x3c418
movzbl %bpl, %eax
decl %eax
cmpl $0x7, %eax
ja 0x3c5af
leaq 0x19487(%rip), %rcx     # 0x559b4
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x8(%rsp), %rbx
movq (%rbx), %rdi
callq 0x3c66c
movl $0x30, %r14d
jmp 0x3c5a4
movq 0x8(%rsp), %rbx
movq (%rbx), %rax
movq (%rax), %rdi
addq $0x10, %rax
movl $0x20, %r14d
cmpq %rax, %rdi
je 0x3c5a4
movq (%rax), %rsi
incq %rsi
jmp 0x3c59f
movq 0x8(%rsp), %rbx
movq (%rbx), %rdi
callq 0x3774a
movl $0x18, %r14d
jmp 0x3c5a4
movq 0x8(%rsp), %rbx
movq (%rbx), %rax
movq (%rax), %rdi
movl $0x20, %r14d
testq %rdi, %rdi
je 0x3c5a4
movq 0x10(%rax), %rsi
subq %rdi, %rsi
callq 0x93c0
movq (%rbx), %rdi
movq %r14, %rsi
callq 0x93c0
leaq 0x20(%rsp), %rdi
callq 0x3774a
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x3c5d0
jmp 0x3c5d0
jmp 0x3c5d0
jmp 0x3c5d0
movq %rax, %rdi
callq 0xe8bb