=> 0x7fa5b033e7fb:	mov    0xc(%rdx),%r8d
   0x7fa5b033e7ff:	xor    %eax,%eax
   0x7fa5b033e801:	cmp    %r8d,%ecx
   0x7fa5b033e804:	jne    0x7fa5b033e88f
   0x7fa5b033e80a:	test   %ecx,%ecx
   0x7fa5b033e80c:	jle    0x7fa5b033e88a
   0x7fa5b033e80e:	test   %ecx,%ecx
   0x7fa5b033e810:	jbe    0x7fa5b033e8c1
   0x7fa5b033e816:	mov    %ecx,%r11d
   0x7fa5b033e819:	dec    %r11d
   0x7fa5b033e81c:	cmp    %ecx,%r11d
   0x7fa5b033e81f:	jae    0x7fa5b033e8c1
   0x7fa5b033e825:	test   %r8d,%r8d
   0x7fa5b033e828:	jbe    0x7fa5b033e8c1
   0x7fa5b033e82e:	cmp    %r8d,%r11d
   0x7fa5b033e831:	jae    0x7fa5b033e8c1