=> 0x7fe71e595a95:	cmp    0x18(%rdx),%r12
   0x7fe71e595a99:	jne    0x7fe71e595bfc
   0x7fe71e595a9f:	cmp    0x10(%rsi),%r12
   0x7fe71e595aa3:	jne    0x7fe71e595bfc
   0x7fe71e595aa9:	cmpq   $0x3ff,0x8(%r12)
   0x7fe71e595ab2:	mov    %rsi,0x18(%rdx)
   0x7fe71e595ab6:	mov    %rdx,0x10(%rsi)
   0x7fe71e595aba:	jbe    0x7fe71e595aca
   0x7fe71e595abc:	mov    0x20(%r12),%rsi
   0x7fe71e595ac1:	test   %rsi,%rsi
   0x7fe71e595ac4:	jne    0x7fe71e595c34
   0x7fe71e595aca:	mov    0x68(%r13),%rdx
   0x7fe71e595ace:	cmp    $0x3ff,%rbp
   0x7fe71e595ad5:	mov    %rbx,0x68(%r13)
   0x7fe71e595ad9:	mov    %rbx,0x18(%rdx)
   0x7fe71e595add:	jbe    0x7fe71e595aef