// File: /workspace/github_cpp_makefile_star2_O2/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 0x27e91
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
leaq 0x2f45b(%rip), %rcx     # 0x56734
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x27474
movl %eax, %r12d
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x275a0
movl %eax, %r13d
movq 0x10(%r14), %rax
movq 0x8(%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x276e9
testl %r12d, %r12d
je 0x277f4
testl %r13d, %r13d
je 0x277f4
cmpl %r13d, %r12d
je 0x277f4
leaq 0x2f609(%rip), %rsi     # 0x5696d
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $0x1, %eax
je 0x274a8
cmpl $-0x1, %eax
jne 0x27538
leaq 0x2f565(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x2756c
movl %eax, %r12d
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x276b6
cmpl %eax, %r12d
je 0x27e91
testl %r12d, %r12d
je 0x27e91
testl %eax, %eax
je 0x27e91
leaq 0x2f504(%rip), %rsi     # 0x5694b
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2f4a6(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x27843
movl %eax, %r12d
movq 0x10(%r14), %rax
movq 0x8(%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x278aa
cmpl %eax, %r12d
je 0x27e91
testl %r12d, %r12d
je 0x27e91
testl %eax, %eax
je 0x27e91
leaq 0x2f4ae(%rip), %rsi     # 0x569b9
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $0x1
popq %r8
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
callq 0x27f78
jmp 0x27e85
leaq 0x2f458(%rip), %rsi     # 0x56997
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2f3ae(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2f37a(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x27876
movl %eax, %r12d
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x27b79
cmpl %eax, %r12d
je 0x27e91
testl %r12d, %r12d
je 0x27e91
testl %eax, %eax
je 0x27e91
leaq 0x2f3c6(%rip), %rsi     # 0x569f7
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $0x1, %eax
je 0x27a10
cmpl $-0x1, %eax
jne 0x27ac3
leaq 0x2f298(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2f264(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2f231(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x27b45
movl %eax, %r12d
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x27bac
testl %r12d, %r12d
je 0x27e91
testl %eax, %eax
je 0x27e91
cmpl %eax, %r12d
jne 0x27daf
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x26e18
jmp 0x27e91
movq 0x10(%r14), %rax
movq (%rax), %rcx
cmpl $0x6, 0x20(%rcx)
jne 0x27e91
movq 0x28(%rcx), %r12
movq 0x8(%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
testl %eax, %eax
je 0x27e91
cmpl $-0x1, %eax
jne 0x27d3d
leaq 0x2f15a(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
testl %r12d, %r12d
je 0x27af7
testl %eax, %eax
je 0x27af7
cmpl %eax, %r12d
je 0x27af7
leaq 0x2f158(%rip), %rsi     # 0x5696d
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
pushq $0x1
popq %r8
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x27f78
jmp 0x27e85
leaq 0x2f0d7(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2f0a4(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2f070(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x27bdf
movl %eax, %r12d
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $-0x1, %eax
je 0x27d7c
testl %r12d, %r12d
je 0x27e91
testl %eax, %eax
je 0x27e91
movq 0x10(%r14), %rcx
movq 0x8(%rcx), %rcx
movl 0x30(%rcx), %ecx
cmpl %eax, %r12d
jne 0x27e19
testl %ecx, %ecx
jne 0x27e19
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x2719e
jmp 0x27e91
movq 0x10(%r14), %rax
movq 0x8(%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $0x1, %eax
je 0x27e91
cmpl $-0x1, %eax
jne 0x27c13
leaq 0x2ef96(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $0x1, %eax
je 0x27c47
cmpl $-0x1, %eax
jne 0x27ca2
leaq 0x2ef3e(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $0x1, %eax
je 0x27e91
cmpl $-0x1, %eax
jne 0x27cd6
leaq 0x2eee2(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
movq (%r14), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $0x1, %eax
je 0x27e91
cmpl $-0x1, %eax
jne 0x27d09
leaq 0x2ee8b(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2eecd(%rip), %rsi     # 0x56997
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
testl %r13d, %r13d
je 0x27e91
testl %eax, %eax
je 0x27e91
cmpl %eax, %r13d
je 0x27e91
leaq 0x2ee55(%rip), %rsi     # 0x5696d
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $0x1
popq %r8
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
callq 0x27f78
jmp 0x27e85
leaq 0x2edd5(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2eda1(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2ed6e(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2ed3b(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2edbc(%rip), %rsi     # 0x569d6
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
movq 0x10(%r14), %rax
movq (%rax), %rsi
addq $0x40, %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x26c7e
cmpl $0x1, %eax
je 0x27e91
cmpl $-0x1, %eax
jne 0x27de9
leaq 0x2ecab(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2ecee(%rip), %rsi     # 0x56997
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2ecf9(%rip), %rsi     # 0x569d6
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2ec87(%rip), %rsi     # 0x56997
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
cmpl 0x58(%r12), %eax
je 0x27e91
leaq 0x2ed09(%rip), %rsi     # 0x56a58
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %ecx, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2eb9e(%rip), %rsi     # 0x56921
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
jge 0x27e91
leaq 0x2ec68(%rip), %rsi     # 0x56a24
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2ebe6(%rip), %rsi     # 0x569d6
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
cmpl %eax, %r12d
jge 0x27e56
subl %ecx, %eax
cmpl %eax, %r12d
jle 0x27e91
leaq 0x2ec7d(%rip), %rsi     # 0x56aa9
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %r8d, %r8d
callq 0x27f78
jmp 0x27e85
leaq 0x2ec21(%rip), %rsi     # 0x56a7e
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x10c3a
pushq $-0x1
popq %rcx
leaq 0x8(%rsp), %r9
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
xorl %r8d, %r8d
callq 0x27f78
leaq 0x8(%rsp), %rdi
callq 0xf1a0
xorl %ebp, %ebp
movl %ebp, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f5d
jmp 0x27f5d
jmp 0x27f5d
jmp 0x27f5d
jmp 0x27f5d
jmp 0x27f5d
jmp 0x27f5d
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f6c
jmp 0x27f6c
jmp 0x27f6c
jmp 0x27f6c
jmp 0x27f6c
jmp 0x27f6c
jmp 0x27f6c
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f5d
jmp 0x27f5d
jmp 0x27f6c
jmp 0x27f6c
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xf1a0
jmp 0x27f6f
movq %rax, %rbx
movq %rbx, %rdi
callq 0xf6e0
nop