// File: /workspace/github_cpp_makefile_star2_O1/eryxcc[P]lois/tests/../include/lois.h
// Function: lois::EIteratorOf<lois::lpair<lois::term, lois::term>>::connectIterator()
void EIteratorOf<T>::connectIterator() {
  if(index >= s.elts.size() || index < 0) return;
  const SimpleSetOf<T>& sel(*s.elts[index]);
  // add variables and alph!

  if(debuglois) {
    std::cout << ido << "connect " << sel.a << " phi=" << sel.phi;
    for(auto v: sel.var) std::cout << " v:"<<v;
    std::cout << " in context="<<emptycontext << std::endl;
    }
  autoindenter i1;

  varsubstlist varpairs;
  varlist vlist;

  for(auto w: sel.var) {
    vptr v = newvar(w->dom);
    varpairs.emplace_back(w, term(v));
    vlist.push_back(v);
    }

  currentcontext = ourcontext = std::make_shared<Context> (currentcontext, 
    substitute(sel.phi, varpairs), vlist);
  
  // sometimes the environment is inconsistent with phi
  if(debuglois && at) std::cout << ido << "got for conscheck: " << *at << std::endl << ido << "  IN " << emptycontext << std::endl;
  if(debuglois && !at) std::cout << ido << "got for conscheck: " << "NULL" << std::endl << ido << "  IN " << emptycontext << std::endl;
  int res = solver->solveEnv();
  
  if(debuglois) std::cout << ido << "checking consistency: " << res << std::endl;
  
  if(res == 2) at = std::make_shared<T> (substitute(sel.a, varpairs));
  else ++(*this);

  if(debuglois) {
    if(at == NULL) std::cout << ido << "no result\n" << std::endl;
    else std::cout << ido << "result: " << *at << " in context="<<emptycontext << std::endl;
    }
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x168, %rsp            # imm = 0x168
movslq 0x8(%rdi), %rax
testq %rax, %rax
js 0x255ec
movq %rdi, %r14
movq (%rdi), %rdx
movq 0x10(%rdx), %rcx
movq 0x18(%rdx), %rdx
subq %rcx, %rdx
sarq $0x4, %rdx
cmpq %rax, %rdx
jbe 0x255ec
shlq $0x4, %rax
movq (%rcx,%rax), %r15
leaq 0x2f0b9(%rip), %rax     # 0x53b90
cmpb $0x1, (%rax)
movq %r14, 0x100(%rsp)
movq %r15, 0x48(%rsp)
jne 0x24d74
leaq 0x2e774(%rip), %rax     # 0x53268
movq (%rax), %rsi
movq 0x2e4d2(%rip), %rdi     # 0x52fd0
callq 0x3b148
movq %rax, %rbx
leaq 0x1b762(%rip), %rsi     # 0x4026f
movl $0x8, %edx
movq %rax, %rdi
callq 0x72c0
movq 0x28(%r15), %rax
movq %rax, 0x148(%rsp)
movq 0x30(%r15), %rax
movq %rax, 0x150(%rsp)
testq %rax, %rax
je 0x24b4c
movq 0x2e48a(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x24b48
incl 0x8(%rax)
jmp 0x24b4c
lock
incl 0x8(%rax)
movq 0x38(%r15), %rax
movq %rax, 0x158(%rsp)
movq 0x40(%r15), %rax
movq %rax, 0x160(%rsp)
testq %rax, %rax
je 0x24b7e
movq 0x2e458(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x24b7a
incl 0x8(%rax)
jmp 0x24b7e
lock
incl 0x8(%rax)
leaq 0x148(%rsp), %rsi
movq %rbx, %rdi
callq 0x23168
movq %rax, %rbx
leaq 0x1b6e0(%rip), %rsi     # 0x40278
movl $0x5, %edx
movq %rax, %rdi
callq 0x72c0
movq 0x18(%r15), %rax
movq %rax, 0xd0(%rsp)
movq 0x20(%r15), %rax
movq %rax, 0xd8(%rsp)
testq %rax, %rax
je 0x24bd7
movq 0x2e3ff(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x24bd3
incl 0x8(%rax)
jmp 0x24bd7
lock
incl 0x8(%rax)
leaq 0xd0(%rsp), %rsi
movq %rbx, %rdi
callq 0x29634
movq 0xd8(%rsp), %rdi
testq %rdi, %rdi
je 0x24bf9
callq 0x13308
movq 0x160(%rsp), %rdi
testq %rdi, %rdi
je 0x24c0b
callq 0x13308
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0x24c1d
callq 0x13308
movq (%r15), %r13
movq 0x8(%r15), %rbp
cmpq %rbp, %r13
je 0x24ccf
movq 0x2e39c(%rip), %rbx     # 0x52fd0
movq 0x2e38d(%rip), %r15     # 0x52fc8
movq (%r13), %r12
movq 0x8(%r13), %r14
testq %r14, %r14
je 0x24c59
cmpb $0x0, (%r15)
je 0x24c54
incl 0x8(%r14)
jmp 0x24c59
lock
incl 0x8(%r14)
movl $0x3, %edx
movq %rbx, %rdi
leaq 0x1b616(%rip), %rsi     # 0x4027e
callq 0x72c0
movq %r12, 0xc0(%rsp)
movq %r14, 0xc8(%rsp)
testq %r14, %r14
je 0x24c93
cmpb $0x0, (%r15)
je 0x24c8e
incl 0x8(%r14)
jmp 0x24c93
lock
incl 0x8(%r14)
movq %rbx, %rdi
leaq 0xc0(%rsp), %rsi
callq 0x2a0f7
movq 0xc8(%rsp), %rdi
testq %rdi, %rdi
je 0x24cb5
callq 0x13308
testq %r14, %r14
je 0x24cc2
movq %r14, %rdi
callq 0x13308
addq $0x10, %r13
cmpq %rbp, %r13
jne 0x24c3b
movq 0x2e2fa(%rip), %rdi     # 0x52fd0
leaq 0x1b5a5(%rip), %rsi     # 0x40282
movl $0xc, %edx
callq 0x72c0
leaq 0x2ea72(%rip), %rax     # 0x53760
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0xb0(%rsp)
movq %rax, 0xb8(%rsp)
testq %rax, %rax
movq 0x48(%rsp), %r15
je 0x24d24
movq 0x2e2b2(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x24d20
incl 0x8(%rax)
jmp 0x24d24
lock
incl 0x8(%rax)
movq 0x2e2a5(%rip), %rdi     # 0x52fd0
leaq 0xb0(%rsp), %rsi
callq 0x160cc
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x24d74
callq 0x13308
leaq 0x2eb65(%rip), %rax     # 0x538e0
addl $0x2, (%rax)
xorl %eax, %eax
movq %rax, 0x60(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x50(%rsp)
movq %rax, 0xf0(%rsp)
movaps %xmm0, 0xe0(%rsp)
movq (%r15), %r12
movq 0x8(%r15), %r13
cmpq %r13, %r12
je 0x24f04
leaq 0x2cc4c(%rip), %rbp     # 0x51a00
addq $0x10, %rbp
movq 0x2e209(%rip), %r14     # 0x52fc8
leaq 0x38(%rsp), %r15
movq (%r12), %rax
movq %rax, 0x10(%rsp)
movq 0x8(%r12), %rax
movq %rax, 0x18(%rsp)
testq %rax, %rax
je 0x24deb
cmpb $0x0, (%r14)
je 0x24de7
incl 0x8(%rax)
jmp 0x24deb
lock
incl 0x8(%rax)
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rbx
movq $0x0, (%rsp)
movl $0x78, %edi
callq 0x7270
movabsq $0x100000001, %rcx      # imm = 0x100000001
movq %rcx, 0x8(%rax)
leaq 0x2c775(%rip), %rcx     # 0x51590
movq %rcx, (%rax)
leaq 0x10(%rax), %rcx
movq %rbp, 0x10(%rax)
movq %rbx, 0x20(%rax)
movq %rax, %rdx
addq $0x68, %rdx
xorps %xmm0, %xmm0
movups %xmm0, 0x30(%rax)
movups %xmm0, 0x40(%rax)
movq %rdx, 0x58(%rax)
movq $0x0, 0x60(%rax)
movb $0x0, 0x68(%rax)
movl $0x0, 0x50(%rax)
movl $0xffffffff, 0x28(%rax) # imm = 0xFFFFFFFF
movq %rax, 0x8(%rsp)
movq %rcx, (%rsp)
movq %rcx, 0xa0(%rsp)
movq %rax, 0xa8(%rsp)
cmpb $0x0, (%r14)
je 0x24e82
movl $0x2, 0x8(%rax)
jmp 0x24e86
lock
incl 0x8(%rax)
movq %r15, %rdi
leaq 0xa0(%rsp), %rsi
callq 0x2cfaa
leaq 0x50(%rsp), %rdi
leaq 0x10(%rsp), %rsi
movq %r15, %rdx
callq 0x17c46
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x24eb7
callq 0x13308
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x24ec9
callq 0x13308
leaq 0xe0(%rsp), %rdi
movq %rsp, %rsi
callq 0x162a6
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x24ee8
callq 0x13308
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x24ef7
callq 0x13308
addq $0x10, %r12
cmpq %r13, %r12
jne 0x24dc4
movq 0x48(%rsp), %r13
leaq 0x18(%r13), %rsi
movq %rsp, %rdi
leaq 0x50(%rsp), %rdx
callq 0x2d16f
leaq 0x18(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x2e842(%rip), %rbx     # 0x53770
leaq 0x10(%rsp), %rsi
leaq 0x38(%rsp), %rdx
movq %rsp, %r8
leaq 0xe0(%rsp), %r9
movq %rbx, %rcx
callq 0x17fd0
movq 0x100(%rsp), %r15
movaps 0x10(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x10(%rsp)
movq 0x28(%r15), %rdi
movups %xmm0, 0x20(%r15)
leaq 0x28(%r15), %r14
testq %rdi, %rdi
leaq 0x2ec19(%rip), %r12     # 0x53b90
je 0x24f7e
callq 0x13308
movq 0x20(%r15), %rax
movq %rax, (%rbx)
addq $0x8, %rbx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x16086
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x24fa3
callq 0x13308
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x24fb2
callq 0x13308
cmpb $0x1, (%r12)
jne 0x25160
cmpq $0x0, 0x10(%r15)
je 0x25160
leaq 0x2e299(%rip), %r14     # 0x53268
movq (%r14), %rsi
movq 0x2dff7(%rip), %rdi     # 0x52fd0
callq 0x3b148
movq %rax, %rbx
leaq 0x1b2a7(%rip), %rsi     # 0x4028f
movl $0x13, %edx
movq %rax, %rdi
callq 0x72c0
movq 0x10(%r15), %rax
movq (%rax), %rcx
movq %rcx, 0x128(%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x130(%rsp)
testq %rcx, %rcx
je 0x2502a
movq 0x2dfac(%rip), %rdx     # 0x52fc8
cmpb $0x0, (%rdx)
je 0x25026
incl 0x8(%rcx)
jmp 0x2502a
lock
incl 0x8(%rcx)
movq 0x10(%rax), %rcx
movq %rcx, 0x138(%rsp)
movq 0x18(%rax), %rax
movq %rax, 0x140(%rsp)
testq %rax, %rax
je 0x2505c
movq 0x2df7a(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x25058
incl 0x8(%rax)
jmp 0x2505c
lock
incl 0x8(%rax)
leaq 0x128(%rsp), %rsi
movq %rbx, %rdi
callq 0x23168
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq (%r14), %rsi
movq %rax, %rdi
callq 0x3b148
movq %rax, %rbx
leaq 0x1b1f8(%rip), %rsi     # 0x402a3
movl $0x5, %edx
movq %rax, %rdi
callq 0x72c0
leaq 0x2e6a1(%rip), %rax     # 0x53760
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0x90(%rsp)
movq %rax, 0x98(%rsp)
testq %rax, %rax
je 0x250f0
movq 0x2dee6(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x250ec
incl 0x8(%rax)
jmp 0x250f0
lock
incl 0x8(%rax)
leaq 0x90(%rsp), %rsi
movq %rbx, %rdi
callq 0x160cc
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x2513c
callq 0x13308
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0x2514e
callq 0x13308
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0x25160
callq 0x13308
cmpb $0x1, (%r12)
jne 0x25284
cmpq $0x0, 0x10(%r15)
jne 0x25284
leaq 0x2e0eb(%rip), %r14     # 0x53268
movq (%r14), %rsi
movq 0x2de49(%rip), %rdi     # 0x52fd0
callq 0x3b148
movq %rax, %rbx
leaq 0x1b0f9(%rip), %rsi     # 0x4028f
movl $0x13, %edx
movq %rax, %rdi
callq 0x72c0
leaq 0x1b0ff(%rip), %rsi     # 0x402a9
movl $0x4, %edx
movq %rbx, %rdi
callq 0x72c0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq (%r14), %rsi
movq %rax, %rdi
callq 0x3b148
movq %rax, %rbx
leaq 0x1b0b0(%rip), %rsi     # 0x402a3
movl $0x5, %edx
movq %rax, %rdi
callq 0x72c0
leaq 0x2e559(%rip), %rax     # 0x53760
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0x80(%rsp)
movq %rax, 0x88(%rsp)
testq %rax, %rax
je 0x25238
movq 0x2dd9e(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x25234
incl 0x8(%rax)
jmp 0x25238
lock
incl 0x8(%rax)
leaq 0x80(%rsp), %rsi
movq %rbx, %rdi
callq 0x160cc
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x25284
callq 0x13308
leaq 0x2e5dd(%rip), %rax     # 0x53868
movq (%rax), %rdi
movq (%rdi), %rax
callq *0x8(%rax)
movl %eax, %ebx
cmpb $0x1, (%r12)
jne 0x252fe
leaq 0x2dfc4(%rip), %rax     # 0x53268
movq (%rax), %rsi
movq 0x2dd22(%rip), %rdi     # 0x52fd0
callq 0x3b148
movq %rax, %r14
leaq 0x1aff1(%rip), %rsi     # 0x402ae
movl $0x16, %edx
movq %rax, %rdi
callq 0x72c0
movq %r14, %rdi
movl %ebx, %esi
callq 0x7410
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %r14, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
cmpl $0x2, %ebx
jne 0x253ff
leaq 0x28(%r13), %rsi
movq %rsp, %rdi
leaq 0x50(%rsp), %rdx
callq 0x2d08c
addq $0x38, %r13
leaq 0x38(%rsp), %rdi
leaq 0x50(%rsp), %rdx
movq %r13, %rsi
callq 0x2d08c
leaq 0x10(%rsp), %rdi
movq %rsp, %rsi
leaq 0x38(%rsp), %rdx
callq 0x117c3
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x2534f
callq 0x13308
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x2535e
callq 0x13308
movl $0x30, %edi
callq 0x7270
movabsq $0x100000001, %rcx      # imm = 0x100000001
movq %rcx, 0x8(%rax)
leaq 0x2c55b(%rip), %rcx     # 0x518d8
movq %rcx, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
movq 0x10(%rsp), %rdx
movq %rdx, 0x10(%rax)
xorl %edx, %edx
movq %rdx, 0x18(%rax)
movq 0x18(%rsp), %rsi
movq %rdx, 0x18(%rsp)
movq %rsi, 0x18(%rax)
movq %rdx, 0x10(%rsp)
movq 0x20(%rsp), %rsi
movq %rsi, 0x20(%rax)
movq %rdx, 0x28(%rax)
movq 0x28(%rsp), %rsi
movq %rdx, 0x28(%rsp)
movq %rsi, 0x28(%rax)
movq %rdx, 0x20(%rsp)
movq %rcx, 0x10(%r15)
movq 0x18(%r15), %rdi
movq %rax, 0x18(%r15)
testq %rdi, %rdi
je 0x253df
callq 0x13308
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x253ee
callq 0x13308
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x25413
callq 0x13308
jmp 0x25413
movq %r15, %rdi
callq 0x2580c
incl 0x8(%r15)
movq %r15, %rdi
callq 0x24a8c
cmpb $0x1, (%r12)
jne 0x255cb
cmpq $0x0, 0x10(%r15)
leaq 0x2de3e(%rip), %rax     # 0x53268
movq (%rax), %rsi
je 0x25483
movq 0x2db9a(%rip), %rdi     # 0x52fd0
callq 0x3b148
movq %rax, %rbx
leaq 0x1ae8b(%rip), %rsi     # 0x402d0
movl $0x8, %edx
movq %rax, %rdi
callq 0x72c0
movq 0x10(%r15), %rax
movq (%rax), %rcx
movq %rcx, 0x108(%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x110(%rsp)
testq %rcx, %rcx
je 0x254d6
movq 0x2db4f(%rip), %rdx     # 0x52fc8
cmpb $0x0, (%rdx)
je 0x254d2
incl 0x8(%rcx)
jmp 0x254d6
movq 0x2db46(%rip), %rdi     # 0x52fd0
callq 0x3b148
movq %rax, %rbx
leaq 0x1ae2c(%rip), %rsi     # 0x402c5
movl $0xa, %edx
movq %rax, %rdi
callq 0x72c0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
jmp 0x255cb
lock
incl 0x8(%rcx)
movq 0x10(%rax), %rcx
movq %rcx, 0x118(%rsp)
movq 0x18(%rax), %rax
movq %rax, 0x120(%rsp)
testq %rax, %rax
je 0x25508
movq 0x2dace(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x25504
incl 0x8(%rax)
jmp 0x25508
lock
incl 0x8(%rax)
leaq 0x108(%rsp), %rsi
movq %rbx, %rdi
callq 0x23168
movq %rax, %rbx
leaq 0x1ad60(%rip), %rsi     # 0x40282
movl $0xc, %edx
movq %rax, %rdi
callq 0x72c0
leaq 0x2e22a(%rip), %rax     # 0x53760
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0x70(%rsp)
movq %rax, 0x78(%rsp)
testq %rax, %rax
je 0x25561
movq 0x2da75(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x2555d
incl 0x8(%rax)
jmp 0x25561
lock
incl 0x8(%rax)
leaq 0x70(%rsp), %rsi
movq %rbx, %rdi
callq 0x160cc
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x7250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x7030
movq %rax, %rdi
callq 0x7190
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x255a7
callq 0x13308
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0x255b9
callq 0x13308
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0x255cb
callq 0x13308
leaq 0xe0(%rsp), %rdi
callq 0x16384
leaq 0x50(%rsp), %rdi
callq 0x165b8
leaq 0x2e2f7(%rip), %rax     # 0x538e0
addl $-0x2, (%rax)
addq $0x168, %rsp            # imm = 0x168
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
jmp 0x256a7
movq %rax, %rbx
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x25645
callq 0x13308
jmp 0x25645
jmp 0x25642
jmp 0x256d8
movq %rax, %rbx
movq 0xd8(%rsp), %rdi
testq %rdi, %rdi
je 0x25657
callq 0x13308
jmp 0x25657
movq %rax, %rbx
jmp 0x2567b
movq %rax, %rbx
movq 0x8(%rsp), %rdi
jmp 0x2574d
jmp 0x256d8
movq %rax, %rbx
leaq 0x148(%rsp), %rdi
callq 0x119a8
jmp 0x25778
movq %rax, %rbx
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x2567b
callq 0x13308
leaq 0x108(%rsp), %rdi
jmp 0x256a7
movq %rax, %rbx
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x2569f
callq 0x13308
jmp 0x2569f
movq %rax, %rbx
leaq 0x128(%rsp), %rdi
callq 0x119a8
jmp 0x25757
movq %rax, %rbx
movq 0x88(%rsp), %rdi
jmp 0x2574d
movq %rax, %rbx
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
jne 0x256ff
jmp 0x25778
jmp 0x256d8
movq %rax, %rbx
jmp 0x25757
movq %rax, %rbx
jmp 0x256f7
movq %rax, %rbx
movq 0xc8(%rsp), %rdi
testq %rdi, %rdi
je 0x256f7
callq 0x13308
testq %r14, %r14
je 0x25778
movq %r14, %rdi
callq 0x13308
jmp 0x25778
movq %rax, %rbx
jmp 0x25748
movq %rax, %rbx
jmp 0x25722
movq %rax, %rbx
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x25722
callq 0x13308
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x25739
callq 0x13308
jmp 0x25739
movq %rax, %rbx
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x25748
callq 0x13308
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x25757
callq 0x13308
leaq 0xe0(%rsp), %rdi
callq 0x16384
leaq 0x50(%rsp), %rdi
callq 0x165b8
leaq 0x2e16b(%rip), %rax     # 0x538e0
addl $-0x2, (%rax)
movq %rbx, %rdi
callq 0x7430