=> 0x7f9533df1bb4:	mov    (%rax),%ecx
   0x7f9533df1bb6:	cmp    $0x1,%ecx
   0x7f9533df1bb9:	jne    0x7f9533df1b98
   0x7f9533df1bbb:	mov    0x10(%rax),%r9
   0x7f9533df1bbf:	mov    (%rdx),%rcx
   0x7f9533df1bc2:	add    %r10,%r9
   0x7f9533df1bc5:	cmp    %r9,%rcx
   0x7f9533df1bc8:	jb     0x7f9533df1bab
   0x7f9533df1bca:	mov    0x28(%rax),%r11
   0x7f9533df1bce:	add    %r9,%r11
   0x7f9533df1bd1:	cmp    %r11,%rcx
   0x7f9533df1bd4:	cmovb  %r11,%r13
   0x7f9533df1bd8:	cmovb  %r9,%r14
   0x7f9533df1bdc:	cmovb  %r15,%rbx
   0x7f9533df1be0:	add    $0x38,%rax
   0x7f9533df1be4:	cmp    %rdi,%rax