// File: /workspace/github_cpp_makefile_star2_O2/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 $0x58, %rsp
movzbl 0x8(%rsi), %eax
cmpq $0x7, %rax
ja 0xfc07
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x99d2(%rip), %rcx      # 0x19374
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x98(%rbx), %rsi
movq %rbx, %rdi
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xfd92
leaq -0x70(%rbp), %rsi
leaq -0x58(%rbp), %rdx
movq %r14, %rdi
callq 0xb74e
testb %al, %al
je 0xfbde
movq -0x70(%rbp), %rsi
movl -0x58(%rbp), %edx
subl %esi, %edx
leaq -0x48(%rbp), %r14
movq %r14, %rdi
callq 0xdb47
movq %rbx, %rdi
movq %r14, %rsi
callq 0xfd92
jmp 0xfbfe
movq %r14, %rdi
callq 0xbc88
leaq -0x48(%rbp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0xb843
movq %rbx, %rdi
movq %r14, %rsi
callq 0xfd92
jmp 0xfbfe
movq %r14, %rdi
callq 0xbe48
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 0xd947
movq %rbx, %rdi
movq %r14, %rsi
callq 0xfd92
jmp 0xfbfe
leaq -0x70(%rbp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x9ea2
movq (%r15), %rax
cmpq 0x8(%r15), %rax
je 0xfc16
leaq 0xa67b(%rip), %rsi      # 0x1a108
leaq -0x48(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x4130
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x10040
leaq -0x48(%rbp), %rdi
callq 0x4170
movq %rbx, %rdi
callq 0x10076
movq -0x70(%rbp), %r15
leaq 0x78(%rbx), %rax
movq %rax, -0x78(%rbp)
leaq -0x48(%rbp), %r13
movq %r14, %rdi
movq %r15, %rsi
callq 0x9fe6
movq %rax, %r12
movq %rbx, %rdi
movq %rax, %rsi
callq 0xf86a
movq (%r15), %rsi
movl 0x8(%r15), %edx
movq %r13, %rdi
callq 0xdb47
movq %rbx, %rdi
movq %r13, %rsi
callq 0x10040
movq %r13, %rdi
callq 0x4170
movq 0x8(%rbx), %rdi
movq -0x78(%rbp), %rsi
callq 0x4300
movq %rbx, %rdi
movq %r12, %rsi
callq 0xf976
addq $0x20, %r15
cmpq -0x68(%rbp), %r15
je 0xfba9
movq 0x8(%rbx), %rdi
leaq 0xa685(%rip), %rsi      # 0x1a1b8
callq 0x4340
movq %rbx, %rdi
movq %r12, %rsi
callq 0xfc9e
jmp 0xfac7
movq %r14, %rdi
callq 0xbaf4
leaq -0x48(%rbp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0xb7aa
movq %rbx, %rdi
movq %r14, %rsi
callq 0xfd92
jmp 0xfbfe
movq %r14, %rdi
callq 0x98f4
movzbl %al, %esi
leaq -0x48(%rbp), %r14
movq %r14, %rdi
callq 0xdaea
movq %rbx, %rdi
movq %r14, %rsi
callq 0xfd92
jmp 0xfbfe
movq %rbx, %rdi
movq %r14, %rsi
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xfdb4
movq %rbx, %rdi
movq %r12, %rsi
callq 0xfc9e
movq %rbx, %rdi
callq 0x10088
leaq 0xa543(%rip), %rsi      # 0x1a106
leaq -0x48(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x4130
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x10040
jmp 0xfc36
leaq 0x97cf(%rip), %rsi      # 0x193b4
leaq -0x48(%rbp), %rdi
leaq -0x49(%rbp), %rdx
callq 0x4130
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0xfd92
leaq -0x48(%rbp), %rdi
callq 0x4170
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa4e8(%rip), %rsi      # 0x1a105
leaq -0x48(%rbp), %rdi
leaq -0x58(%rbp), %rdx
callq 0x4130
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0xfd92
leaq -0x48(%rbp), %rdi
callq 0x4170
leaq -0x70(%rbp), %rdi
callq 0x10f80
jmp 0xfc07
jmp 0xfc7b
jmp 0xfc89
jmp 0xfc6b
movq %rax, %rbx
jmp 0xfc95
jmp 0xfc6b
jmp 0xfc7b
jmp 0xfc89
jmp 0xfc89
jmp 0xfc89
jmp 0xfc89
jmp 0xfc7b
jmp 0xfc89
jmp 0xfc6b
jmp 0xfc6b
jmp 0xfc6b
movq %rax, %rbx
leaq -0x48(%rbp), %rdi
callq 0x4170
jmp 0xfc95
jmp 0xfc89
movq %rax, %rbx
leaq -0x48(%rbp), %rdi
callq 0x4170
jmp 0xfc8c
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x10f80
movq %rbx, %rdi
callq 0x45a0
nop