// File: /workspace/github_cpp_makefile_star2_O3/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 0x645b(%rip), %rdi      # 0xfff0
leaq 0x1969(%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)
movq $0x0, -0xd0(%rbp)
movq $0x4, -0xc8(%rbp)
leaq -0xa8(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x172e(%rip), %rsi      # 0xb329
leaq 0x172a(%rip), %rdx      # 0xb32c
leaq -0xb8(%rbp), %rdi
callq 0xa378
leaq -0x130(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
movl $0x5, %edx
callq 0x259c
movq -0xb8(%rbp), %rdi
cmpq %r14, %rdi
je 0x9c37
callq 0x21c0
leaq -0x88(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x18b7(%rip), %rsi      # 0xb500
leaq 0x18b4(%rip), %rdx      # 0xb504
leaq -0x98(%rbp), %rdi
callq 0xa378
leaq -0x130(%rbp), %rdi
leaq -0x98(%rbp), %rsi
movl $0x5, %edx
callq 0x259c
movq -0x98(%rbp), %rdi
cmpq %r14, %rdi
je 0x9c85
callq 0x21c0
leaq -0x68(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x16ed(%rip), %rsi      # 0xb381
leaq 0x16ec(%rip), %rdx      # 0xb387
leaq -0x78(%rbp), %rdi
callq 0xa378
leaq -0x130(%rbp), %rdi
leaq -0x78(%rbp), %rsi
movl $0x5, %edx
callq 0x259c
movq -0x78(%rbp), %rdi
cmpq %r14, %rdi
je 0x9cc7
callq 0x21c0
leaq -0x58(%rbp), %rdi
leaq -0x130(%rbp), %rsi
callq 0x3316
movq -0x58(%rbp), %rsi
movq -0x50(%rbp), %rdx
movq 0x630a(%rip), %rdi      # 0xfff0
callq 0x2200
leaq -0x48(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x9cfd
callq 0x21c0
movl $0x6, %r14d
movq 0x62e6(%rip), %rbx      # 0xfff0
leaq -0x58(%rbp), %r15
leaq -0x130(%rbp), %r12
leaq 0x1850(%rip), %r13      # 0xb56c
movl $0x4, %edx
movq %rbx, %rdi
leaq 0x180c(%rip), %rsi      # 0xb537
callq 0x2200
movq %r15, %rdi
movq %r12, %rsi
callq 0x31ea
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 0x9d6d
callq 0x21c0
decq %r14
jne 0x9d1c
leaq -0xf8(%rbp), %rbx
movq %rbx, %rdi
callq 0xa150
movq -0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x9d8f
callq 0x21c0
movq -0x120(%rbp), %rax
testq %rax, %rax
je 0x9dac
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 0x4411
movq %rax, %rbx
leaq -0x48(%rbp), %rax
movq -0x10(%rax), %rdi
jmp 0x9e15
jmp 0x9e05
movq %rax, %rbx
movq -0x78(%rbp), %rdi
jmp 0x9dfa
jmp 0x9e05
movq %rax, %rbx
movq -0x98(%rbp), %rdi
jmp 0x9dfa
jmp 0x9e05
movq %rax, %rbx
movq -0xb8(%rbp), %rdi
cmpq %r14, %rdi
jne 0x9e1a
jmp 0x9e1f
jmp 0x9e05
jmp 0x9e05
movq %rax, %rbx
jmp 0x9e1f
movq %rax, %rbx
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x9e1f
callq 0x21c0
leaq -0x130(%rbp), %rdi
callq 0x9fd6
movq %rbx, %rdi
callq 0x22b0