// File: /workspace/github_cpp_makefile_star2_O1/cegme[P]vose/test.cc
// Function: test::test7()
bool test::test7() {

  std::cerr << "Need to make sure each branch is being selected.\n";

  VoseTree tree;
  tree.set_max_marbles(0);
  tree.set_max_bags(4);

  tree.add("red", 5);
  tree.add("blue", 5);
  tree.add("yellow", 5);
  std::cerr << tree.toString();

  for( size_t i = 0; i != 6; ++i) {
    std::cerr << ">>> " << tree.rand_marble().label << "\n";
  }

  return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
movq 0x5ff3(%rip), %rdi      # 0xfff0
leaq 0x1501(%rip), %rsi      # 0xb505
movl $0x31, %edx
callq 0x2200
xorps %xmm0, %xmm0
movaps %xmm0, -0xe0(%rbp)
movaps %xmm0, -0xf0(%rbp)
movaps %xmm0, -0x100(%rbp)
movaps %xmm0, -0x110(%rbp)
movaps %xmm0, -0x120(%rbp)
movaps %xmm0, -0x130(%rbp)
movaps %xmm0, -0xd0(%rbp)
movq $0x4, -0xc8(%rbp)
leaq -0xa8(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x12ca(%rip), %rsi      # 0xb329
leaq 0x12c6(%rip), %rdx      # 0xb32c
leaq -0xb8(%rbp), %rdi
callq 0xa7de
leaq -0x130(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
movl $0x5, %edx
callq 0x259c
movq -0xb8(%rbp), %rdi
cmpq %r14, %rdi
je 0xa09b
callq 0x21c0
leaq -0x88(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x1453(%rip), %rsi      # 0xb500
leaq 0x1450(%rip), %rdx      # 0xb504
leaq -0x98(%rbp), %rdi
callq 0xa7de
leaq -0x130(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x5, %edx
callq 0x259c
movq -0x98(%rbp), %rdi
cmpq %r14, %rdi
je 0xa0e9
callq 0x21c0
leaq -0x68(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x1289(%rip), %rsi      # 0xb381
leaq 0x1288(%rip), %rdx      # 0xb387
leaq -0x78(%rbp), %rdi
callq 0xa7de
leaq -0x130(%rbp), %rdi
leaq -0x78(%rbp), %rsi
movl $0x5, %edx
callq 0x259c
movq -0x78(%rbp), %rdi
cmpq %r14, %rdi
je 0xa12b
callq 0x21c0
leaq -0x58(%rbp), %rdi
leaq -0x130(%rbp), %rsi
callq 0x374e
movq -0x58(%rbp), %rsi
movq -0x50(%rbp), %rdx
movq 0x5ea6(%rip), %rdi      # 0xfff0
callq 0x2200
leaq -0x48(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa161
callq 0x21c0
movl $0x6, %r14d
movq 0x5e82(%rip), %rbx      # 0xfff0
leaq -0x58(%rbp), %r15
leaq -0x130(%rbp), %r12
leaq 0x13ec(%rip), %r13      # 0xb56c
movl $0x4, %edx
movq %rbx, %rdi
leaq 0x13a8(%rip), %rsi      # 0xb537
callq 0x2200
movq %r15, %rdi
movq %r12, %rsi
callq 0x3620
movq -0x50(%rbp), %rsi
movq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq 0x2200
movl $0x1, %edx
movq %rax, %rdi
movq %r13, %rsi
callq 0x2200
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0xa1d1
callq 0x21c0
decq %r14
jne 0xa180
leaq -0xf8(%rbp), %rbx
movq %rbx, %rdi
callq 0xa5b6
movq -0x18(%rbx), %rdi
testq %rdi, %rdi
je 0xa1f3
callq 0x21c0
movq -0x120(%rbp), %rax
testq %rax, %rax
je 0xa210
leaq -0x130(%rbp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movb $0x1, %al
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rdi
callq 0x4733
movq %rax, %rbx
leaq -0x48(%rbp), %rax
movq -0x10(%rax), %rdi
jmp 0xa279
jmp 0xa269
movq %rax, %rbx
movq -0x78(%rbp), %rdi
jmp 0xa25e
jmp 0xa269
movq %rax, %rbx
movq -0x98(%rbp), %rdi
jmp 0xa25e
jmp 0xa269
movq %rax, %rbx
movq -0xb8(%rbp), %rdi
cmpq %r14, %rdi
jne 0xa27e
jmp 0xa283
jmp 0xa269
jmp 0xa269
movq %rax, %rbx
jmp 0xa283
movq %rax, %rbx
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0xa283
callq 0x21c0
leaq -0x130(%rbp), %rdi
callq 0xa43c
movq %rbx, %rdi
callq 0x22b0