// File: /workspace/github_cpp_makefile_star2_O3/ef-gy[P]libefgy/src/test-case/json.cpp
// Function: testSize(std::ostream&)
bool testSize(std::ostream &log) {
  struct sampleData {
    json::json in;
    std::size_t res;
  };

  std::vector<sampleData> tests{
      {2.l, 1},
      {"foo", 1},
      {json::json::objectType{{"foo", "bar"}, {"baz", 2.l}}, 2},
      {json::json::arrayType{"foo", "bar", "baz"}, 3},
  };

  for (const auto &tt : tests) {
    const auto s = tt.in.size();
    if (s != tt.res) {
      log << "size()=" << s << ", but expected " << tt.res << "\n";
      return false;
    }
  }
  return true;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x180, %rsp            # imm = 0x180
movq %rdi, %r14
leaq 0x50(%rsp), %rbx
movl $0x6, (%rbx)
movq $0x0, 0x8(%rbx)
movq %rbx, %rdi
callq 0x13892
flds 0x11281(%rip)           # 0x180fc
fld %st(0)
fstpt 0x2c(%rsp)
fstpt (%rax)
leaq 0x68(%rsp), %rbx
movq $0x1, -0x8(%rbx)
leaq 0x11539(%rip), %rsi     # 0x183d0
movq %rbx, %rdi
callq 0x77a6
leaq 0x80(%rsp), %rbx
movq $0x1, -0x8(%rbx)
leaq 0x1151a(%rip), %rsi     # 0x183d0
leaq 0x11517(%rip), %rdx     # 0x183d4
leaq 0x120(%rsp), %rdi
callq 0x77e8
leaq 0x150(%rsp), %rdi
fldt 0x2c(%rsp)
fstpt 0xb0(%rsp)
leaq 0x114f4(%rip), %rsi     # 0x183d8
leaq 0xb0(%rsp), %rdx
callq 0x784e
leaq 0xf0(%rsp), %rdi
leaq 0x120(%rsp), %rsi
leaq 0xf(%rsp), %rcx
leaq 0xe(%rsp), %r8
movl $0x2, %edx
callq 0x78d0
movl $0x6, 0x80(%rsp)
movq $0x0, 0x88(%rsp)
movq %rbx, %rdi
callq 0x137ca
leaq 0xf0(%rsp), %rsi
movq %rax, %rdi
callq 0x13d84
leaq 0x98(%rsp), %rbx
movq $0x2, -0x8(%rbx)
leaq 0x11475(%rip), %rsi     # 0x183d0
leaq 0xc0(%rsp), %r15
movq %r15, %rdi
callq 0x77a6
leaq 0xd0(%rsp), %r12
leaq 0x1145a(%rip), %rsi     # 0x183d4
movq %r12, %rdi
callq 0x77a6
leaq 0xe0(%rsp), %r12
leaq 0x11447(%rip), %rsi     # 0x183d8
movq %r12, %rdi
callq 0x77a6
leaq 0x38(%rsp), %rdi
leaq 0xc0(%rsp), %rsi
leaq 0xd(%rsp), %rcx
movl $0x3, %edx
callq 0x7954
movl $0x6, 0x98(%rsp)
movq $0x0, 0xa0(%rsp)
movq %rbx, %rdi
callq 0x13816
leaq 0x38(%rsp), %rsi
movq %rax, %rdi
callq 0x139c0
movq $0x3, 0xa8(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
movl $0x60, %edi
callq 0x4260
movq %rax, %r15
movq %rax, 0x10(%rsp)
addq $0x60, %rax
movq %rax, 0x20(%rsp)
xorl %r12d, %r12d
leaq (%r15,%r12), %rdi
leaq (%rsp,%r12), %rsi
addq $0x50, %rsi
movl $0x6, (%r15,%r12)
movq $0x0, 0x8(%r15,%r12)
callq 0x13690
movq 0x60(%rsp,%r12), %rax
movq %rax, 0x10(%r15,%r12)
addq $0x18, %r12
cmpq $0x60, %r12
jne 0x701c
addq %r12, %r15
movq %r15, 0x18(%rsp)
movl $0x48, %ebx
leaq (%rsp,%rbx), %rdi
addq $0x50, %rdi
callq 0x13602
addq $-0x18, %rbx
cmpq $-0x18, %rbx
jne 0x705f
leaq 0x38(%rsp), %rdi
callq 0x799c
movl $0x20, %ebx
leaq (%rsp,%rbx), %rdi
addq $0xc0, %rdi
callq 0x13602
addq $-0x10, %rbx
cmpq $-0x10, %rbx
jne 0x7085
leaq 0xf0(%rsp), %rdi
callq 0x132aa
movq $-0x60, %r15
leaq 0x170(%rsp), %rbx
movq %rbx, %rdi
callq 0x13602
movq -0x20(%rbx), %rdi
leaq -0x10(%rbx), %rax
cmpq %rdi, %rax
je 0x70db
movq (%rax), %rsi
incq %rsi
callq 0x4270
addq $-0x30, %rbx
addq $0x30, %r15
jne 0x70bb
movq 0x10(%rsp), %r12
movq 0x18(%rsp), %rax
movb $0x1, %bl
cmpq %rax, %r12
je 0x719f
addq $0x10, %r12
movl -0x10(%r12), %ecx
cmpl $0x1, %ecx
je 0x711d
movl $0x1, %r15d
testl %ecx, %ecx
jne 0x712d
movq -0x8(%r12), %rcx
movq 0x28(%rcx), %r15
jmp 0x712d
movq -0x8(%r12), %rcx
movq 0x8(%rcx), %r15
subq (%rcx), %r15
sarq $0x4, %r15
leaq -0x10(%r12), %rcx
cmpq 0x10(%rcx), %r15
jne 0x7147
addq $0x18, %r12
addq $0x18, %rcx
cmpq %rax, %rcx
jne 0x70fe
jmp 0x719f
leaq 0x1128e(%rip), %rsi     # 0x183dc
movl $0x7, %edx
movq %r14, %rdi
callq 0x42f0
movq %r14, %rdi
movq %r15, %rsi
callq 0x41c0
movq %rax, %rbx
leaq 0x11274(%rip), %rsi     # 0x183e4
movl $0xf, %edx
movq %rax, %rdi
callq 0x42f0
movq (%r12), %rsi
movq %rbx, %rdi
callq 0x41c0
leaq 0x112a9(%rip), %rsi     # 0x18439
movl $0x1, %edx
movq %rax, %rdi
callq 0x42f0
xorl %ebx, %ebx
leaq 0x10(%rsp), %rdi
callq 0x7326
movl %ebx, %eax
addq $0x180, %rsp            # imm = 0x180
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
jmp 0x7279
movq %rax, %r14
xorl %ebp, %ebp
jmp 0x72a3
jmp 0x721f
movq %rax, %r14
xorl %ebp, %ebp
jmp 0x72d0
movq %rax, %r14
leaq 0x120(%rsp), %rdi
callq 0x79e4
jmp 0x722c
jmp 0x7229
movq %rax, %r14
leaq 0x10(%rsp), %rdi
callq 0x7326
jmp 0x7315
movq %rax, %r14
xorl %ebp, %ebp
jmp 0x7299
movq %rax, %r14
addq $-0x10, %r12
movq %r12, %rdi
callq 0x13602
cmpq %r15, %r12
jne 0x720c
jmp 0x7222
movq %rax, %r14
xorl %ebp, %ebp
jmp 0x72c3
movq %rax, %r14
xorl %ebp, %ebp
jmp 0x72f0
movq %rax, %rdi
callq 0x40f0
testq %r12, %r12
je 0x7255
xorl %r14d, %r14d
leaq (%r15,%r14), %rdi
callq 0x13602
addq $0x18, %r14
cmpq %r14, %r12
jne 0x7243
callq 0x43b0
movq %rax, %r14
callq 0x43f0
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x7279
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x4270
movl $0x48, %r15d
leaq (%rsp,%r15), %rdi
addq $0x50, %rdi
callq 0x13602
addq $-0x18, %r15
cmpq $-0x18, %r15
jne 0x727f
movb $0x1, %bpl
leaq 0x38(%rsp), %rdi
callq 0x799c
movl $0x20, %r15d
leaq (%rsp,%r15), %rdi
addq $0xc0, %rdi
callq 0x13602
addq $-0x10, %r15
cmpq $-0x10, %r15
jne 0x72a9
leaq 0xf0(%rsp), %rdi
callq 0x132aa
movl $0x30, %r15d
leaq (%rsp,%r15), %rdi
addq $0x120, %rdi            # imm = 0x120
callq 0x79e4
addq $-0x30, %r15
cmpq $-0x30, %r15
jne 0x72d6
leaq 0x50(%rsp), %r15
cmpq %rbx, %r15
sete %al
testb %bpl, %bpl
jne 0x7315
testb %al, %al
jne 0x7315
addq $-0x18, %rbx
movq %rbx, %rdi
callq 0x13602
cmpq %r15, %rbx
jne 0x7304
movq %r14, %rdi
callq 0x4440
movq %rax, %rdi
callq 0x7b8b
nop