0x7f899657cf67:	mov    %rax,0x0(%rbp)
0x7f899657cf6b:	mov    0x858(%rbx),%rax
0x7f899657cf72:	sub    0x850(%rbx),%rax
0x7f899657cf79:	mov    %rax,%rdx
0x7f899657cf7c:	xor    %eax,%eax
0x7f899657cf7e:	test   %rdx,%rdx
0x7f899657cf81:	cmovs  %rax,%rdx
0x7f899657cf85:	mov    %rdx,0x10(%rbp)
0x7f899657cf89:	mov    0x870(%rbx),%rdx
0x7f899657cf90:	sub    0x850(%rbx),%rdx
0x7f899657cf97:	test   %rdx,%rdx
0x7f899657cf9a:	cmovs  %rax,%rdx
0x7f899657cf9e:	mov    %rdx,0x18(%rbp)
0x7f899657cfa2:	mov    0x868(%rbx),%rdx
0x7f899657cfa9:	sub    0x860(%rbx),%rdx
0x7f899657cfb0:	test   %rdx,%rdx