0x7f8f0dea427a:	mov    0x8(%rbp),%r15
0x7f8f0dea427e:	jne    0x7f8f0dea42c8
0x7f8f0dea4280:	mov    (%rbx),%rax
0x7f8f0dea4283:	mov    %rbx,%r12
0x7f8f0dea4286:	sub    %rax,%r12
0x7f8f0dea4289:	add    %rax,%r13
0x7f8f0dea428c:	mov    0x10(%r12),%rdx
0x7f8f0dea4291:	mov    0x18(%r12),%rax
0x7f8f0dea4296:	mov    0x18(%rdx),%rbx
0x7f8f0dea429a:	cmp    %r12,%rbx
0x7f8f0dea429d:	je     0x7f8f0dea43a7
0x7f8f0dea42a3:	mov    0x2e9e5b(%rip),%ebx        # 0x7f8f0e18e104
0x7f8f0dea42a9:	mov    %ebx,%eax
0x7f8f0dea42ab:	and    $0x5,%eax
0x7f8f0dea42ae:	cmp    $0x5,%eax
0x7f8f0dea42b1:	je     0x7f8f0dea44b2