// File: /workspace/github_cpp_makefile_star2_O1/RegulusImpact[P]sadboy/include/jsoncpp.cpp
// Function: Json::BuiltStyledStreamWriter::writeValue(Json::Value const&)
void BuiltStyledStreamWriter::writeValue(Value const& value) {
  switch (value.type()) {
  case nullValue:
    pushValue(nullSymbol_);
    break;
  case intValue:
    pushValue(valueToString(value.asLargestInt()));
    break;
  case uintValue:
    pushValue(valueToString(value.asLargestUInt()));
    break;
  case realValue:
    pushValue(valueToString(value.asDouble(), useSpecialFloats_, precision_, precisionType_));
    break;
  case stringValue:
  {
    // Is NULL is possible for value.string_? No.
    char const* str;
    char const* end;
    bool ok = value.getString(&str, &end);
    if (ok) pushValue(valueToQuotedStringN(str, static_cast<unsigned>(end-str)));
    else pushValue("");
    break;
  }
  case booleanValue:
    pushValue(valueToString(value.asBool()));
    break;
  case arrayValue:
    writeArrayValue(value);
    break;
  case objectValue: {
    Value::Members members(value.getMemberNames());
    if (members.empty())
      pushValue("{}");
    else {
      writeWithIndent("{");
      indent();
      Value::Members::iterator it = members.begin();
      for (;;) {
        JSONCPP_STRING const& name = *it;
        Value const& childValue = value[name];
        writeCommentBeforeValue(childValue);
        writeWithIndent(valueToQuotedStringN(name.data(), static_cast<unsigned>(name.length())));
        *sout_ << colonSymbol_;
        writeValue(childValue);
        if (++it == members.end()) {
          writeCommentAfterValueOnSameLine(childValue);
          break;
        }
        *sout_ << ",";
        writeCommentAfterValueOnSameLine(childValue);
      }
      unindent();
      writeWithIndent("}");
    }
  } break;
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movzwl 0x8(%rsi), %eax
cmpb $0x7, %al
ja 0x13f8e
movq %rsi, %r14
movq %rdi, %rbx
movzbl %al, %ecx
leaq 0xa715(%rip), %rdx      # 0x1e374
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
jmpq *%rcx
leaq 0x98(%rbx), %rsi
movq %rbx, %rdi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x141ca
cmpb $0x4, %al
sete %cl
movq (%r14), %r14
testq %r14, %r14
setne %r15b
andb %cl, %r15b
cmpb $0x1, %r15b
jne 0x13f11
btl $0x8, %eax
jb 0x13f4e
movq %r14, %rdi
callq 0x4170
jmp 0x13f55
movq %r14, %rdi
callq 0xeb8c
leaq -0x48(%rbp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0xe676
movq %rbx, %rdi
movq %r14, %rsi
callq 0x141ca
jmp 0x13f7c
movq %r14, %rdi
callq 0xed94
movb 0xd8(%rbx), %al
andb $0x4, %al
shrb $0x2, %al
movl 0xdc(%rbx), %edx
movl 0xe0(%rbx), %ecx
movzbl %al, %esi
leaq -0x48(%rbp), %r14
movq %r14, %rdi
callq 0x114a2
movq %rbx, %rdi
movq %r14, %rsi
callq 0x141ca
jmp 0x13f7c
leaq -0x60(%rbp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0xc444
movq (%r15), %rax
leaq -0x38(%rbp), %rcx
cmpq 0x8(%r15), %rax
je 0x13f13
leaq -0x48(%rbp), %rdi
movq %rcx, (%rdi)
leaq 0xb3c0(%rip), %rsi      # 0x1f10b
leaq 0xb3ba(%rip), %rdx      # 0x1f10c
callq 0x173f0
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x144ec
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x13d75
callq 0x4320
leaq 0x28(%rbx), %rdi
movq 0x50(%rbx), %rsi
movq 0x58(%rbx), %rdx
callq 0x4100
movq -0x60(%rbp), %r15
movq %r14, %rdi
movq %r15, %rsi
callq 0xc5c2
movq %rax, %r13
movq %rbx, %rdi
movq %rax, %rsi
callq 0x13af2
movq (%r15), %rsi
movl 0x8(%r15), %edx
leaq -0x48(%rbp), %r12
movq %r12, %rdi
callq 0x116d8
movq %rbx, %rdi
movq %r12, %rsi
callq 0x144ec
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x13dd3
callq 0x4320
movq 0x8(%rbx), %rdi
movq 0x78(%rbx), %rsi
movq 0x80(%rbx), %rdx
callq 0x4410
movq %rbx, %rdi
movq %r13, %rsi
callq 0x13c32
addq $0x20, %r15
movq -0x58(%rbp), %r12
cmpq %r12, %r15
je 0x13e14
movq 0x8(%rbx), %rdi
movl $0x1, %edx
leaq 0xb3ac(%rip), %rsi      # 0x1f1bb
callq 0x4410
movq %rbx, %rdi
movq %r13, %rsi
callq 0x14056
cmpq %r12, %r15
jne 0x13d8a
movq %rbx, %rdi
callq 0x14540
leaq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
movq %rax, (%rdi)
leaq 0xb2c7(%rip), %rsi      # 0x1f109
leaq 0xb2c1(%rip), %rdx      # 0x1f10a
callq 0x173f0
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x144ec
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x13e6c
callq 0x4320
leaq -0x60(%rbp), %rdi
callq 0x15c3e
jmp 0x13f8e
movq %r14, %rdi
callq 0xe9b0
leaq -0x48(%rbp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0xe550
movq %rbx, %rdi
movq %r14, %rsi
callq 0x141ca
jmp 0x13f7c
movq %r14, %rdi
callq 0xbc44
leaq 0xac75(%rip), %rcx      # 0x1eb25
leaq 0xab8e(%rip), %rsi      # 0x1ea45
testb %al, %al
cmovneq %rcx, %rsi
leaq -0x38(%rbp), %r15
movq %r15, -0x10(%r15)
movzbl %al, %edx
xorq $0x5, %rdx
addq %rsi, %rdx
leaq -0x48(%rbp), %r14
movq %r14, %rdi
callq 0x173f0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x141ca
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
jne 0x13f89
jmp 0x13f8e
movq %rbx, %rdi
movq %r14, %rsi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x141f6
jmp 0x13f5a
leaq -0x48(%rbp), %rdi
movq %rcx, %r14
movq %rcx, (%rdi)
leaq 0xb1e4(%rip), %rsi      # 0x1f108
leaq 0xb1df(%rip), %rdx      # 0x1f10a
callq 0x173f0
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x141ca
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
jne 0x13e67
jmp 0x13e6c
movl (%r14), %eax
addq $0x4, %r14
movl %eax, %edx
addq %r14, %rdx
testb %r15b, %r15b
je 0x13f9d
subl %r14d, %edx
leaq -0x48(%rbp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x116d8
movq %rbx, %rdi
movq %r15, %rsi
callq 0x141ca
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13f8e
callq 0x4320
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq -0x38(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0xa408(%rip), %rdx      # 0x1e3b4
leaq -0x48(%rbp), %rdi
movq %rdx, %rsi
callq 0x173f0
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x141ca
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
jne 0x13f89
jmp 0x13f8e
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
jne 0x1403b
jmp 0x14045
jmp 0x14042
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
jne 0x14022
jmp 0x1404e
movq %rax, %rbx
jmp 0x1404e
jmp 0x14012
jmp 0x1402b
jmp 0x14042
jmp 0x14042
jmp 0x14042
jmp 0x1402b
jmp 0x14042
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
jne 0x14022
jmp 0x1404e
jmp 0x14012
jmp 0x14012
movq %rax, %rbx
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1404e
callq 0x4320
jmp 0x1404e
jmp 0x14042
movq %rax, %rbx
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x14045
callq 0x4320
jmp 0x14045
movq %rax, %rbx
leaq -0x60(%rbp), %rdi
callq 0x15c3e
movq %rbx, %rdi
callq 0x45d0