// File: xjrueda[P]fixprime/src/jsoncpp.cpp
// Function: Json::FastWriter::writeValue(Json::Value const&)
void FastWriter::writeValue(const Value& value) {
  switch (value.type()) {
  case nullValue:
    if (!dropNullPlaceholders_)
      document_ += "null";
    break;
  case intValue:
    document_ += valueToString(value.asLargestInt());
    break;
  case uintValue:
    document_ += valueToString(value.asLargestUInt());
    break;
  case realValue:
    document_ += valueToString(value.asDouble());
    break;
  case stringValue:
  {
    // Is NULL possible for value.string_?
    char const* str;
    char const* end;
    bool ok = value.getString(&str, &end);
    if (ok) document_ += valueToQuotedStringN(str, static_cast<unsigned>(end-str));
    break;
  }
  case booleanValue:
    document_ += valueToString(value.asBool());
    break;
  case arrayValue: {
    document_ += '[';
    int size = value.size();
    for (int index = 0; index < size; ++index) {
      if (index > 0)
        document_ += ',';
      writeValue(value[index]);
    }
    document_ += ']';
  } break;
  case objectValue: {
    Value::Members members(value.getMemberNames());
    document_ += '{';
    for (Value::Members::iterator it = members.begin(); it != members.end();
         ++it) {
      const std::string& name = *it;
      if (it != members.begin())
        document_ += ',';
      document_ += valueToQuotedStringN(name.data(), name.length());
      document_ += yamlCompatiblityEnabled_ ? ": " : ":";
      writeValue(value[name]);
    }
    document_ += '}';
  } break;
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x180, %rsp            # imm = 0x180
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x148(%rbp)
movq -0x10(%rbp), %rdi
callq 0xa1ff0
movl %eax, %ecx
movq %rcx, -0x140(%rbp)
subl $0x7, %eax
ja 0xef050
movq -0x140(%rbp), %rax
leaq 0x159e9(%rip), %rcx     # 0x104570
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x148(%rbp), %rax
testb $0x1, 0x29(%rax)
jne 0xeebb4
movq -0x148(%rbp), %rdi
addq $0x8, %rdi
leaq 0x16792(%rip), %rsi     # 0x105341
callq 0x9d770
jmp 0xef050
movq -0x10(%rbp), %rdi
callq 0x9d290
movq %rax, %rsi
leaq -0x30(%rbp), %rdi
movq %rdi, -0x150(%rbp)
callq 0xa4450
movq -0x148(%rbp), %rdi
movq -0x150(%rbp), %rsi
addq $0x8, %rdi
callq 0x9fa80
jmp 0xeebee
leaq -0x30(%rbp), %rdi
callq 0xa4f00
jmp 0xef050
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x30(%rbp), %rdi
callq 0xa4f00
jmp 0xef059
movq -0x10(%rbp), %rdi
callq 0x9f570
movq %rax, %rsi
leaq -0x60(%rbp), %rdi
movq %rdi, -0x158(%rbp)
callq 0xa2730
movq -0x148(%rbp), %rdi
movq -0x158(%rbp), %rsi
addq $0x8, %rdi
callq 0x9fa80
jmp 0xeec4b
leaq -0x60(%rbp), %rdi
callq 0xa4f00
jmp 0xef050
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x60(%rbp), %rdi
callq 0xa4f00
jmp 0xef059
movq -0x10(%rbp), %rdi
callq 0x9b920
leaq -0x80(%rbp), %rdi
movq %rdi, -0x160(%rbp)
callq 0x9de20
movq -0x148(%rbp), %rdi
movq -0x160(%rbp), %rsi
addq $0x8, %rdi
callq 0x9fa80
jmp 0xeeca5
leaq -0x80(%rbp), %rdi
callq 0xa4f00
jmp 0xef050
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x80(%rbp), %rdi
callq 0xa4f00
jmp 0xef059
movq -0x10(%rbp), %rdi
leaq -0x88(%rbp), %rsi
leaq -0x90(%rbp), %rdx
callq 0xa2ab0
andb $0x1, %al
movb %al, -0x91(%rbp)
testb $0x1, -0x91(%rbp)
je 0xeed5d
movq -0x88(%rbp), %rsi
movl -0x90(%rbp), %edx
movl %esi, %eax
subl %eax, %edx
leaq -0xb8(%rbp), %rdi
movq %rdi, -0x168(%rbp)
callq 0xef070
movq -0x148(%rbp), %rdi
movq -0x168(%rbp), %rsi
addq $0x8, %rdi
callq 0x9fa80
jmp 0xeed32
leaq -0xb8(%rbp), %rdi
callq 0xa4f00
jmp 0xeed5d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0xa4f00
jmp 0xef059
jmp 0xef050
movq -0x10(%rbp), %rdi
callq 0x9fb80
movzbl %al, %esi
leaq -0xd8(%rbp), %rdi
movq %rdi, -0x170(%rbp)
callq 0xa1740
movq -0x148(%rbp), %rdi
movq -0x170(%rbp), %rsi
addq $0x8, %rdi
callq 0x9fa80
jmp 0xeed9a
leaq -0xd8(%rbp), %rdi
callq 0xa4f00
jmp 0xef050
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0xd8(%rbp), %rdi
callq 0xa4f00
jmp 0xef059
movq -0x148(%rbp), %rdi
addq $0x8, %rdi
movl $0x5b, %esi
callq 0x9b130
movq -0x10(%rbp), %rdi
callq 0xa24d0
movl %eax, -0xdc(%rbp)
movl $0x0, -0xe0(%rbp)
movl -0xe0(%rbp), %eax
cmpl -0xdc(%rbp), %eax
jge 0xeee51
cmpl $0x0, -0xe0(%rbp)
jle 0xeee22
movq -0x148(%rbp), %rdi
addq $0x8, %rdi
movl $0x2c, %esi
callq 0x9b130
movq -0x10(%rbp), %rdi
movl -0xe0(%rbp), %esi
callq 0x98130
movq -0x148(%rbp), %rdi
movq %rax, %rsi
callq 0x9c410
movl -0xe0(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xe0(%rbp)
jmp 0xeedf6
movq -0x148(%rbp), %rdi
addq $0x8, %rdi
movl $0x5d, %esi
callq 0x9b130
jmp 0xef050
movq -0x10(%rbp), %rsi
leaq -0xf8(%rbp), %rdi
callq 0x9c0a0
movq -0x148(%rbp), %rdi
addq $0x8, %rdi
movl $0x7b, %esi
callq 0x9b130
jmp 0xeee92
leaq -0xf8(%rbp), %rdi
callq 0xa2870
movq %rax, -0x100(%rbp)
leaq -0xf8(%rbp), %rdi
callq 0xa2b40
movq %rax, -0x108(%rbp)
leaq -0x100(%rbp), %rdi
leaq -0x108(%rbp), %rsi
callq 0xa0020
testb $0x1, %al
jne 0xeeed4
jmp 0xef01d
leaq -0x100(%rbp), %rdi
callq 0xa4310
movq %rax, -0x110(%rbp)
leaq -0xf8(%rbp), %rdi
callq 0xa2870
movq %rax, -0x118(%rbp)
leaq -0x100(%rbp), %rdi
leaq -0x118(%rbp), %rsi
callq 0xa0020
testb $0x1, %al
jne 0xeef13
jmp 0xeef3d
movq -0x148(%rbp), %rdi
addq $0x8, %rdi
movl $0x2c, %esi
callq 0x9b130
jmp 0xeef2a
jmp 0xeef3d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0xef042
movq -0x110(%rbp), %rdi
callq 0x9fb50
movq %rax, -0x178(%rbp)
movq -0x110(%rbp), %rdi
callq 0xa1590
movq -0x178(%rbp), %rsi
movl %eax, %edx
leaq -0x138(%rbp), %rdi
callq 0xef070
jmp 0xeef73
movq -0x148(%rbp), %rdi
addq $0x8, %rdi
leaq -0x138(%rbp), %rsi
callq 0x9fa80
jmp 0xeef8c
leaq -0x138(%rbp), %rdi
callq 0xa4f00
movq -0x148(%rbp), %rdi
movb 0x28(%rdi), %cl
leaq 0x145f0(%rip), %rax     # 0x103599
leaq 0x14ad9(%rip), %rsi     # 0x103a89
testb $0x1, %cl
cmovneq %rax, %rsi
addq $0x8, %rdi
callq 0x9d770
jmp 0xeefc2
movq -0x10(%rbp), %rdi
movq -0x110(%rbp), %rsi
callq 0xa0900
movq %rax, -0x180(%rbp)
jmp 0xeefdb
movq -0x180(%rbp), %rsi
movq -0x148(%rbp), %rdi
callq 0x9c410
jmp 0xeeff0
jmp 0xeeff2
leaq -0x100(%rbp), %rdi
callq 0x9e8d0
jmp 0xeeea5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x138(%rbp), %rdi
callq 0xa4f00
jmp 0xef042
movq -0x148(%rbp), %rdi
addq $0x8, %rdi
movl $0x7d, %esi
callq 0x9b130
jmp 0xef034
leaq -0xf8(%rbp), %rdi
callq 0x9ba40
jmp 0xef050
leaq -0xf8(%rbp), %rdi
callq 0x9ba40
jmp 0xef059
addq $0x180, %rsp            # imm = 0x180
popq %rbp
retq
movq -0x38(%rbp), %rdi
callq 0xa3520
nopw %cs:(%rax,%rax)