// File: TBody[P]atomicpp/atomicpp/ExternalModules/json.hpp
// Function: void nlohmann::detail::from_json<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>, int, 0>(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> const&, int&)
void from_json(const BasicJsonType& j, ArithmeticType& val)
{
    switch (static_cast<value_t>(j))
    {
        case value_t::number_unsigned:
        {
            val = static_cast<ArithmeticType>(*j.template get_ptr<const typename BasicJsonType::number_unsigned_t*>());
            break;
        }
        case value_t::number_integer:
        {
            val = static_cast<ArithmeticType>(*j.template get_ptr<const typename BasicJsonType::number_integer_t*>());
            break;
        }
        case value_t::number_float:
        {
            val = static_cast<ArithmeticType>(*j.template get_ptr<const typename BasicJsonType::number_float_t*>());
            break;
        }
        case value_t::boolean:
        {
            val = static_cast<ArithmeticType>(*j.template get_ptr<const typename BasicJsonType::boolean_t*>());
            break;
        }
        default:
        {
            JSON_THROW(std::domain_error("type must be number, but is " + j.type_name()));
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rdi
callq 0x16c40
addb $-0x4, %al
movzbl %al, %ecx
movq %rcx, -0x68(%rbp)
subb $0x3, %al
ja 0x16b7f
movq -0x68(%rbp), %rax
leaq 0x20da3(%rip), %rcx     # 0x378b4
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x8(%rbp), %rdi
callq 0x16c50
movq (%rax), %rax
movl %eax, %ecx
movq -0x10(%rbp), %rax
movl %ecx, (%rax)
jmp 0x16c2f
movq -0x8(%rbp), %rdi
callq 0x16c70
movq (%rax), %rax
movl %eax, %ecx
movq -0x10(%rbp), %rax
movl %ecx, (%rax)
jmp 0x16c2f
movq -0x8(%rbp), %rdi
callq 0x16c90
cvttsd2si (%rax), %ecx
movq -0x10(%rbp), %rax
movl %ecx, (%rax)
jmp 0x16c2f
movq -0x8(%rbp), %rdi
callq 0x16cb0
movb (%rax), %al
andb $0x1, %al
movzbl %al, %ecx
movq -0x10(%rbp), %rax
movl %ecx, (%rax)
jmp 0x16c2f
movb $0x1, -0x5d(%rbp)
movl $0x10, %edi
callq 0x41b0
movq %rax, -0x70(%rbp)
movq -0x8(%rbp), %rsi
leaq -0x50(%rbp), %rdi
callq 0xe170
jmp 0x16ba0
leaq 0x213c8(%rip), %rsi     # 0x37f6f
leaq -0x30(%rbp), %rdi
leaq -0x50(%rbp), %rdx
callq 0xcd60
jmp 0x16bb6
movq -0x70(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0x4460
jmp 0x16bc5
movq -0x70(%rbp), %rdi
movb $0x0, -0x5d(%rbp)
movq 0x383b4(%rip), %rsi     # 0x4ef88
movq 0x383bd(%rip), %rdx     # 0x4ef98
callq 0x45b0
jmp 0x16c3e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x16c1c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x16c13
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x4220
leaq -0x50(%rbp), %rdi
callq 0x4220
testb $0x1, -0x5d(%rbp)
jne 0x16c24
jmp 0x16c2d
movq -0x70(%rbp), %rdi
callq 0x42b0
jmp 0x16c35
addq $0x70, %rsp
popq %rbp
retq
movq -0x58(%rbp), %rdi
callq 0x45e0
nop