=> 0x7fbefbafdfde:	mov    %r12,0x10(%rcx)
   0x7fbefbafdfe2:	je     0x7fbefbafe3d8
   0x7fbefbafdfe8:	cmp    $0x3ff,%rdi
   0x7fbefbafdfef:	jbe    0x7fbefbafdf50
   0x7fbefbafdff5:	mov    %rdi,%rdx
   0x7fbefbafdff8:	shr    $0x6,%rdx
   0x7fbefbafdffc:	cmp    $0x30,%rdx
   0x7fbefbafe000:	ja     0x7fbefbafe058
   0x7fbefbafe002:	lea    0x30(%rdx),%ecx
   0x7fbefbafe005:	lea    0x5e(%rdx,%rdx,1),%edx
   0x7fbefbafe009:	movslq %edx,%rdx
   0x7fbefbafe00c:	sub    $0x2,%rdx
   0x7fbefbafe010:	lea    0x68(%rbx,%rdx,8),%r9
   0x7fbefbafe015:	mov    0x10(%r9),%rdx
   0x7fbefbafe019:	cmp    %r9,%rdx
   0x7fbefbafe01c:	je     0x7fbefbafe088