=> 0x7f122651a21b:	mov    %r14,0x10(%rsi)
   0x7f122651a21f:	je     0x7f122651a4ba
   0x7f122651a225:	mov    0x70(%rbx),%r14
   0x7f122651a229:	cmp    %r12,%r14
   0x7f122651a22c:	je     0x7f122651a4ba
   0x7f122651a232:	mov    0x8(%r14),%rdi
   0x7f122651a236:	mov    0x18(%r14),%rcx
   0x7f122651a23a:	cmp    $0x10,%rdi
   0x7f122651a23e:	jbe    0x7f122651a9f3
   0x7f122651a244:	cmp    0x878(%rbx),%rdi
   0x7f122651a24b:	ja     0x7f122651a9f3
   0x7f122651a251:	and    $0xfffffffffffffff8,%rdi
   0x7f122651a255:	cmp    $0x3ff,%rbp
   0x7f122651a25c:	ja     0x7f122651a267
   0x7f122651a25e:	cmp    %rcx,%r12
   0x7f122651a261:	je     0x7f122651a3b0