// File: /workspace/github_cpp_makefile_star2_O1/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 %r13
pushq %r12
pushq %rbx
subq $0x188, %rsp            # imm = 0x188
movq %rdi, %r12
leaq 0x80(%rsp), %rbx
movl $0x6, (%rbx)
movq $0x0, 0x8(%rbx)
movq %rbx, %rdi
callq 0x13b96
flds 0x10f9d(%rip)           # 0x180fc
fld %st(0)
fstpt 0x2c(%rsp)
fstpt (%rax)
leaq 0x98(%rsp), %rbx
movq $0x1, -0x8(%rbx)
leaq 0x11252(%rip), %rsi     # 0x183d0
movq %rbx, %rdi
callq 0x7ac8
leaq 0xb0(%rsp), %rbx
movq $0x1, -0x8(%rbx)
leaq 0x11233(%rip), %rsi     # 0x183d0
leaq 0x11230(%rip), %rdx     # 0x183d4
leaq 0x128(%rsp), %r15
movq %r15, %rdi
callq 0x7b0a
leaq 0x158(%rsp), %r14
fldt 0x2c(%rsp)
fstpt 0xe0(%rsp)
leaq 0x1120a(%rip), %rsi     # 0x183d8
leaq 0xe0(%rsp), %rdx
movq %r14, %rdi
callq 0x7b70
leaq 0xf8(%rsp), %rdi
leaq 0x128(%rsp), %rsi
leaq 0xf(%rsp), %rcx
leaq 0xe(%rsp), %r8
movl $0x2, %edx
callq 0x7bf2
movl $0x6, 0xb0(%rsp)
movq $0x0, 0xb8(%rsp)
movq %rbx, %rdi
callq 0x13ad0
leaq 0xf8(%rsp), %rsi
movq %rax, %rdi
callq 0x14068
leaq 0xc8(%rsp), %rbx
movq $0x2, -0x8(%rbx)
leaq 0x50(%rsp), %rbp
leaq 0x11183(%rip), %rsi     # 0x183d0
movq %rbp, %r13
movq %rbp, %rdi
callq 0x7ac8
leaq 0x60(%rsp), %r13
leaq 0x11170(%rip), %rsi     # 0x183d4
movq %r13, %rdi
callq 0x7ac8
leaq 0x70(%rsp), %r13
leaq 0x11160(%rip), %rsi     # 0x183d8
movq %r13, %rdi
callq 0x7ac8
leaq 0x38(%rsp), %rdi
leaq 0x50(%rsp), %rsi
leaq 0xd(%rsp), %rcx
movl $0x3, %edx
callq 0x7c76
movl $0x6, 0xc8(%rsp)
movq $0x0, 0xd0(%rsp)
movq %rbx, %rdi
callq 0x13b1e
leaq 0x38(%rsp), %rsi
movq %rax, %rdi
callq 0x13cc2
movq $0x3, 0xd8(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
movl $0x60, %edi
callq 0x4260
movq %rax, %r13
movq %rax, 0x10(%rsp)
addq $0x60, %rax
movq %rax, 0x20(%rsp)
xorl %ebp, %ebp
movq %r13, %rdi
addq %rbp, %rdi
leaq 0x80(%rsp,%rbp), %rsi
movl $0x6, (%r13,%rbp)
movq $0x0, 0x8(%r13,%rbp)
callq 0x13996
movq 0x90(%rsp,%rbp), %rax
movq %rax, 0x10(%r13,%rbp)
addq $0x18, %rbp
cmpq $0x60, %rbp
jne 0x72ff
addq %rbp, %r13
movq %r13, 0x18(%rsp)
movl $0x48, %ebx
leaq (%rsp,%rbx), %rdi
addq $0x80, %rdi
callq 0x13908
addq $-0x18, %rbx
cmpq $-0x18, %rbx
jne 0x7348
leaq 0x38(%rsp), %rdi
callq 0x7cbe
movl $0x20, %ebx
leaq (%rsp,%rbx), %rdi
addq $0x50, %rdi
callq 0x13908
addq $-0x10, %rbx
cmpq $-0x10, %rbx
jne 0x7371
leaq 0xf8(%rsp), %rdi
callq 0x135ae
movq $-0x60, %r14
leaq 0x178(%rsp), %rbx
movq %rbx, %rdi
callq 0x13908
movq -0x20(%rbx), %rdi
leaq -0x10(%rbx), %rax
cmpq %rdi, %rax
je 0x73c4
movq (%rax), %rsi
incq %rsi
callq 0x4270
addq $-0x30, %rbx
addq $0x30, %r14
jne 0x73a4
movq 0x10(%rsp), %r15
movq 0x18(%rsp), %rax
cmpq %rax, %r15
sete %bl
je 0x7485
addq $0x10, %r15
movl -0x10(%r15), %ecx
cmpl $0x1, %ecx
je 0x7405
movl $0x1, %r14d
testl %ecx, %ecx
jne 0x7414
movq -0x8(%r15), %rcx
movq 0x28(%rcx), %r14
jmp 0x7414
movq -0x8(%r15), %rcx
movq 0x8(%rcx), %r14
subq (%rcx), %r14
sarq $0x4, %r14
leaq -0x10(%r15), %rcx
cmpq 0x10(%rcx), %r14
jne 0x7430
addq $0x18, %r15
addq $0x18, %rcx
cmpq %rax, %rcx
sete %bl
jne 0x73e8
jmp 0x7485
leaq 0x10fa5(%rip), %rsi     # 0x183dc
movl $0x7, %edx
movq %r12, %rdi
callq 0x42f0
movq %r12, %rdi
movq %r14, %rsi
callq 0x41c0
movq %rax, %r14
leaq 0x10f8b(%rip), %rsi     # 0x183e4
movl $0xf, %edx
movq %rax, %rdi
callq 0x42f0
movq (%r15), %rsi
movq %r14, %rdi
callq 0x41c0
leaq 0x10fc1(%rip), %rsi     # 0x18439
movl $0x1, %edx
movq %rax, %rdi
callq 0x42f0
leaq 0x10(%rsp), %rdi
callq 0x7642
andb $0x1, %bl
movl %ebx, %eax
addq $0x188, %rsp            # imm = 0x188
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r12
jmp 0x7557
movq %rax, %r12
xorl %ebp, %ebp
jmp 0x759b
movq %rax, %r12
xorl %ebp, %ebp
jmp 0x75c5
movq %rax, %r12
xorl %eax, %eax
jmp 0x74d1
movq %rax, %r12
xorl %eax, %eax
movq %r15, %r14
xorl %ebp, %ebp
jmp 0x75e7
movq %rax, %r12
leaq 0x10(%rsp), %rdi
callq 0x7642
jmp 0x7632
movq %rax, %r12
xorl %ebp, %ebp
jmp 0x7591
movq %rax, %r12
jmp 0x7521
movq %rax, %r12
xorl %ebp, %ebp
jmp 0x760a
movq %rax, %r12
cmpq %r13, %rbp
je 0x7521
leaq 0x50(%rsp), %rbp
addq $-0x10, %r13
movq %r13, %rdi
callq 0x13908
cmpq %rbp, %r13
jne 0x7510
xorl %ebp, %ebp
jmp 0x75b8
movq %rax, %rdi
callq 0x40f0
testq %rbp, %rbp
je 0x754a
xorl %r12d, %r12d
leaq (%r12,%r13), %rdi
callq 0x13908
addq $0x18, %r12
cmpq %r12, %rbp
jne 0x7538
callq 0x43b0
movq %rax, %r12
callq 0x43f0
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x756e
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x4270
movl $0x48, %r13d
leaq (%rsp,%r13), %rdi
addq $0x80, %rdi
callq 0x13908
addq $-0x18, %r13
cmpq $-0x18, %r13
jne 0x7574
movb $0x1, %bpl
leaq 0x38(%rsp), %rdi
callq 0x7cbe
movl $0x20, %r13d
leaq (%rsp,%r13), %rdi
addq $0x50, %rdi
callq 0x13908
addq $-0x10, %r13
cmpq $-0x10, %r13
jne 0x75a1
leaq 0xf8(%rsp), %rdi
callq 0x135ae
movl $0x30, %r13d
leaq (%rsp,%r13), %rdi
addq $0x128, %rdi            # imm = 0x128
callq 0x7d00
addq $-0x30, %r13
cmpq $-0x30, %r13
jne 0x75cb
movb $0x1, %al
cmpq %r14, %r15
sete %cl
orb %al, %cl
jne 0x760a
leaq 0x128(%rsp), %r15
addq $-0x30, %r14
movq %r14, %rdi
callq 0x7d00
cmpq %r15, %r14
jne 0x75f9
leaq 0x80(%rsp), %r14
cmpq %rbx, %r14
sete %al
testb %bpl, %bpl
jne 0x7632
testb %al, %al
jne 0x7632
addq $-0x18, %rbx
movq %rbx, %rdi
callq 0x13908
cmpq %r14, %rbx
jne 0x7621
movq %r12, %rdi
callq 0x4440
movq %rax, %rdi
callq 0x7eaf