// File: /workspace/github_c_makefile_star2_O3/genometools[P]genometools/src/core/bsearch.c
// Function: gt_bsearch_unit_test
int gt_bsearch_unit_test(GtError *err)
{
  GtArray *elements, *members;
  int key = 0, element, *member_ptr;
  GtBittab *b;
  int had_err = 0;

  gt_error_check(err);

  elements = gt_array_new(sizeof (int));
  members = gt_array_new(sizeof (int*));

  /* the empty case */
  gt_bsearch_all(members, &key, gt_array_get_space(elements),
                 gt_array_size(elements), sizeof (int), cmp, NULL);
  gt_ensure(!gt_array_size(members)); /* no member found */
  gt_ensure(!gt_bsearch_data(&key, gt_array_get_space(elements),
                                   gt_array_size(elements), sizeof (int), cmp,
                                   NULL));

  /* 1 element */
  key = 7;
  element = 7;
  gt_array_add(elements, element);
  gt_bsearch_all(members, &key, gt_array_get_space(elements),
                 gt_array_size(elements), sizeof (int), cmp, NULL);
  gt_ensure(gt_array_size(members) == 1); /* one member found */
  member_ptr = *(int**) gt_array_get(members, 0);
  gt_ensure(*member_ptr == element);
  member_ptr = gt_bsearch_data(&key, gt_array_get_space(elements),
                               gt_array_size(elements), sizeof (int), cmp,
                               NULL);
  gt_ensure(*member_ptr == element);

  key = -7;
  gt_array_reset(members);
  gt_bsearch_all(members, &key, gt_array_get_space(elements),
                 gt_array_size(elements), sizeof (int), cmp, NULL);
  gt_ensure(!gt_array_size(members)); /* no member found */

  /* 2 elements */
  key = 7;
  gt_array_reset(members);
  gt_array_add(elements, element);
  gt_ensure(gt_array_size(elements) == 2);
  gt_bsearch_all(members, &key, gt_array_get_space(elements),
                 gt_array_size(elements), sizeof (int), cmp, NULL);
  gt_ensure(gt_array_size(members) == 2); /* two members found */
  member_ptr = *(int**) gt_array_get(members, 0);
  gt_ensure(*member_ptr == element);
  member_ptr = *(int**) gt_array_get(members, 1);
  gt_ensure(*member_ptr == element);
  gt_ensure(gt_bsearch_data(&key, gt_array_get_space(elements),
                                  gt_array_size(elements), sizeof (int), cmp,
                                  NULL));

  key = -7;
  gt_array_reset(members);
  gt_bsearch_all(members, &key, gt_array_get_space(elements),
                 gt_array_size(elements), sizeof (int), cmp, NULL);
  gt_ensure(!gt_array_size(members)); /* no member found */
  gt_ensure(!gt_bsearch_data(&key, gt_array_get_space(elements),
                                   gt_array_size(elements), sizeof (int), cmp,
                                   NULL));

  /* 3 elements */
  key = 7;
  gt_array_reset(members);
  gt_array_add(elements, element);
  gt_ensure(gt_array_size(elements) == 3);
  gt_bsearch_all(members, &key, gt_array_get_space(elements),
                 gt_array_size(elements), sizeof (int), cmp, NULL);
  gt_ensure(gt_array_size(members) == 3); /* three members found */
  member_ptr = *(int**) gt_array_get(members, 0);
  gt_ensure(*member_ptr == element);
  member_ptr = *(int**) gt_array_get(members, 1);
  gt_ensure(*member_ptr == element);
  member_ptr = *(int**) gt_array_get(members, 2);
  gt_ensure(*member_ptr == element);
  gt_ensure(gt_bsearch_data(&key, gt_array_get_space(elements),
                                  gt_array_size(elements), sizeof (int), cmp,
                                  NULL));

  key = -7;
  gt_array_reset(members);
  gt_bsearch_all(members, &key, gt_array_get_space(elements),
                 gt_array_size(elements), sizeof (int), cmp, NULL);
  gt_ensure(!gt_array_size(members)); /* no member found */
  gt_ensure(!gt_bsearch_data(&key, gt_array_get_space(elements),
                                   gt_array_size(elements), sizeof (int), cmp,
                                   NULL));

  /* large case: -10 -5 -3 -3 -3 0 1 2 3 */
  gt_array_reset(elements);
  element = -10;
  gt_array_add(elements, element);
  element = -5;
  gt_array_add(elements, element);
  element = -3;
  gt_array_add(elements, element);
  gt_array_add(elements, element);
  gt_array_add(elements, element);
  element = 0;
  gt_array_add(elements, element);
  element = 1;
  gt_array_add(elements, element);
  element = 2;
  gt_array_add(elements, element);
  element = 3;
  gt_array_add(elements, element);
  gt_ensure(gt_array_size(elements) == 9);
  key = -3;
  gt_array_reset(members);
  gt_bsearch_all(members, &key, gt_array_get_space(elements),
                 gt_array_size(elements), sizeof (int), cmp, NULL);
  gt_ensure(gt_array_size(members) == 3); /* three members found */
  member_ptr = *(int**) gt_array_get(members, 0);
  gt_ensure(*member_ptr == -3);
  member_ptr = *(int**) gt_array_get(members, 1);
  gt_ensure(*member_ptr == -3);
  member_ptr = *(int**) gt_array_get(members, 2);
  gt_ensure(*member_ptr == -3);
  gt_ensure(
         gt_bsearch_data(&key, gt_array_get_space(elements),
                         gt_array_size(elements), sizeof (int), cmp,NULL));

  /* test gt_bsearch_all_mark() with large case */
  gt_array_reset(members);
  b = gt_bittab_new(gt_array_size(elements));
  gt_bsearch_all_mark(members, &key, gt_array_get_space(elements),
                   gt_array_size(elements), sizeof (int), cmp, NULL, b);
  gt_ensure(gt_array_size(members) == 3); /* three members found */
  member_ptr = *(int**) gt_array_get(members, 0);
  gt_ensure(*member_ptr == -3);
  member_ptr = *(int**) gt_array_get(members, 1);
  gt_ensure(*member_ptr == -3);
  member_ptr = *(int**) gt_array_get(members, 2);
  gt_ensure(*member_ptr == -3);
  /* the correct elements are marked (and only these) */
  gt_ensure(gt_bittab_bit_is_set(b, 2));
  gt_ensure(gt_bittab_bit_is_set(b, 3));
  gt_ensure(gt_bittab_bit_is_set(b, 4));
  gt_ensure(gt_bittab_count_set_bits(b) == 3);

  /* free */
  gt_array_delete(elements);
  gt_array_delete(members);
  gt_bittab_delete(b);

  return had_err;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %r12
movl $0x0, 0x10(%rsp)
testq %rdi, %rdi
je 0xbd9b0
movq %r12, %rdi
callq 0x34fea
testb %al, %al
jne 0xbec80
movl $0x4, %edi
callq 0x6ef7c
movq %rax, %rbx
movl $0x8, %edi
callq 0x6ef7c
movq %rax, %r14
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r15
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0x12df(%rip), %r9       # 0xbeccb
leaq 0x10(%rsp), %rsi
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rdx
movq %rax, %rcx
callq 0xbd957
movq %r14, %rdi
callq 0x6f310
testq %rax, %rax
movq %r12, 0x18(%rsp)
movq %r14, 0x20(%rsp)
je 0xbdbc0
leaq 0x25732(%rip), %rsi     # 0xe3159
leaq 0x444b3(%rip), %rdx     # 0x101ee1
leaq 0x44497(%rip), %rcx     # 0x101ecc
leaq 0x44469(%rip), %r8      # 0x101ea5
movq %r12, %rdi
movl $0x81, %r9d
xorl %eax, %eax
callq 0x34f1f
movl $0x7, %eax
leaq 0x10(%rsp), %r12
movl %eax, (%r12)
leaq 0x14(%rsp), %rsi
movl %eax, (%rsi)
movl $0x4, %edx
movq %rbx, %rdi
callq 0x6f240
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r15
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0x123b(%rip), %r9       # 0xbeccb
movl $0x4, %r8d
movq %r14, %rdi
movq %r12, %rsi
movq %r15, %rdx
movq %rax, %rcx
callq 0xbd957
movq %r14, %rdi
xorl %r14d, %r14d
xorl %esi, %esi
callq 0x6f037
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq %rax, %r13
testl %r13d, %r13d
je 0xbdb0e
leaq 0x10(%rsp), %rbp
movl %r13d, %eax
sarl %eax
cltq
leaq (%r12,%rax,4), %r15
movq %rbp, %rdi
movq %r15, %rsi
callq 0xbeccb
testl %eax, %eax
je 0xbdb11
addq $0x4, %r15
xorl %ecx, %ecx
testl %eax, %eax
setg %cl
cmovgq %r15, %r12
subl %ecx, %r13d
movl %r13d, %eax
sarl %eax
cmpl $0x1, %r13d
movl %eax, %r13d
ja 0xbdad4
xorl %r15d, %r15d
testb %r14b, %r14b
movq 0x20(%rsp), %r14
movq 0x18(%rsp), %r13
je 0xbdc53
movl (%r15), %eax
cmpl 0x14(%rsp), %eax
jne 0xbdc27
leaq 0x10(%rsp), %r15
movl $0xfffffff9, (%r15)     # imm = 0xFFFFFFF9
movq %r14, %rdi
callq 0x6f349
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0x1164(%rip), %r9       # 0xbeccb
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rax, %rcx
callq 0xbd957
movq %r14, %rdi
callq 0x6f310
testq %rax, %rax
je 0xbe40f
leaq 0x255c3(%rip), %rsi     # 0xe3159
leaq 0x44344(%rip), %rdx     # 0x101ee1
leaq 0x44328(%rip), %rcx     # 0x101ecc
leaq 0x442fa(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0x98, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbdca0
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq %rax, %r13
testl %r13d, %r13d
je 0xbe321
leaq 0x10(%rsp), %rbp
movl %r13d, %eax
sarl %eax
cltq
leaq (%r12,%rax,4), %r15
movq %rbp, %rdi
movq %r15, %rsi
callq 0xbeccb
testl %eax, %eax
je 0xbe2f0
addq $0x4, %r15
xorl %ecx, %ecx
testl %eax, %eax
setg %cl
cmovgq %r15, %r12
subl %ecx, %r13d
movl %r13d, %eax
sarl %eax
cmpl $0x2, %r13d
movl %eax, %r13d
jae 0xbdbe4
jmp 0xbe321
leaq 0x2552b(%rip), %rsi     # 0xe3159
leaq 0x44347(%rip), %rdx     # 0x101f7c
leaq 0x44290(%rip), %rcx     # 0x101ecc
leaq 0x44262(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0x92, %r9d
xorl %eax, %eax
callq 0x34f1f
leaq 0x10(%rsp), %r15
movl $0xfffffff9, (%r15)     # imm = 0xFFFFFFF9
movq %r14, %rdi
callq 0x6f349
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0x1042(%rip), %r9       # 0xbeccb
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rax, %rcx
callq 0xbd957
movl $0x7, 0x10(%rsp)
movq %r14, %rdi
callq 0x6f349
leaq 0x14(%rsp), %rsi
movl $0x4, %edx
movq %rbx, %rdi
callq 0x6f240
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r15
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0xfe7(%rip), %r9        # 0xbeccb
leaq 0x10(%rsp), %rsi
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rdx
movq %rax, %rcx
callq 0xbd957
movq %r14, %rdi
xorl %esi, %esi
callq 0x6f037
movl $0x1, %esi
movq %r14, %rdi
callq 0x6f037
leaq 0x10(%rsp), %r15
movl $0xfffffff9, (%r15)     # imm = 0xFFFFFFF9
movq %r14, %rdi
callq 0x6f349
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0xf81(%rip), %r9        # 0xbeccb
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rax, %rcx
callq 0xbd957
movl $0x7, 0x10(%rsp)
movq %r14, %rdi
callq 0x6f349
leaq 0x14(%rsp), %rsi
movl $0x4, %edx
movq %rbx, %rdi
callq 0x6f240
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r15
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0xf26(%rip), %r9        # 0xbeccb
leaq 0x10(%rsp), %rsi
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rdx
movq %rax, %rcx
callq 0xbd957
movq %r14, %rdi
xorl %esi, %esi
callq 0x6f037
movl $0x1, %esi
movq %r14, %rdi
callq 0x6f037
movl $0x2, %esi
movq %r14, %rdi
callq 0x6f037
leaq 0x10(%rsp), %r15
movl $0xfffffff9, (%r15)     # imm = 0xFFFFFFF9
movq %r14, %rdi
callq 0x6f349
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0xeb3(%rip), %r9        # 0xbeccb
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rax, %rcx
callq 0xbd957
xorl %ebp, %ebp
movq %rbx, %rdi
callq 0x6f349
leaq 0x14(%rsp), %r12
movl $0xfffffff6, (%r12)     # imm = 0xFFFFFFF6
movl $0x4, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x6f240
movl $0xfffffffb, (%r12)     # imm = 0xFFFFFFFB
movl $0x4, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x6f240
movl $0xfffffffd, (%r12)     # imm = 0xFFFFFFFD
movl $0x4, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x6f240
movl $0x4, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x6f240
movl $0x4, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x6f240
movl $0x0, (%r12)
movl $0x4, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x6f240
movl $0x1, (%r12)
movl $0x4, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x6f240
movl $0x2, (%r12)
movl $0x4, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x6f240
movl $0x3, (%r12)
movl $0x4, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x6f240
testb %bpl, %bpl
je 0xbe05b
movq %rbx, %rdi
callq 0x6f310
cmpq $0x9, %rax
jne 0xbe02f
leaq 0x10(%rsp), %r15
movl $0xfffffffd, (%r15)     # imm = 0xFFFFFFFD
movq %r14, %rdi
callq 0x6f349
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0xd74(%rip), %r9        # 0xbeccb
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rax, %rcx
callq 0xbd957
movq %r14, %rdi
callq 0x6f310
cmpq $0x3, %rax
jne 0xbe28e
movq %r14, %rdi
xorl %esi, %esi
callq 0x6f037
movq (%rax), %rax
cmpl $-0x3, (%rax)
jne 0xbe52c
movl $0x1, %esi
movq %r14, %rdi
callq 0x6f037
movq (%rax), %rax
cmpl $-0x3, (%rax)
jne 0xbe5bf
movl $0x2, %esi
movq %r14, %rdi
callq 0x6f037
movq (%rax), %rax
cmpl $-0x3, (%rax)
jne 0xbe64b
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq %rax, %r13
testl %r13d, %r13d
je 0xbe732
leaq 0x10(%rsp), %rbp
movl %r13d, %eax
sarl %eax
cltq
leaq (%r12,%rax,4), %r15
movq %rbp, %rdi
movq %r15, %rsi
callq 0xbeccb
testl %eax, %eax
je 0xbe726
addq $0x4, %r15
xorl %ecx, %ecx
testl %eax, %eax
setg %cl
cmovgq %r15, %r12
subl %ecx, %r13d
movl %r13d, %eax
sarl %eax
cmpl $0x2, %r13d
movl %eax, %r13d
jae 0xbdfec
jmp 0xbe732
leaq 0x25123(%rip), %rsi     # 0xe3159
leaq 0x43fc8(%rip), %rdx     # 0x102005
leaq 0x43e88(%rip), %rcx     # 0x101ecc
leaq 0x43e5a(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0xe0, %r9d
xorl %eax, %eax
callq 0x34f1f
leaq 0x10(%rsp), %r15
movl $0xfffffffd, (%r15)     # imm = 0xFFFFFFFD
movq %r14, %rdi
callq 0x6f349
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0xc3a(%rip), %r9        # 0xbeccb
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rax, %rcx
callq 0xbd957
movq %r14, %rdi
xorl %esi, %esi
callq 0x6f037
movl $0x1, %esi
movq %r14, %rdi
callq 0x6f037
movl $0x2, %esi
movq %r14, %rdi
callq 0x6f037
xorl %ebp, %ebp
movq %r14, %rdi
callq 0x6f349
movq %rbx, %rdi
callq 0x6f310
movq %rax, %rdi
callq 0x70cd4
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r15
movq %rbx, %rdi
callq 0x6f310
movq %r12, 0x8(%rsp)
movq $0x0, (%rsp)
leaq 0xbbb(%rip), %r9        # 0xbeccb
leaq 0x10(%rsp), %rsi
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rdx
movq %rax, %rcx
callq 0xbd973
testb %bpl, %bpl
je 0xbe23c
movq %r14, %rdi
callq 0x6f310
cmpq $0x3, %rax
jne 0xbe20e
movq %r14, %rdi
xorl %esi, %esi
callq 0x6f037
movq (%rax), %rax
cmpl $-0x3, (%rax)
movq 0x18(%rsp), %r15
jne 0xbe2bf
movl $0x1, %esi
movq %r14, %rdi
callq 0x6f037
movq (%rax), %rax
cmpl $-0x3, (%rax)
jne 0xbe55d
movl $0x2, %esi
movq %r14, %rdi
callq 0x6f037
movq (%rax), %rax
cmpl $-0x3, (%rax)
jne 0xbe5f0
movl $0x2, %esi
movq %r12, %rdi
callq 0x710ce
testb %al, %al
je 0xbe677
movl $0x3, %esi
movq %r12, %rdi
callq 0x710ce
testb %al, %al
je 0xbe6d2
movl $0x4, %esi
movq %r12, %rdi
callq 0x710ce
testb %al, %al
je 0xbe767
movq %r12, %rdi
callq 0x71242
xorl %ebp, %ebp
cmpq $0x3, %rax
je 0xbe265
leaq 0x24f6e(%rip), %rsi     # 0xe3159
leaq 0x43ef8(%rip), %rdx     # 0x1020ea
leaq 0x43cd3(%rip), %rcx     # 0x101ecc
leaq 0x43ca5(%rip), %r8      # 0x101ea5
movq %r15, %rdi
movl $0x100, %r9d            # imm = 0x100
jmp 0xbe78c
leaq 0x24f44(%rip), %rsi     # 0xe3159
leaq 0x43dcd(%rip), %rdx     # 0x101fe9
leaq 0x43ca9(%rip), %rcx     # 0x101ecc
leaq 0x43c7b(%rip), %r8      # 0x101ea5
movq 0x18(%rsp), %rdi
movl $0xf5, %r9d
xorl %eax, %eax
callq 0x34f1f
movq %r14, %rdi
xorl %esi, %esi
callq 0x6f037
movl $0x1, %esi
movq %r14, %rdi
callq 0x6f037
movl $0x2, %esi
movq %r14, %rdi
callq 0x6f037
movl $0xffffffff, %ebp       # imm = 0xFFFFFFFF
movq %rbx, %rdi
callq 0x6f768
movq %r14, %rdi
callq 0x6f768
movq %r12, %rdi
callq 0x713d5
movl %ebp, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x24ec4(%rip), %rsi     # 0xe3159
leaq 0x43d4d(%rip), %rdx     # 0x101fe9
leaq 0x43c29(%rip), %rcx     # 0x101ecc
leaq 0x43bfb(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0xe5, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbe0a8
leaq 0x24e93(%rip), %rsi     # 0xe3159
leaq 0x43d55(%rip), %rdx     # 0x102022
leaq 0x43bf8(%rip), %rcx     # 0x101ecc
leaq 0x43bca(%rip), %r8      # 0x101ea5
movq %r15, %rdi
movl $0xf7, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbe246
testq %r12, %r12
je 0xbe321
leaq 0x24e5d(%rip), %rsi     # 0xe3159
leaq 0x43bf6(%rip), %rdx     # 0x101ef9
leaq 0x43bc2(%rip), %rcx     # 0x101ecc
leaq 0x43b94(%rip), %r8      # 0x101ea5
movq 0x18(%rsp), %rdi
movl $0x84, %r9d
jmp 0xbda45
movl $0x7, %eax
leaq 0x10(%rsp), %r12
movl %eax, (%r12)
leaq 0x14(%rsp), %rsi
movl %eax, (%rsi)
movl $0x4, %edx
movq %rbx, %rdi
callq 0x6f240
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r15
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0x966(%rip), %r9        # 0xbeccb
movl $0x4, %r8d
movq %r14, %rdi
movq %r12, %rsi
movq %r15, %rdx
movq %rax, %rcx
callq 0xbd957
movq %r14, %rdi
callq 0x6f310
cmpq $0x1, %rax
jne 0xbe3dc
movq %r14, %rdi
xorl %esi, %esi
callq 0x6f037
movq (%rax), %rax
movl (%rax), %eax
movb $0x1, %r14b
cmpl 0x14(%rsp), %eax
je 0xbdab4
leaq 0x24dac(%rip), %rsi     # 0xe3159
leaq 0x43bc8(%rip), %rdx     # 0x101f7c
leaq 0x43b11(%rip), %rcx     # 0x101ecc
leaq 0x43ae3(%rip), %r8      # 0x101ea5
xorl %r14d, %r14d
movq 0x18(%rsp), %rdi
movl $0x8e, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbdab4
leaq 0x24d76(%rip), %rsi     # 0xe3159
leaq 0x43b76(%rip), %rdx     # 0x101f60
leaq 0x43adb(%rip), %rcx     # 0x101ecc
leaq 0x43aad(%rip), %r8      # 0x101ea5
movq 0x18(%rsp), %rdi
movl $0x8c, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbdaa7
movl $0x7, 0x10(%rsp)
movq %r14, %rdi
callq 0x6f349
leaq 0x14(%rsp), %rsi
movl $0x4, %edx
movq %rbx, %rdi
callq 0x6f240
movq %rbx, %rdi
callq 0x6f310
cmpq $0x2, %rax
jne 0xbe58e
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r15
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0x866(%rip), %r9        # 0xbeccb
leaq 0x10(%rsp), %rsi
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rdx
movq %rax, %rcx
callq 0xbd957
movq %r14, %rdi
callq 0x6f310
cmpq $0x2, %rax
jne 0xbe61a
movq %r14, %rdi
xorl %esi, %esi
callq 0x6f037
movq (%rax), %rax
movl (%rax), %eax
cmpl 0x14(%rsp), %eax
jne 0xbe6a1
movl $0x1, %esi
movq %r14, %rdi
callq 0x6f037
movq (%rax), %rax
movl (%rax), %eax
cmpl 0x14(%rsp), %eax
jne 0xbe6fc
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq %rax, %r13
testl %r13d, %r13d
je 0xbe831
leaq 0x10(%rsp), %rbp
movl %r13d, %eax
sarl %eax
cltq
leaq (%r12,%rax,4), %r15
movq %rbp, %rdi
movq %r15, %rsi
callq 0xbeccb
testl %eax, %eax
je 0xbe798
addq $0x4, %r15
xorl %ecx, %ecx
testl %eax, %eax
setg %cl
cmovgq %r15, %r12
subl %ecx, %r13d
movl %r13d, %eax
sarl %eax
cmpl $0x2, %r13d
movl %eax, %r13d
jae 0xbe4e9
jmp 0xbe831
leaq 0x24c26(%rip), %rsi     # 0xe3159
leaq 0x43ae8(%rip), %rdx     # 0x102022
leaq 0x4398b(%rip), %rcx     # 0x101ecc
leaq 0x4395d(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0xe7, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbe0b2
leaq 0x24bf5(%rip), %rsi     # 0xe3159
leaq 0x43ab7(%rip), %rdx     # 0x102022
leaq 0x4395a(%rip), %rcx     # 0x101ecc
leaq 0x4392c(%rip), %r8      # 0x101ea5
movq %r15, %rdi
movl $0xf9, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbe253
leaq 0x24bc4(%rip), %rsi     # 0xe3159
leaq 0x439f7(%rip), %rdx     # 0x101f93
leaq 0x43929(%rip), %rcx     # 0x101ecc
leaq 0x438fb(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0x9e, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbdcc2
leaq 0x24b93(%rip), %rsi     # 0xe3159
leaq 0x43a55(%rip), %rdx     # 0x102022
leaq 0x438f8(%rip), %rcx     # 0x101ecc
leaq 0x438ca(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0xe9, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbe0bf
leaq 0x24b62(%rip), %rsi     # 0xe3159
leaq 0x43a24(%rip), %rdx     # 0x102022
leaq 0x438c7(%rip), %rcx     # 0x101ecc
leaq 0x43899(%rip), %r8      # 0x101ea5
movq %r15, %rdi
movl $0xfb, %r9d
jmp 0xbe78c
leaq 0x24b38(%rip), %rsi     # 0xe3159
leaq 0x43988(%rip), %rdx     # 0x101fb0
leaq 0x4389d(%rip), %rcx     # 0x101ecc
leaq 0x4386f(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0xa1, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbdcfd
leaq 0x24b07(%rip), %rsi     # 0xe3159
leaq 0x439c9(%rip), %rdx     # 0x102022
leaq 0x4386c(%rip), %rcx     # 0x101ecc
leaq 0x4383e(%rip), %r8      # 0x101ea5
xorl %ebp, %ebp
movq %r13, %rdi
movl $0xeb, %r9d
jmp 0xbe75b
leaq 0x24adb(%rip), %rsi     # 0xe3159
leaq 0x43a14(%rip), %rdx     # 0x102099
leaq 0x43840(%rip), %rcx     # 0x101ecc
leaq 0x43812(%rip), %r8      # 0x101ea5
movq %r15, %rdi
movl $0xfd, %r9d
jmp 0xbe78c
leaq 0x24ab1(%rip), %rsi     # 0xe3159
leaq 0x438cd(%rip), %rdx     # 0x101f7c
leaq 0x43816(%rip), %rcx     # 0x101ecc
leaq 0x437e8(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0xa3, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbdd07
leaq 0x24a80(%rip), %rsi     # 0xe3159
leaq 0x439d4(%rip), %rdx     # 0x1020b4
leaq 0x437e5(%rip), %rcx     # 0x101ecc
leaq 0x437b7(%rip), %r8      # 0x101ea5
movq %r15, %rdi
movl $0xfe, %r9d
jmp 0xbe78c
leaq 0x24a56(%rip), %rsi     # 0xe3159
leaq 0x43872(%rip), %rdx     # 0x101f7c
leaq 0x437bb(%rip), %rcx     # 0x101ecc
leaq 0x4378d(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0xa5, %r9d
jmp 0xbe85b
movb $0x1, %bpl
testq %r12, %r12
jne 0xbe0ce
leaq 0x24a20(%rip), %rsi     # 0xe3159
leaq 0x438f4(%rip), %rdx     # 0x102034
leaq 0x43785(%rip), %rcx     # 0x101ecc
leaq 0x43757(%rip), %r8      # 0x101ea5
xorl %ebp, %ebp
movq 0x18(%rsp), %rdi
movl $0xee, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbe0ce
leaq 0x249eb(%rip), %rsi     # 0xe3159
leaq 0x4395a(%rip), %rdx     # 0x1020cf
leaq 0x43750(%rip), %rcx     # 0x101ecc
leaq 0x43722(%rip), %r8      # 0x101ea5
movq %r15, %rdi
movl $0xff, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbe260
testq %r12, %r12
je 0xbe831
leaq 0x10(%rsp), %r15
movl $0xfffffff9, (%r15)     # imm = 0xFFFFFFF9
movq %r14, %rdi
callq 0x6f349
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0x4f4(%rip), %r9        # 0xbeccb
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rax, %rcx
callq 0xbd957
movq %r14, %rdi
callq 0x6f310
testq %rax, %rax
je 0xbe867
leaq 0x24957(%rip), %rsi     # 0xe3159
leaq 0x436d8(%rip), %rdx     # 0x101ee1
leaq 0x436bc(%rip), %rcx     # 0x101ecc
leaq 0x4368e(%rip), %r8      # 0x101ea5
movq 0x18(%rsp), %r13
movq %r13, %rdi
movl $0xae, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbdd61
leaq 0x24921(%rip), %rsi     # 0xe3159
leaq 0x436bb(%rip), %rdx     # 0x101efa
leaq 0x43686(%rip), %rcx     # 0x101ecc
leaq 0x43658(%rip), %r8      # 0x101ea5
movq 0x18(%rsp), %r13
movq %r13, %rdi
movl $0xa8, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbdd14
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq %rax, %r13
testl %r13d, %r13d
je 0xbe8f7
leaq 0x10(%rsp), %rbp
movl %r13d, %eax
sarl %eax
cltq
leaq (%r12,%rax,4), %r15
movq %rbp, %rdi
movq %r15, %rsi
callq 0xbeccb
testl %eax, %eax
je 0xbe8c3
addq $0x4, %r15
xorl %ecx, %ecx
testl %eax, %eax
setg %cl
cmovgq %r15, %r12
subl %ecx, %r13d
movl %r13d, %eax
sarl %eax
cmpl $0x2, %r13d
movl %eax, %r13d
jae 0xbe887
jmp 0xbe8f7
testq %r12, %r12
je 0xbe8f7
leaq 0x2488a(%rip), %rsi     # 0xe3159
leaq 0x43623(%rip), %rdx     # 0x101ef9
leaq 0x435ef(%rip), %rcx     # 0x101ecc
leaq 0x435c1(%rip), %r8      # 0x101ea5
movq 0x18(%rsp), %r13
movq %r13, %rdi
movl $0xb1, %r9d
jmp 0xbe825
movl $0x7, 0x10(%rsp)
movq %r14, %rdi
callq 0x6f349
leaq 0x14(%rsp), %rsi
movl $0x4, %edx
movq %rbx, %rdi
callq 0x6f240
movq %rbx, %rdi
callq 0x6f310
cmpq $0x3, %rax
movq 0x18(%rsp), %r13
jne 0xbea37
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r15
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0x379(%rip), %r9        # 0xbeccb
leaq 0x10(%rsp), %rsi
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rdx
movq %rax, %rcx
callq 0xbd957
movq %r14, %rdi
callq 0x6f310
cmpq $0x3, %rax
jne 0xbea68
movq %r14, %rdi
xorl %esi, %esi
callq 0x6f037
movq (%rax), %rax
movl (%rax), %eax
cmpl 0x14(%rsp), %eax
jne 0xbea99
movl $0x1, %esi
movq %r14, %rdi
callq 0x6f037
movq (%rax), %rax
movl (%rax), %eax
cmpl 0x14(%rsp), %eax
jne 0xbeaca
movl $0x2, %esi
movq 0x20(%rsp), %rdi
callq 0x6f037
movq (%rax), %rax
movl (%rax), %eax
cmpl 0x14(%rsp), %eax
jne 0xbeb05
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq %rax, %r13
testl %r13d, %r13d
je 0xbebd9
leaq 0x10(%rsp), %rbp
movl %r13d, %eax
sarl %eax
cltq
leaq (%r12,%rax,4), %r15
movq %rbp, %rdi
movq %r15, %rsi
callq 0xbeccb
testl %eax, %eax
je 0xbeb34
addq $0x4, %r15
xorl %ecx, %ecx
testl %eax, %eax
setg %cl
cmovgq %r15, %r12
subl %ecx, %r13d
movl %r13d, %eax
sarl %eax
cmpl $0x2, %r13d
movl %eax, %r13d
jae 0xbe9f4
jmp 0xbebd9
leaq 0x2471b(%rip), %rsi     # 0xe3159
leaq 0x43587(%rip), %rdx     # 0x101fcc
leaq 0x43480(%rip), %rcx     # 0x101ecc
leaq 0x43452(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0xb7, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbdd83
leaq 0x246ea(%rip), %rsi     # 0xe3159
leaq 0x43573(%rip), %rdx     # 0x101fe9
leaq 0x4344f(%rip), %rcx     # 0x101ecc
leaq 0x43421(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0xba, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbddbe
leaq 0x246b9(%rip), %rsi     # 0xe3159
leaq 0x434d5(%rip), %rdx     # 0x101f7c
leaq 0x4341e(%rip), %rcx     # 0x101ecc
leaq 0x433f0(%rip), %r8      # 0x101ea5
movq %r13, %rdi
movl $0xbc, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbddc8
leaq 0x24688(%rip), %rsi     # 0xe3159
leaq 0x434a4(%rip), %rdx     # 0x101f7c
leaq 0x433ed(%rip), %rcx     # 0x101ecc
leaq 0x433bf(%rip), %r8      # 0x101ea5
movq 0x18(%rsp), %r13
movq %r13, %rdi
movl $0xbe, %r9d
xorl %eax, %eax
callq 0x34f1f
movq 0x20(%rsp), %r14
jmp 0xbddd5
leaq 0x2464d(%rip), %rsi     # 0xe3159
leaq 0x43469(%rip), %rdx     # 0x101f7c
leaq 0x433b2(%rip), %rcx     # 0x101ecc
leaq 0x43384(%rip), %r8      # 0x101ea5
movq 0x18(%rsp), %r13
movq %r13, %rdi
movl $0xc0, %r9d
jmp 0xbec03
testq %r12, %r12
je 0xbebd9
leaq 0x10(%rsp), %r15
movl $0xfffffff9, (%r15)     # imm = 0xFFFFFFF9
movq 0x20(%rsp), %r14
movq %r14, %rdi
callq 0x6f349
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq $0x0, (%rsp)
leaq 0x153(%rip), %r9        # 0xbeccb
movl $0x4, %r8d
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rax, %rcx
callq 0xbd957
movq %r14, %rdi
callq 0x6f310
testq %rax, %rax
je 0xbec14
leaq 0x245b6(%rip), %rsi     # 0xe3159
leaq 0x43337(%rip), %rdx     # 0x101ee1
leaq 0x4331b(%rip), %rcx     # 0x101ecc
leaq 0x432ed(%rip), %r8      # 0x101ea5
xorl %ebp, %ebp
movq 0x18(%rsp), %r13
movq %r13, %rdi
movl $0xc9, %r9d
xorl %eax, %eax
callq 0x34f1f
movq 0x20(%rsp), %r14
jmp 0xbde31
leaq 0x24579(%rip), %rsi     # 0xe3159
leaq 0x43313(%rip), %rdx     # 0x101efa
leaq 0x432de(%rip), %rcx     # 0x101ecc
leaq 0x432b0(%rip), %r8      # 0x101ea5
movq 0x18(%rsp), %r13
movq %r13, %rdi
movl $0xc3, %r9d
xorl %eax, %eax
callq 0x34f1f
movq 0x20(%rsp), %r14
jmp 0xbdde2
movq %rbx, %rdi
callq 0x6f21b
movq %rax, %r12
movq %rbx, %rdi
callq 0x6f310
movq %rax, %r13
movb $0x1, %bpl
testl %r13d, %r13d
je 0xbec71
leaq 0x10(%rsp), %r14
movl %r13d, %eax
sarl %eax
cltq
leaq (%r12,%rax,4), %r15
movq %r14, %rdi
movq %r15, %rsi
callq 0xbeccb
testl %eax, %eax
je 0xbec85
addq $0x4, %r15
xorl %ecx, %ecx
testl %eax, %eax
setg %cl
cmovgq %r15, %r12
subl %ecx, %r13d
movl %r13d, %eax
sarl %eax
cmpl $0x2, %r13d
movl %eax, %r13d
jae 0xbec37
movq 0x20(%rsp), %r14
movq 0x18(%rsp), %r13
jmp 0xbde31
callq 0x297a0
testq %r12, %r12
movq 0x20(%rsp), %r14
movq 0x18(%rsp), %r13
je 0xbde31
leaq 0x244ba(%rip), %rsi     # 0xe3159
leaq 0x43253(%rip), %rdx     # 0x101ef9
leaq 0x4321f(%rip), %rcx     # 0x101ecc
leaq 0x431f1(%rip), %r8      # 0x101ea5
xorl %ebp, %ebp
movq %r13, %rdi
movl $0xcc, %r9d
xorl %eax, %eax
callq 0x34f1f
jmp 0xbde31