=> 0x7fdd23544d1d:	cmp    0x18(%rdx),%r12
   0x7fdd23544d21:	jne    0x7fdd23544e7c
   0x7fdd23544d27:	cmp    0x10(%rsi),%r12
   0x7fdd23544d2b:	jne    0x7fdd23544e7c
   0x7fdd23544d31:	cmpq   $0x3ff,0x8(%r12)
   0x7fdd23544d3a:	mov    %rsi,0x18(%rdx)
   0x7fdd23544d3e:	mov    %rdx,0x10(%rsi)
   0x7fdd23544d42:	jbe    0x7fdd23544d52
   0x7fdd23544d44:	mov    0x20(%r12),%rsi
   0x7fdd23544d49:	test   %rsi,%rsi
   0x7fdd23544d4c:	jne    0x7fdd23544eb4
   0x7fdd23544d52:	mov    0x68(%r13),%rdx
   0x7fdd23544d56:	cmp    $0x3ff,%rbp
   0x7fdd23544d5d:	mov    %rbx,0x68(%r13)
   0x7fdd23544d61:	mov    %rbx,0x18(%rdx)
   0x7fdd23544d65:	jbe    0x7fdd23544d77