=> 0x7fa4fea3524e:	mov    (%r15),%edx
   0x7fa4fea35251:	mov    0x4(%r15),%r14d
   0x7fa4fea35255:	cmp    %edx,%r13d
   0x7fa4fea35258:	jb     0x7fa4fea35920
   0x7fa4fea3525e:	mov    %r13d,%eax
   0x7fa4fea35261:	mov    %edx,%edi
   0x7fa4fea35263:	sub    %edx,%eax
   0x7fa4fea35265:	cmp    %r14d,%eax
   0x7fa4fea35268:	cmova  %r14d,%eax
   0x7fa4fea3526c:	testb  $0x2,0xc(%r15)
   0x7fa4fea35271:	mov    $0x0,%r15d
   0x7fa4fea35277:	mov    0x18(%rsi),%rsi
   0x7fa4fea3527b:	cmove  %r15d,%r12d
   0x7fa4fea3527f:	cmpb   $0x0,(%rsp)
   0x7fa4fea35283:	jne    0x7fa4fea358b8
   0x7fa4fea35289:	mov    0x4640(%rbp),%r13d