// File: /workspace/github_cpp_makefile_star2_O1/jstaursky[P]hutch/src/Sleigh/slgh_compile.cc
// Function: ConsistencyChecker::sizeRestriction(OpTpl*, Constructor*)
vector<ContextChange *> *WithBlock::collectAndPrependContext(const list<WithBlock> &stack, vector<ContextChange *> *contvec)

{ // Make new list of ContextChanges, prepending everything from stack to -contvec-, delete old contvec
  vector<ContextChange *> *res = (vector<ContextChange *> *)0;
  list<WithBlock>::const_iterator iter;
  for(iter=stack.begin();iter!=stack.end();++iter) {
    const vector<ContextChange *> &changelist( (*iter).contvec );
    if (changelist.size() == 0) continue;
    if (res == (vector<ContextChange *> *)0)
      res = new vector<ContextChange *>();
    for(int4 i=0;i<changelist.size();++i) {
      res->push_back(changelist[i]->clone());
    }
  }
  if (contvec != (vector<ContextChange *> *)0) {
    if (contvec->size() != 0) {
      if (res == (vector<ContextChange *> *)0)
	res = new vector<ContextChange *>();
      for(int4 i=0;i<contvec->size();++i)
	res->push_back((*contvec)[i]);		// lay claim to contvecs pointer
    }
    delete contvec;
  }
  return res;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl 0x8(%rsi), %eax
movb $0x1, %bpl
decl %eax
cmpl $0x3e, %eax
ja 0x2b775
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
leaq 0x36ceb(%rip), %rcx     # 0x61714
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2abe5
movl %eax, %r12d
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2ad3d
movl %eax, %r13d
movq 0x10(%r14), %rax
movq 0x8(%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2aead
testl %r12d, %r12d
je 0x2afd2
testl %r13d, %r13d
je 0x2afd2
cmpl %r13d, %r12d
je 0x2afd2
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36e90(%rip), %rsi     # 0x6194d
leaq 0x36eb2(%rip), %rdx     # 0x61976
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $0x1, %eax
je 0x2ac26
leaq 0x18(%rsp), %r15
cmpl $-0x1, %eax
jne 0x2acc0
movq %r15, -0x10(%r15)
leaq 0x36de2(%rip), %rsi     # 0x61901
leaq 0x36e04(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2acfc
movl %eax, %r12d
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2ae72
cmpl %eax, %r12d
je 0x2b775
testl %r12d, %r12d
je 0x2b775
testl %eax, %eax
je 0x2b775
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36d74(%rip), %rsi     # 0x6192b
leaq 0x36d8e(%rip), %rdx     # 0x6194c
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36d0c(%rip), %rsi     # 0x61901
leaq 0x36d2e(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2b02d
movl %eax, %r12d
movq 0x10(%r14), %rax
movq 0x8(%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2b0a9
cmpl %eax, %r12d
je 0x2b775
testl %r12d, %r12d
je 0x2b775
testl %eax, %eax
je 0x2b775
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36d07(%rip), %rsi     # 0x61999
leaq 0x36d1c(%rip), %rdx     # 0x619b5
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
movl $0x1, %r8d
callq 0x2b86e
jmp 0x2b75c
movq %r15, -0x10(%r15)
leaq 0x36cac(%rip), %rsi     # 0x61977
leaq 0x36cc6(%rip), %rdx     # 0x61998
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36bf5(%rip), %rsi     # 0x61901
leaq 0x36c17(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36bb4(%rip), %rsi     # 0x61901
leaq 0x36bd6(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2b068
movl %eax, %r12d
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2b3d3
cmpl %eax, %r12d
je 0x2b775
testl %r12d, %r12d
je 0x2b775
testl %eax, %eax
je 0x2b775
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36bf8(%rip), %rsi     # 0x619d7
leaq 0x36c1d(%rip), %rdx     # 0x61a03
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $0x1, %eax
je 0x2b236
leaq 0x18(%rsp), %r15
cmpl $-0x1, %eax
jne 0x2b2fe
movq %r15, -0x10(%r15)
leaq 0x36ac0(%rip), %rsi     # 0x61901
leaq 0x36ae2(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36a7f(%rip), %rsi     # 0x61901
leaq 0x36aa1(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36a44(%rip), %rsi     # 0x61901
leaq 0x36a66(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0x1, %ecx
movl $0x1, %r8d
callq 0x2b86e
jmp 0x2b75c
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2b392
movl %eax, %r12d
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2b40e
testl %r12d, %r12d
je 0x2b775
testl %eax, %eax
je 0x2b775
cmpl %eax, %r12d
jne 0x2b65e
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x2a464
jmp 0x2b775
movq 0x10(%r14), %rax
movq (%rax), %rcx
cmpl $0x6, 0x20(%rcx)
jne 0x2b775
movq 0x28(%rcx), %r12
movq 0x8(%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
testl %eax, %eax
je 0x2b775
cmpl $-0x1, %eax
jne 0x2b5d7
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36960(%rip), %rsi     # 0x61901
leaq 0x36982(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0x1, %ecx
movl $0x1, %r8d
callq 0x2b86e
jmp 0x2b75c
testl %r12d, %r12d
je 0x2b33a
testl %eax, %eax
je 0x2b33a
cmpl %eax, %r12d
je 0x2b33a
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36951(%rip), %rsi     # 0x6194d
leaq 0x36973(%rip), %rdx     # 0x61976
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0x1, %r8d
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x368c4(%rip), %rsi     # 0x61901
leaq 0x368e6(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36889(%rip), %rsi     # 0x61901
leaq 0x368ab(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36848(%rip), %rsi     # 0x61901
leaq 0x3686a(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0x1, %ecx
movl $0x1, %r8d
callq 0x2b86e
jmp 0x2b75c
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2b449
movl %eax, %r12d
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $-0x1, %eax
je 0x2b623
testl %r12d, %r12d
je 0x2b775
testl %eax, %eax
je 0x2b775
movq 0x10(%r14), %rcx
movq 0x8(%rcx), %rcx
movl 0x30(%rcx), %ecx
cmpl %eax, %r12d
jne 0x2b6d8
testl %ecx, %ecx
jne 0x2b6d8
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x2a888
jmp 0x2b775
movq 0x10(%r14), %rax
movq 0x8(%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $0x1, %eax
je 0x2b775
leaq 0x18(%rsp), %r15
cmpl $-0x1, %eax
jne 0x2b48a
movq %r15, -0x10(%r15)
leaq 0x36761(%rip), %rsi     # 0x61901
leaq 0x36783(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0x1, %ecx
movl $0x1, %r8d
callq 0x2b86e
jmp 0x2b75c
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $0x1, %eax
je 0x2b4c6
leaq 0x18(%rsp), %r15
cmpl $-0x1, %eax
jne 0x2b529
movq %r15, -0x10(%r15)
leaq 0x366fc(%rip), %rsi     # 0x61901
leaq 0x3671e(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $0x1, %eax
je 0x2b775
leaq 0x18(%rsp), %r15
cmpl $-0x1, %eax
jne 0x2b565
movq %r15, -0x10(%r15)
leaq 0x36693(%rip), %rsi     # 0x61901
leaq 0x366b5(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $0x1, %eax
je 0x2b775
leaq 0x18(%rsp), %r15
cmpl $-0x1, %eax
jne 0x2b59b
movq %r15, -0x10(%r15)
leaq 0x36634(%rip), %rsi     # 0x61901
leaq 0x36656(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
movq %r15, -0x10(%r15)
leaq 0x3666e(%rip), %rsi     # 0x61977
leaq 0x36688(%rip), %rdx     # 0x61998
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
testl %r13d, %r13d
je 0x2b775
testl %eax, %eax
je 0x2b775
cmpl %eax, %r13d
je 0x2b775
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x365e9(%rip), %rsi     # 0x6194d
leaq 0x3660b(%rip), %rdx     # 0x61976
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
movl $0x1, %r8d
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x3655f(%rip), %rsi     # 0x61901
leaq 0x36581(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x3651e(%rip), %rsi     # 0x61901
leaq 0x36540(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x364e3(%rip), %rsi     # 0x61901
leaq 0x36505(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x364a8(%rip), %rsi     # 0x61901
leaq 0x364ca(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
movq %r15, -0x10(%r15)
leaq 0x36521(%rip), %rsi     # 0x619b6
leaq 0x3653a(%rip), %rdx     # 0x619d6
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0x1, %ecx
movl $0x1, %r8d
callq 0x2b86e
jmp 0x2b75c
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x2a25e
cmpl $0x1, %eax
je 0x2b775
leaq 0x18(%rsp), %r15
cmpl $-0x1, %eax
jne 0x2b6a2
movq %r15, -0x10(%r15)
leaq 0x36403(%rip), %rsi     # 0x61901
leaq 0x36425(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
movq %r15, -0x10(%r15)
leaq 0x36443(%rip), %rsi     # 0x61977
leaq 0x3645d(%rip), %rdx     # 0x61998
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
movq %r15, -0x10(%r15)
leaq 0x36446(%rip), %rsi     # 0x619b6
leaq 0x3645f(%rip), %rdx     # 0x619d6
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
movq %r15, -0x10(%r15)
leaq 0x363d1(%rip), %rsi     # 0x61977
leaq 0x363eb(%rip), %rdx     # 0x61998
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
callq 0x2b86e
jmp 0x2b75c
cmpl 0x58(%r12), %eax
je 0x2b775
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36446(%rip), %rsi     # 0x61a38
leaq 0x36464(%rip), %rdx     # 0x61a5d
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0x1, %ecx
movl $0x1, %r8d
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x362ce(%rip), %rsi     # 0x61901
leaq 0x362f0(%rip), %rdx     # 0x6192a
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
jge 0x2b775
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36390(%rip), %rsi     # 0x61a04
leaq 0x363bc(%rip), %rdx     # 0x61a37
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
movq %r15, -0x10(%r15)
leaq 0x36309(%rip), %rsi     # 0x619b6
leaq 0x36322(%rip), %rdx     # 0x619d6
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
cmpl %eax, %r12d
jge 0x2b723
subl %ecx, %eax
cmpl %eax, %r12d
jle 0x2b775
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x36391(%rip), %rsi     # 0x61a89
leaq 0x3639d(%rip), %rdx     # 0x61a9c
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
xorl %r8d, %r8d
callq 0x2b86e
jmp 0x2b75c
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x3632b(%rip), %rsi     # 0x61a5e
leaq 0x3634e(%rip), %rdx     # 0x61a88
leaq 0x8(%rsp), %rdi
callq 0x1183c
leaq 0x8(%rsp), %r9
movq %r14, %rsi
movq %rbx, %rdx
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
xorl %r8d, %r8d
callq 0x2b86e
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x2b773
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xf380
xorl %ebp, %ebp
movl %ebp, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b847
jmp 0x2b863
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b847
jmp 0x2b847
jmp 0x2b847
jmp 0x2b847
jmp 0x2b847
jmp 0x2b847
jmp 0x2b847
jmp 0x2b847
jmp 0x2b863
jmp 0x2b863
jmp 0x2b863
jmp 0x2b863
jmp 0x2b863
jmp 0x2b863
jmp 0x2b863
jmp 0x2b863
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b847
jmp 0x2b863
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b863
jmp 0x2b847
jmp 0x2b847
jmp 0x2b863
jmp 0x2b863
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x2b866
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xf380
jmp 0x2b866
movq %rax, %rbx
movq %rbx, %rdi
callq 0xf730