0x7fe7708ea40a:	cmp    0x18(%rax),%r12
0x7fe7708ea40e:	jne    0x7fe7708ea88d
0x7fe7708ea414:	cmp    0x10(%rdx),%r12
0x7fe7708ea418:	jne    0x7fe7708ea88d
0x7fe7708ea41e:	cmpq   $0x3ff,0x8(%r12)
0x7fe7708ea427:	mov    %rdx,0x18(%rax)
0x7fe7708ea42b:	mov    %rax,0x10(%rdx)
0x7fe7708ea42f:	jbe    0x7fe7708ea43f
0x7fe7708ea431:	mov    0x20(%r12),%rdx
0x7fe7708ea436:	test   %rdx,%rdx
0x7fe7708ea439:	jne    0x7fe7708ea85f
0x7fe7708ea43f:	add    %r14,%rbp
0x7fe7708ea442:	jmpq   0x7fe7708ea14e
0x7fe7708ea447:	nopw   0x0(%rax,%rax,1)
0x7fe7708ea450:	add    $0x28,%rsp
0x7fe7708ea454:	mov    %rsi,%rdi