1402ef0a1:	4d 8b f8             	mov    %r8,%r15
1402ef0a4:	4c 8b e2             	mov    %rdx,%r12
1402ef0a7:	4c 8b f1             	mov    %rcx,%r14
1402ef0aa:	4d 8b 11             	mov    (%r9),%r10
1402ef0ad:	49 8b 02             	mov    (%r10),%rax
1402ef0b0:	4c 8b 58 70          	mov    0x70(%rax),%r11
1402ef0b4:	49 8b 10             	mov    (%r8),%rdx
1402ef0b7:	49 8b 0c 24          	mov    (%r12),%rcx
1402ef0bb:	0f 57 c0             	xorps  %xmm0,%xmm0
1402ef0be:	f3 0f 7f 45 cf       	movdqu %xmm0,-0x31(%rbp)
1402ef0c3:	48 8b 41 08          	mov    0x8(%rcx),%rax
1402ef0c7:	48 85 c0             	test   %rax,%rax
1402ef0ca:	74 04                	je     0x1402ef0d0
1402ef0cc:	f0 ff 40 08          	lock incl 0x8(%rax)
1402ef0d0:	48 8b 01             	mov    (%rcx),%rax
1402ef0d3:	48 89 45 cf          	mov    %rax,-0x31(%rbp)
1402ef0d7:	48 8b 41 08          	mov    0x8(%rcx),%rax
1402ef0db:	48 89 45 d7          	mov    %rax,-0x29(%rbp)
1402ef0df:	f3 0f 7f 45 df       	movdqu %xmm0,-0x21(%rbp)
1402ef0e4:	48 8b 45 7f          	mov    0x7f(%rbp),%rax
1402ef0e8:	48 89 44 24 30       	mov    %rax,0x30(%rsp)
1402ef0ed:	48 8b 75 77          	mov    0x77(%rbp),%rsi
1402ef0f1:	48 89 74 24 28       	mov    %rsi,0x28(%rsp)
1402ef0f6:	48 89 54 24 20       	mov    %rdx,0x20(%rsp)
1402ef0fb:	4c 8d 4d cf          	lea    -0x31(%rbp),%r9
1402ef0ff:	4c 8d 45 df          	lea    -0x21(%rbp),%r8
1402ef103:	48 8d 55 bf          	lea    -0x41(%rbp),%rdx
1402ef107:	49 8b ca             	mov    %r10,%rcx
1402ef10a:	49 8b c3             	mov    %r11,%rax
1402ef10d:	ff 15 25 db 81 00    	call   *0x81db25(%rip)        # 0x140b0cc38
1402ef113:	48 8b 4d bf          	mov    -0x41(%rbp),%rcx
1402ef117:	48 8b 01             	mov    (%rcx),%rax
1402ef11a:	49 8b 17             	mov    (%r15),%rdx
1402ef11d:	8a 92 a8 00 00 00    	mov    0xa8(%rdx),%dl
1402ef123:	48 8b 40 10          	mov    0x10(%rax),%rax
1402ef127:	ff 15 0b db 81 00    	call   *0x81db0b(%rip)        # 0x140b0cc38
1402ef12d:	48 8b 55 bf          	mov    -0x41(%rbp),%rdx
1402ef131:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402ef135:	48 63 48 08          	movslq 0x8(%rax),%rcx
1402ef139:	48 83 c2 08          	add    $0x8,%rdx
1402ef13d:	48 03 ca             	add    %rdx,%rcx
1402ef140:	48 8b 01             	mov    (%rcx),%rax
1402ef143:	49 8b 17             	mov    (%r15),%rdx
1402ef146:	f2 0f 10 8a 90 00 00 	movsd  0x90(%rdx),%xmm1
1402ef14d:	00
1402ef14e:	66 0f 5a c9          	cvtpd2ps %xmm1,%xmm1
1402ef152:	48 8b 40 28          	mov    0x28(%rax),%rax
1402ef156:	ff 15 dc da 81 00    	call   *0x81dadc(%rip)        # 0x140b0cc38
1402ef15c:	48 8b 55 bf          	mov    -0x41(%rbp),%rdx
1402ef160:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402ef164:	48 63 78 08          	movslq 0x8(%rax),%rdi
1402ef168:	48 03 fa             	add    %rdx,%rdi
1402ef16b:	48 8b 47 08          	mov    0x8(%rdi),%rax
1402ef16f:	48 8b 58 38          	mov    0x38(%rax),%rbx
1402ef173:	48 8b 0e             	mov    (%rsi),%rcx
1402ef176:	48 8b 01             	mov    (%rcx),%rax
1402ef179:	4d 8b 07             	mov    (%r15),%r8
1402ef17c:	49 81 c0 98 00 00 00 	add    $0x98,%r8
1402ef183:	48 8d 55 ef          	lea    -0x11(%rbp),%rdx
1402ef187:	48 8b 80 90 03 00 00 	mov    0x390(%rax),%rax
1402ef18e:	ff 15 a4 da 81 00    	call   *0x81daa4(%rip)        # 0x140b0cc38
1402ef194:	90                   	nop
1402ef195:	48 8b d0             	mov    %rax,%rdx
1402ef198:	48 8d 4f 08          	lea    0x8(%rdi),%rcx
1402ef19c:	48 8b c3             	mov    %rbx,%rax
1402ef19f:	ff 15 93 da 81 00    	call   *0x81da93(%rip)        # 0x140b0cc38
1402ef1a5:	90                   	nop
1402ef1a6:	83 cf ff             	or     $0xffffffff,%edi
1402ef1a9:	48 8b 5d f7          	mov    -0x9(%rbp),%rbx
1402ef1ad:	48 85 db             	test   %rbx,%rbx
1402ef1b0:	74 35                	je     0x1402ef1e7
1402ef1b2:	8b c7                	mov    %edi,%eax
1402ef1b4:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402ef1b9:	03 c7                	add    %edi,%eax
1402ef1bb:	75 2a                	jne    0x1402ef1e7
1402ef1bd:	48 8b 03             	mov    (%rbx),%rax
1402ef1c0:	48 8b cb             	mov    %rbx,%rcx
1402ef1c3:	48 8b 00             	mov    (%rax),%rax
1402ef1c6:	ff 15 6c da 81 00    	call   *0x81da6c(%rip)        # 0x140b0cc38
1402ef1cc:	8b c7                	mov    %edi,%eax
1402ef1ce:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402ef1d3:	03 c7                	add    %edi,%eax
1402ef1d5:	75 10                	jne    0x1402ef1e7
1402ef1d7:	48 8b 03             	mov    (%rbx),%rax
1402ef1da:	48 8b cb             	mov    %rbx,%rcx
1402ef1dd:	48 8b 40 08          	mov    0x8(%rax),%rax
1402ef1e1:	ff 15 51 da 81 00    	call   *0x81da51(%rip)        # 0x140b0cc38
1402ef1e7:	48 8b 55 bf          	mov    -0x41(%rbp),%rdx
1402ef1eb:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402ef1ef:	48 63 48 08          	movslq 0x8(%rax),%rcx
1402ef1f3:	48 83 c2 08          	add    $0x8,%rdx
1402ef1f7:	48 03 ca             	add    %rdx,%rcx
1402ef1fa:	48 8b 01             	mov    (%rcx),%rax
1402ef1fd:	49 8b 17             	mov    (%r15),%rdx
1402ef200:	8b 92 38 01 00 00    	mov    0x138(%rdx),%edx
1402ef206:	48 8b 40 48          	mov    0x48(%rax),%rax
1402ef20a:	ff 15 28 da 81 00    	call   *0x81da28(%rip)        # 0x140b0cc38
1402ef210:	48 8b 55 bf          	mov    -0x41(%rbp),%rdx
1402ef214:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402ef218:	48 63 48 08          	movslq 0x8(%rax),%rcx
1402ef21c:	48 83 c2 08          	add    $0x8,%rdx
1402ef220:	48 03 ca             	add    %rdx,%rcx
1402ef223:	48 8b 01             	mov    (%rcx),%rax
1402ef226:	49 8b 17             	mov    (%r15),%rdx
1402ef229:	48 81 c2 50 01 00 00 	add    $0x150,%rdx
1402ef230:	48 8b 80 88 00 00 00 	mov    0x88(%rax),%rax
1402ef237:	ff 15 fb d9 81 00    	call   *0x81d9fb(%rip)        # 0x140b0cc38
1402ef23d:	49 83 26 00          	andq   $0x0,(%r14)
1402ef241:	49 83 66 08 00       	andq   $0x0,0x8(%r14)
1402ef246:	48 8b 55 bf          	mov    -0x41(%rbp),%rdx
1402ef24a:	48 85 d2             	test   %rdx,%rdx
1402ef24d:	75 04                	jne    0x1402ef253
1402ef24f:	33 c0                	xor    %eax,%eax
1402ef251:	eb 0f                	jmp    0x1402ef262
1402ef253:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402ef257:	48 63 40 08          	movslq 0x8(%rax),%rax
1402ef25b:	48 83 c0 08          	add    $0x8,%rax
1402ef25f:	48 03 c2             	add    %rdx,%rax
1402ef262:	49 89 06             	mov    %rax,(%r14)
1402ef265:	48 8b 45 c7          	mov    -0x39(%rbp),%rax
1402ef269:	49 89 46 08          	mov    %rax,0x8(%r14)
1402ef26d:	0f 57 c0             	xorps  %xmm0,%xmm0
1402ef270:	f3 0f 7f 45 bf       	movdqu %xmm0,-0x41(%rbp)
1402ef275:	49 8b 5c 24 08       	mov    0x8(%r12),%rbx
1402ef27a:	48 85 db             	test   %rbx,%rbx
1402ef27d:	74 36                	je     0x1402ef2b5
1402ef27f:	8b c7                	mov    %edi,%eax
1402ef281:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402ef286:	03 c7                	add    %edi,%eax
1402ef288:	75 2b                	jne    0x1402ef2b5
1402ef28a:	48 8b 03             	mov    (%rbx),%rax
1402ef28d:	48 8b cb             	mov    %rbx,%rcx
1402ef290:	48 8b 00             	mov    (%rax),%rax
1402ef293:	ff 15 9f d9 81 00    	call   *0x81d99f(%rip)        # 0x140b0cc38
1402ef299:	8b c7                	mov    %edi,%eax
1402ef29b:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402ef2a0:	03 c7                	add    %edi,%eax
1402ef2a2:	75 11                	jne    0x1402ef2b5
1402ef2a4:	48 8b 03             	mov    (%rbx),%rax
1402ef2a7:	48 8b cb             	mov    %rbx,%rcx
1402ef2aa:	48 8b 40 08          	mov    0x8(%rax),%rax
1402ef2ae:	ff 15 84 d9 81 00    	call   *0x81d984(%rip)        # 0x140b0cc38
1402ef2b4:	90                   	nop
1402ef2b5:	49 8b 5f 08          	mov    0x8(%r15),%rbx
1402ef2b9:	48 85 db             	test   %rbx,%rbx
1402ef2bc:	74 36                	je     0x1402ef2f4
1402ef2be:	8b c7                	mov    %edi,%eax
1402ef2c0:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402ef2c5:	03 c7                	add    %edi,%eax
1402ef2c7:	75 2b                	jne    0x1402ef2f4
1402ef2c9:	48 8b 03             	mov    (%rbx),%rax
1402ef2cc:	48 8b cb             	mov    %rbx,%rcx
1402ef2cf:	48 8b 00             	mov    (%rax),%rax
1402ef2d2:	ff 15 60 d9 81 00    	call   *0x81d960(%rip)        # 0x140b0cc38
1402ef2d8:	8b c7                	mov    %edi,%eax
1402ef2da:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402ef2df:	03 c7                	add    %edi,%eax
1402ef2e1:	75 11                	jne    0x1402ef2f4
1402ef2e3:	48 8b 03             	mov    (%rbx),%rax
1402ef2e6:	48 8b cb             	mov    %rbx,%rcx
1402ef2e9:	48 8b 40 08          	mov    0x8(%rax),%rax
1402ef2ed:	ff 15 45 d9 81 00    	call   *0x81d945(%rip)        # 0x140b0cc38
1402ef2f3:	90                   	nop
1402ef2f4:	49 8b 5d 08          	mov    0x8(%r13),%rbx
1402ef2f8:	48 85 db             	test   %rbx,%rbx
1402ef2fb:	74 36                	je     0x1402ef333
1402ef2fd:	8b c7                	mov    %edi,%eax
1402ef2ff:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402ef304:	03 c7                	add    %edi,%eax
1402ef306:	75 2b                	jne    0x1402ef333
1402ef308:	48 8b 03             	mov    (%rbx),%rax
1402ef30b:	48 8b cb             	mov    %rbx,%rcx
1402ef30e:	48 8b 00             	mov    (%rax),%rax
1402ef311:	ff 15 21 d9 81 00    	call   *0x81d921(%rip)        # 0x140b0cc38
1402ef317:	8b c7                	mov    %edi,%eax
1402ef319:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402ef31e:	03 c7                	add    %edi,%eax
1402ef320:	75 11                	jne    0x1402ef333
1402ef322:	48 8b 03             	mov    (%rbx),%rax
1402ef325:	48 8b cb             	mov    %rbx,%rcx
1402ef328:	48 8b 40 08          	mov    0x8(%rax),%rax
1402ef32c:	ff 15 06 d9 81 00    	call   *0x81d906(%rip)        # 0x140b0cc38
1402ef332:	90                   	nop
1402ef333:	48 8b 45 7f          	mov    0x7f(%rbp),%rax
1402ef337:	48 8b 58 08          	mov    0x8(%rax),%rbx
1402ef33b:	48 85 db             	test   %rbx,%rbx
1402ef33e:	74 35                	je     0x1402ef375
1402ef340:	8b c7                	mov    %edi,%eax
1402ef342:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402ef347:	03 c7                	add    %edi,%eax
1402ef349:	75 2a                	jne    0x1402ef375
1402ef34b:	48 8b 03             	mov    (%rbx),%rax
1402ef34e:	48 8b cb             	mov    %rbx,%rcx
1402ef351:	48 8b 00             	mov    (%rax),%rax
1402ef354:	ff 15 de d8 81 00    	call   *0x81d8de(%rip)        # 0x140b0cc38
1402ef35a:	8b c7                	mov    %edi,%eax
1402ef35c:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402ef361:	03 c7                	add    %edi,%eax
1402ef363:	75 10                	jne    0x1402ef375
1402ef365:	48 8b 03             	mov    (%rbx),%rax
1402ef368:	48 8b cb             	mov    %rbx,%rcx
1402ef36b:	48 8b 40 08          	mov    0x8(%rax),%rax
1402ef36f:	ff 15 c3 d8 81 00    	call   *0x81d8c3(%rip)        # 0x140b0cc38
1402ef375:	49 8b c6             	mov    %r14,%rax
1402ef378:	48 81 c4 98 00 00 00 	add    $0x98,%rsp
1402ef37f:	41 5f                	pop    %r15
1402ef381:	41 5e                	pop    %r14
1402ef383:	41 5d                	pop    %r13
1402ef385:	41 5c                	pop    %r12
1402ef387:	5f                   	pop    %rdi
1402ef388:	5e                   	pop    %rsi
1402ef389:	5b                   	pop    %rbx
1402ef38a:	5d                   	pop    %rbp
1402ef38b:	c3                   	ret
1402ef38c:	90                   	nop
1402ef38d:	90                   	nop
1402ef38e:	90                   	nop
1402ef38f:	90                   	nop
1402ef390:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
1402ef395:	48 89 74 24 18       	mov    %rsi,0x18(%rsp)
1402ef39a:	48 89 4c 24 08       	mov    %rcx,0x8(%rsp)
1402ef39f:	57                   	push   %rdi
1402ef3a0:	41 56                	push   %r14
1402ef3a2:	41 57                	push   %r15
1402ef3a4:	48 83 ec 20          	sub    $0x20,%rsp
1402ef3a8:	4d 8b f1             	mov    %r9,%r14
1402ef3ab:	49 8b f0             	mov    %r8,%rsi
1402ef3ae:	4c 8b fa             	mov    %rdx,%r15
1402ef3b1:	48 8b d9             	mov    %rcx,%rbx
1402ef3b4:	48 8d 05 35 51 83 00 	lea    0x835135(%rip),%rax        # 0x140b244f0
1402ef3bb:	48 89 01             	mov    %rax,(%rcx)
1402ef3be:	8b 44 24 78          	mov    0x78(%rsp),%eax
1402ef3c2:	89 41 08             	mov    %eax,0x8(%rcx)
1402ef3c5:	48 8b 02             	mov    (%rdx),%rax
1402ef3c8:	48 8b ca             	mov    %rdx,%rcx
1402ef3cb:	48 8b 80 78 01 00 00 	mov    0x178(%rax),%rax
1402ef3d2:	ff 15 60 d8 81 00    	call   *0x81d860(%rip)        # 0x140b0cc38
1402ef3d8:	48 8d 4b 10          	lea    0x10(%rbx),%rcx
1402ef3dc:	48 8b 10             	mov    (%rax),%rdx
1402ef3df:	e8 40 28 00 00       	call   0x1402f1c24
1402ef3e4:	90                   	nop
1402ef3e5:	49 8b 07             	mov    (%r15),%rax
1402ef3e8:	49 8b cf             	mov    %r15,%rcx
1402ef3eb:	48 8b 80 60 01 00 00 	mov    0x160(%rax),%rax
1402ef3f2:	ff 15 40 d8 81 00    	call   *0x81d840(%rip)        # 0x140b0cc38
1402ef3f8:	48 8d 4b 20          	lea    0x20(%rbx),%rcx
1402ef3fc:	48 8b 10             	mov    (%rax),%rdx
1402ef3ff:	e8 b0 f2 fa ff       	call   0x14029e6b4
1402ef404:	90                   	nop
1402ef405:	49 8b 07             	mov    (%r15),%rax
1402ef408:	48 8d 53 30          	lea    0x30(%rbx),%rdx
1402ef40c:	49 8b cf             	mov    %r15,%rcx
1402ef40f:	48 8b 40 38          	mov    0x38(%rax),%rax
1402ef413:	ff 15 1f d8 81 00    	call   *0x81d81f(%rip)        # 0x140b0cc38
1402ef419:	90                   	nop
1402ef41a:	49 8b 07             	mov    (%r15),%rax
1402ef41d:	49 8b cf             	mov    %r15,%rcx
1402ef420:	48 8b 80 48 01 00 00 	mov    0x148(%rax),%rax
1402ef427:	ff 15 0b d8 81 00    	call   *0x81d80b(%rip)        # 0x140b0cc38
1402ef42d:	33 ff                	xor    %edi,%edi
1402ef42f:	48 89 7b 40          	mov    %rdi,0x40(%rbx)
1402ef433:	48 89 7b 48          	mov    %rdi,0x48(%rbx)
1402ef437:	48 39 78 08          	cmp    %rdi,0x8(%rax)
1402ef43b:	74 13                	je     0x1402ef450
1402ef43d:	48 8b 08             	mov    (%rax),%rcx
1402ef440:	48 89 4b 40          	mov    %rcx,0x40(%rbx)
1402ef444:	48 8b 40 08          	mov    0x8(%rax),%rax
1402ef448:	48 89 43 48          	mov    %rax,0x48(%rbx)
1402ef44c:	f0 ff 40 0c          	lock incl 0xc(%rax)
1402ef450:	48 89 7b 50          	mov    %rdi,0x50(%rbx)
1402ef454:	48 89 7b 58          	mov    %rdi,0x58(%rbx)
1402ef458:	49 8b 46 08          	mov    0x8(%r14),%rax
1402ef45c:	48 85 c0             	test   %rax,%rax
1402ef45f:	74 04                	je     0x1402ef465
1402ef461:	f0 ff 40 08          	lock incl 0x8(%rax)
1402ef465:	49 8b 06             	mov    (%r14),%rax
1402ef468:	48 89 43 50          	mov    %rax,0x50(%rbx)
1402ef46c:	49 8b 46 08          	mov    0x8(%r14),%rax
1402ef470:	48 89 43 58          	mov    %rax,0x58(%rbx)
1402ef474:	48 89 7b 60          	mov    %rdi,0x60(%rbx)
1402ef478:	48 89 7b 68          	mov    %rdi,0x68(%rbx)
1402ef47c:	48 8b 4c 24 60       	mov    0x60(%rsp),%rcx
1402ef481:	48 8b 41 08          	mov    0x8(%rcx),%rax
1402ef485:	48 85 c0             	test   %rax,%rax
1402ef488:	74 04                	je     0x1402ef48e
1402ef48a:	f0 ff 40 08          	lock incl 0x8(%rax)
1402ef48e:	48 8b 01             	mov    (%rcx),%rax
1402ef491:	48 89 43 60          	mov    %rax,0x60(%rbx)
1402ef495:	48 8b 41 08          	mov    0x8(%rcx),%rax
1402ef499:	48 89 43 68          	mov    %rax,0x68(%rbx)
1402ef49d:	48 89 7b 70          	mov    %rdi,0x70(%rbx)
1402ef4a1:	48 89 7b 78          	mov    %rdi,0x78(%rbx)
1402ef4a5:	48 39 7e 08          	cmp    %rdi,0x8(%rsi)
1402ef4a9:	74 13                	je     0x1402ef4be
1402ef4ab:	48 8b 06             	mov    (%rsi),%rax
1402ef4ae:	48 89 43 70          	mov    %rax,0x70(%rbx)
1402ef4b2:	48 8b 46 08          	mov    0x8(%rsi),%rax
1402ef4b6:	48 89 43 78          	mov    %rax,0x78(%rbx)
1402ef4ba:	f0 ff 40 0c          	lock incl 0xc(%rax)
1402ef4be:	8b 84 24 80 00 00 00 	mov    0x80(%rsp),%eax
1402ef4c5:	89 83 80 00 00 00    	mov    %eax,0x80(%rbx)
1402ef4cb:	8a 44 24 70          	mov    0x70(%rsp),%al
1402ef4cf:	88 83 84 00 00 00    	mov    %al,0x84(%rbx)
1402ef4d5:	8a 44 24 68          	mov    0x68(%rsp),%al
1402ef4d9:	88 83 85 00 00 00    	mov    %al,0x85(%rbx)
1402ef4df:	49 8b 07             	mov    (%r15),%rax
1402ef4e2:	49 8b cf             	mov    %r15,%rcx
1402ef4e5:	48 8b 80 90 01 00 00 	mov    0x190(%rax),%rax
1402ef4ec:	ff 15 46 d7 81 00    	call   *0x81d746(%rip)        # 0x140b0cc38
1402ef4f2:	4c 8b 00             	mov    (%rax),%r8
1402ef4f5:	49 8b 48 48          	mov    0x48(%r8),%rcx
1402ef4f9:	48 85 c9             	test   %rcx,%rcx
1402ef4fc:	74 47                	je     0x1402ef545
1402ef4fe:	49 8b 40 40          	mov    0x40(%r8),%rax
1402ef502:	48 ff c8             	dec    %rax
1402ef505:	48 03 c8             	add    %rax,%rcx
1402ef508:	49 8b 50 38          	mov    0x38(%r8),%rdx
1402ef50c:	48 ff ca             	dec    %rdx
1402ef50f:	48 23 d1             	and    %rcx,%rdx
1402ef512:	49 8b 40 30          	mov    0x30(%r8),%rax
1402ef516:	48 8b 0c d0          	mov    (%rax,%rdx,8),%rcx
1402ef51a:	48 89 bb 88 00 00 00 	mov    %rdi,0x88(%rbx)
1402ef521:	48 89 bb 90 00 00 00 	mov    %rdi,0x90(%rbx)
1402ef528:	48 8b 41 08          	mov    0x8(%rcx),%rax
1402ef52c:	48 85 c0             	test   %rax,%rax
1402ef52f:	74 04                	je     0x1402ef535
1402ef531:	f0 ff 40 08          	lock incl 0x8(%rax)
1402ef535:	48 8b 01             	mov    (%rcx),%rax
1402ef538:	48 89 83 88 00 00 00 	mov    %rax,0x88(%rbx)
1402ef53f:	48 8b 79 08          	mov    0x8(%rcx),%rdi
1402ef543:	eb 07                	jmp    0x1402ef54c
1402ef545:	48 89 bb 88 00 00 00 	mov    %rdi,0x88(%rbx)
1402ef54c:	48 89 bb 90 00 00 00 	mov    %rdi,0x90(%rbx)
1402ef553:	48 8b c3             	mov    %rbx,%rax
1402ef556:	48 8b 5c 24 48       	mov    0x48(%rsp),%rbx
1402ef55b:	48 8b 74 24 50       	mov    0x50(%rsp),%rsi
1402ef560:	48 83 c4 20          	add    $0x20,%rsp
1402ef564:	41 5f                	pop    %r15
1402ef566:	41 5e                	pop    %r14
1402ef568:	5f                   	pop    %rdi
1402ef569:	c3                   	ret
1402ef56a:	90                   	nop
1402ef56b:	90                   	nop
1402ef56c:	90                   	nop
1402ef56d:	90                   	nop
1402ef56e:	90                   	nop
1402ef56f:	90                   	nop
1402ef570:	48 89 5c 24 18       	mov    %rbx,0x18(%rsp)
1402ef575:	48 89 74 24 20       	mov    %rsi,0x20(%rsp)
1402ef57a:	55                   	push   %rbp