// File: 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
movq %rsp, %rbp
subq $0x110, %rsp            # imm = 0x110
movb %sil, %al
movq %rdi, -0x8(%rbp)
movb %al, -0x9(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xc8(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x55740
cmpb $0x2, -0x9(%rbp)
jne 0x80c80
movq -0xc8(%rbp), %rax
movq (%rax), %rdi
callq 0x4b020
movq %rax, %rsi
leaq -0x28(%rbp), %rdi
callq 0x81020
jmp 0x80c10
movq -0xc8(%rbp), %rax
movq (%rax), %rdi
callq 0x4aed0
movq %rax, %rcx
movq -0xc8(%rbp), %rax
movq %rcx, -0x30(%rbp)
movq (%rax), %rdi
callq 0x4ad50
movq %rax, -0x38(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x81190
movq %rax, -0xd0(%rbp)
jmp 0x80c4b
movq -0xd0(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x30(%rbp), %rdi
movq -0x38(%rbp), %rsi
movq -0x40(%rbp), %rdx
callq 0x81120
movq %rax, -0xd8(%rbp)
jmp 0x80c70
movq -0xd8(%rbp), %rax
movq %rax, -0x48(%rbp)
jmp 0x80d13
cmpb $0x1, -0x9(%rbp)
jne 0x80d11
movq -0xc8(%rbp), %rax
movq (%rax), %rdi
callq 0x4bc30
movq %rax, %rsi
leaq -0x28(%rbp), %rdi
callq 0x81020
jmp 0x80ca7
movq -0xc8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdi
callq 0x74f90
movq %rax, -0x58(%rbp)
movq -0x50(%rbp), %rdi
callq 0x50060
movq %rax, -0x60(%rbp)
leaq -0x58(%rbp), %rdi
leaq -0x60(%rbp), %rsi
callq 0x50030
testb $0x1, %al
jne 0x80ce2
jmp 0x80d0f
leaq -0x58(%rbp), %rdi
callq 0x513a0
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rsi
addq $0x20, %rsi
leaq -0x28(%rbp), %rdi
callq 0x4a9b0
jmp 0x80d02
jmp 0x80d04
leaq -0x58(%rbp), %rdi
callq 0x50d00
jmp 0x80ccf
jmp 0x80d11
jmp 0x80d13
jmp 0x80d15
leaq -0x28(%rbp), %rdi
callq 0x74620
xorb $-0x1, %al
testb $0x1, %al
jne 0x80d29
jmp 0x80e7d
leaq -0x28(%rbp), %rdi
callq 0x4a9e0
movq %rax, %rsi
leaq -0x78(%rbp), %rdi
callq 0x4a8d0
leaq -0x28(%rbp), %rdi
callq 0x51ec0
leaq -0x78(%rbp), %rdi
callq 0x4a970
testb $0x1, %al
jne 0x80d56
jmp 0x80dcf
movq -0x70(%rbp), %rdi
callq 0x4aed0
movq %rax, -0x80(%rbp)
movq -0x70(%rbp), %rdi
callq 0x4ad50
movq %rax, -0x88(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x81190
movq %rax, -0xe0(%rbp)
jmp 0x80d85
movq -0xe0(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x80(%rbp), %rdi
movq -0x88(%rbp), %rsi
movq -0x90(%rbp), %rdx
callq 0x81120
movq %rax, -0xe8(%rbp)
jmp 0x80db3
movq -0xe8(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x70(%rbp), %rdi
callq 0x802b0
jmp 0x80e6f
leaq -0x78(%rbp), %rdi
callq 0x4a990
testb $0x1, %al
jne 0x80de1
jmp 0x80e6d
movq -0x70(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rdi
callq 0x74f90
movq %rax, -0xa8(%rbp)
movq -0xa0(%rbp), %rdi
callq 0x50060
movq %rax, -0xb0(%rbp)
leaq -0xa8(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x50030
testb $0x1, %al
jne 0x80e2b
jmp 0x80e64
leaq -0xa8(%rbp), %rdi
callq 0x513a0
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rsi
addq $0x20, %rsi
leaq -0x28(%rbp), %rdi
callq 0x4a9b0
jmp 0x80e54
jmp 0x80e56
leaq -0xa8(%rbp), %rdi
callq 0x50d00
jmp 0x80e12
movq -0x70(%rbp), %rdi
callq 0x802d0
jmp 0x80e6f
leaq -0x78(%rbp), %rdi
callq 0x12460
jmp 0x80d15
movb -0x9(%rbp), %al
decb %al
movzbl %al, %ecx
movq %rcx, -0xf0(%rbp)
subb $0x7, %al
ja 0x81001
movq -0xf0(%rbp), %rax
leaq 0x3ff96(%rip), %rcx     # 0xc0e38
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq -0xb9(%rbp), %rdi
movq %rdi, -0xf8(%rbp)
callq 0x4c890
movq -0xc8(%rbp), %rax
movq -0xf8(%rbp), %rdi
movq (%rax), %rsi
callq 0x811c0
movq -0xc8(%rbp), %rax
movq -0xf8(%rbp), %rdi
movq (%rax), %rsi
movl $0x1, %edx
callq 0x4dad0
jmp 0x80ef1
leaq -0xb9(%rbp), %rdi
callq 0x4ca30
jmp 0x81003
leaq -0xba(%rbp), %rdi
movq %rdi, -0x100(%rbp)
callq 0x4dc40
movq -0xc8(%rbp), %rax
movq -0x100(%rbp), %rdi
movq (%rax), %rsi
callq 0x811f0
movq -0xc8(%rbp), %rax
movq -0x100(%rbp), %rdi
movq (%rax), %rsi
movl $0x1, %edx
callq 0x4e900
jmp 0x80f48
leaq -0xba(%rbp), %rdi
callq 0x4dde0
jmp 0x81003
leaq -0xbb(%rbp), %rdi
movq %rdi, -0x108(%rbp)
callq 0x11be0
movq -0xc8(%rbp), %rax
movq -0x108(%rbp), %rdi
movq (%rax), %rsi
callq 0x28210
movq -0xc8(%rbp), %rax
movq -0x108(%rbp), %rdi
movq (%rax), %rsi
movl $0x1, %edx
callq 0x225c0
jmp 0x80f9f
leaq -0xbb(%rbp), %rdi
callq 0x11ce0
jmp 0x81003
leaq -0xbc(%rbp), %rdi
movq %rdi, -0x110(%rbp)
callq 0x4f080
movq -0xc8(%rbp), %rax
movq -0x110(%rbp), %rdi
movq (%rax), %rsi
callq 0x50870
movq -0xc8(%rbp), %rax
movq -0x110(%rbp), %rdi
movq (%rax), %rsi
movl $0x1, %edx
callq 0x4ff80
jmp 0x80ff3
leaq -0xbc(%rbp), %rdi
callq 0x4f220
jmp 0x81003
jmp 0x81003
leaq -0x28(%rbp), %rdi
callq 0x73a70
addq $0x110, %rsp            # imm = 0x110
popq %rbp
retq
movq %rax, %rdi
callq 0x11df0
nopl (%rax)