// File: SYZYGYfpga[P]brain-tools/include/json.hpp
// Function: void nlohmann::detail::serializer<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>>::dump_integer<long, 0>(long)
void dump_integer(NumberType x)
    {
        // special case for "0"
        if (x == 0)
        {
            o->write_character('0');
            return;
        }

        const bool is_negative = (x <= 0) and (x != 0);  // see issue #755
        std::size_t i = 0;

        while (x != 0)
        {
            // spare 1 byte for '\0'
            assert(i < number_buffer.size() - 1);

            const auto digit = std::labs(static_cast<long>(x % 10));
            number_buffer[i++] = static_cast<char>('0' + digit);
            x /= 10;
        }

        if (is_negative)
        {
            // make sure there is capacity for the '-'
            assert(i < number_buffer.size() - 2);
            number_buffer[i++] = '-';
        }

        std::reverse(number_buffer.begin(), number_buffer.begin() + i);
        o->write_characters(number_buffer.data(), i);
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, -0x10(%rbp)
jne 0x87da
movq -0x30(%rbp), %rdi
callq 0x7d60
movq %rax, %rdi
movq (%rdi), %rax
movl $0x30, %esi
callq *(%rax)
jmp 0x8975
xorl %eax, %eax
cmpq $0x0, -0x10(%rbp)
movb %al, -0x31(%rbp)
jg 0x87f1
cmpq $0x0, -0x10(%rbp)
setne %al
movb %al, -0x31(%rbp)
movb -0x31(%rbp), %al
andb $0x1, %al
movb %al, -0x11(%rbp)
movq $0x0, -0x20(%rbp)
cmpq $0x0, -0x10(%rbp)
je 0x88b1
movq -0x30(%rbp), %rdi
movq -0x20(%rbp), %rax
movq %rax, -0x40(%rbp)
addq $0x10, %rdi
callq 0xad20
movq %rax, %rcx
movq -0x40(%rbp), %rax
subq $0x1, %rcx
cmpq %rcx, %rax
jae 0x8833
jmp 0x8852
leaq 0xc70f(%rip), %rdi      # 0x14f49
leaq 0xc308(%rip), %rsi      # 0x14b49
movl $0x19fd, %edx           # imm = 0x19FD
leaq 0xc719(%rip), %rcx      # 0x14f66
callq 0x31d0
movq -0x30(%rbp), %rdi
movq -0x10(%rbp), %rax
movl $0xa, %ecx
cqto
idivq %rcx
movq %rdx, %rax
negq %rax
cmovnsq %rax, %rdx
movq %rdx, -0x28(%rbp)
movq -0x28(%rbp), %rax
addq $0x30, %rax
movb %al, -0x41(%rbp)
addq $0x10, %rdi
movq -0x20(%rbp), %rsi
movq %rsi, %rax
addq $0x1, %rax
movq %rax, -0x20(%rbp)
callq 0xad30
movb -0x41(%rbp), %cl
movb %cl, (%rax)
movq -0x10(%rbp), %rax
movl $0xa, %ecx
cqto
idivq %rcx
movq %rax, -0x10(%rbp)
jmp 0x8801
testb $0x1, -0x11(%rbp)
je 0x891c
movq -0x30(%rbp), %rdi
movq -0x20(%rbp), %rax
movq %rax, -0x50(%rbp)
addq $0x10, %rdi
callq 0xad20
movq %rax, %rcx
movq -0x50(%rbp), %rax
subq $0x2, %rcx
cmpq %rcx, %rax
jae 0x88de
jmp 0x88fd
leaq 0xc711(%rip), %rdi      # 0x14ff6
leaq 0xc25d(%rip), %rsi      # 0x14b49
movl $0x1a07, %edx           # imm = 0x1A07
leaq 0xc66e(%rip), %rcx      # 0x14f66
callq 0x31d0
movq -0x30(%rbp), %rdi
addq $0x10, %rdi
movq -0x20(%rbp), %rsi
movq %rsi, %rax
addq $0x1, %rax
movq %rax, -0x20(%rbp)
callq 0xad30
movb $0x2d, (%rax)
movq -0x30(%rbp), %rdi
addq $0x10, %rdi
callq 0xada0
movq -0x30(%rbp), %rdi
movq %rax, -0x60(%rbp)
addq $0x10, %rdi
callq 0xada0
movq -0x60(%rbp), %rdi
movq %rax, %rsi
addq -0x20(%rbp), %rsi
callq 0xad60
movq -0x30(%rbp), %rdi
callq 0x7d60
movq -0x30(%rbp), %rdi
movq %rax, -0x58(%rbp)
addq $0x10, %rdi
callq 0xadc0
movq -0x58(%rbp), %rdi
movq %rax, %rsi
movq -0x20(%rbp), %rdx
movq (%rdi), %rax
callq *0x8(%rax)
addq $0x60, %rsp
popq %rbp
retq
nopl (%rax,%rax)