140071186:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
14007118c:	66 4c 0f 38 f6 fb    	adcx   %rbx,%r15
140071192:	c4 62 c3 f6 56 28    	mulx   0x28(%rsi),%rdi,%r10
140071198:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
14007119e:	66 4d 0f 38 f6 c2    	adcx   %r10,%r8
1400711a4:	c4 e2 fb f6 5e 30    	mulx   0x30(%rsi),%rax,%rbx
1400711aa:	f3 4c 0f 38 f6 c0    	adox   %rax,%r8
1400711b0:	66 4c 0f 38 f6 cb    	adcx   %rbx,%r9
1400711b6:	c4 62 c3 f6 56 38    	mulx   0x38(%rsi),%rdi,%r10
1400711bc:	f3 4c 0f 38 f6 cf    	adox   %rdi,%r9
1400711c2:	66 4c 0f 38 f6 d5    	adcx   %rbp,%r10
1400711c8:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
1400711cd:	f3 4c 0f 38 f6 d5    	adox   %rbp,%r10
1400711d3:	48 8b 56 20          	mov    0x20(%rsi),%rdx
1400711d7:	48 31 db             	xor    %rbx,%rbx
1400711da:	f3 4d 0f 38 f6 ed    	adox   %r13,%r13
1400711e0:	66 48 0f 38 f6 c1    	adcx   %rcx,%rax
1400711e6:	f3 4d 0f 38 f6 f6    	adox   %r14,%r14
1400711ec:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
1400711f2:	f3 48 0f 38 f6 dd    	adox   %rbp,%rbx
1400711f8:	66 4c 0f 38 f6 f7    	adcx   %rdi,%r14
1400711fe:	66 48 0f 38 f6 dd    	adcx   %rbp,%rbx
140071204:	4c 89 6c 24 30       	mov    %r13,0x30(%rsp)
140071209:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
14007120e:	c4 62 c3 f6 5e 28    	mulx   0x28(%rsi),%rdi,%r11
140071214:	f3 4c 0f 38 f6 c7    	adox   %rdi,%r8
14007121a:	66 4d 0f 38 f6 cb    	adcx   %r11,%r9
140071220:	c4 e2 fb f6 4e 30    	mulx   0x30(%rsi),%rax,%rcx
140071226:	f3 4c 0f 38 f6 c8    	adox   %rax,%r9
14007122c:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
140071232:	c4 62 c3 f6 5e 38    	mulx   0x38(%rsi),%rdi,%r11
140071238:	f3 4c 0f 38 f6 d7    	adox   %rdi,%r10
14007123e:	66 4c 0f 38 f6 dd    	adcx   %rbp,%r11
140071244:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
140071249:	48 8b 56 28          	mov    0x28(%rsi),%rdx
14007124d:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
140071253:	48 31 c9             	xor    %rcx,%rcx
140071256:	f3 4d 0f 38 f6 ff    	adox   %r15,%r15
14007125c:	66 48 0f 38 f6 c3    	adcx   %rbx,%rax
140071262:	f3 4d 0f 38 f6 c0    	adox   %r8,%r8
140071268:	66 4c 0f 38 f6 f8    	adcx   %rax,%r15
14007126e:	f3 48 0f 38 f6 cd    	adox   %rbp,%rcx
140071274:	66 4c 0f 38 f6 c7    	adcx   %rdi,%r8
14007127a:	66 48 0f 38 f6 cd    	adcx   %rbp,%rcx
140071280:	4c 89 7c 24 40       	mov    %r15,0x40(%rsp)
140071285:	4c 89 44 24 48       	mov    %r8,0x48(%rsp)
14007128a:	c4 e2 fb f6 9e 30 00 	mulx   0x30(%rsi),%rax,%rbx
140071291:	00 00
140071293:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140071299:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
14007129f:	c4 62 c3 f6 a6 38 00 	mulx   0x38(%rsi),%rdi,%r12
1400712a6:	00 00
1400712a8:	f3 4c 0f 38 f6 df    	adox   %rdi,%r11
1400712ae:	66 4c 0f 38 f6 e5    	adcx   %rbp,%r12
1400712b4:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
1400712b9:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
1400712bf:	48 8b 56 30          	mov    0x30(%rsi),%rdx
1400712c3:	48 31 db             	xor    %rbx,%rbx
1400712c6:	f3 4d 0f 38 f6 c9    	adox   %r9,%r9
1400712cc:	66 48 0f 38 f6 c1    	adcx   %rcx,%rax
1400712d2:	f3 4d 0f 38 f6 d2    	adox   %r10,%r10
1400712d8:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
1400712de:	66 4c 0f 38 f6 d7    	adcx   %rdi,%r10
1400712e4:	f3 48 0f 38 f6 dd    	adox   %rbp,%rbx
1400712ea:	66 48 0f 38 f6 dd    	adcx   %rbp,%rbx
1400712f0:	4c 89 4c 24 50       	mov    %r9,0x50(%rsp)
1400712f5:	4c 89 54 24 58       	mov    %r10,0x58(%rsp)
1400712fa:	c4 62 fb f6 ae 38 00 	mulx   0x38(%rsi),%rax,%r13
140071301:	00 00
140071303:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140071309:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14007130f:	c4 e2 fb f6 fa       	mulx   %rdx,%rax,%rdi
140071314:	48 31 c9             	xor    %rcx,%rcx
140071317:	48 8b 56 38          	mov    0x38(%rsi),%rdx
14007131b:	f3 4d 0f 38 f6 db    	adox   %r11,%r11
140071321:	66 48 0f 38 f6 c3    	adcx   %rbx,%rax
140071327:	f3 4d 0f 38 f6 e4    	adox   %r12,%r12
14007132d:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
140071333:	f3 48 0f 38 f6 cd    	adox   %rbp,%rcx
140071339:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
14007133f:	66 48 0f 38 f6 cd    	adcx   %rbp,%rcx
140071345:	4c 89 9c 24 60 00 00 	mov    %r11,0x60(%rsp)
14007134c:	00
14007134d:	4c 89 a4 24 68 00 00 	mov    %r12,0x68(%rsp)
140071354:	00
140071355:	c4 e2 fb f6 d2       	mulx   %rdx,%rax,%rdx
14007135a:	48 31 db             	xor    %rbx,%rbx
14007135d:	f3 4d 0f 38 f6 ed    	adox   %r13,%r13
140071363:	66 48 0f 38 f6 c1    	adcx   %rcx,%rax
140071369:	f3 48 0f 38 f6 dd    	adox   %rbp,%rbx
14007136f:	66 49 0f 38 f6 c5    	adcx   %r13,%rax
140071375:	66 48 0f 38 f6 da    	adcx   %rdx,%rbx
14007137b:	66 48 0f 7e c7       	movq   %xmm0,%rdi
140071380:	66 48 0f 7e cd       	movq   %xmm1,%rbp
140071385:	48 8b 94 24 80 00 00 	mov    0x80(%rsp),%rdx
14007138c:	00
14007138d:	4c 8b 04 24          	mov    (%rsp),%r8
140071391:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
140071396:	4c 8b 54 24 10       	mov    0x10(%rsp),%r10
14007139b:	4c 8b 5c 24 18       	mov    0x18(%rsp),%r11
1400713a0:	4c 8b 64 24 20       	mov    0x20(%rsp),%r12
1400713a5:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
1400713aa:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
1400713af:	4c 8b 7c 24 38       	mov    0x38(%rsp),%r15
1400713b4:	48 89 44 24 70       	mov    %rax,0x70(%rsp)
1400713b9:	48 89 5c 24 78       	mov    %rbx,0x78(%rsp)
1400713be:	e8 9d 0c 00 00       	call   0x140072060
1400713c3:	4c 03 44 24 40       	add    0x40(%rsp),%r8
1400713c8:	4c 13 4c 24 48       	adc    0x48(%rsp),%r9
1400713cd:	4c 13 54 24 50       	adc    0x50(%rsp),%r10
1400713d2:	4c 13 5c 24 58       	adc    0x58(%rsp),%r11
1400713d7:	4c 13 64 24 60       	adc    0x60(%rsp),%r12
1400713dc:	4c 13 6c 24 68       	adc    0x68(%rsp),%r13
1400713e1:	4c 13 74 24 70       	adc    0x70(%rsp),%r14
1400713e6:	4c 13 7c 24 78       	adc    0x78(%rsp),%r15
1400713eb:	48 19 c9             	sbb    %rcx,%rcx
1400713ee:	e8 4d 0d 00 00       	call   0x140072140
1400713f3:	4c 89 c2             	mov    %r8,%rdx
1400713f6:	4c 89 c8             	mov    %r9,%rax
1400713f9:	44 8b 84 24 88 00 00 	mov    0x88(%rsp),%r8d
140071400:	00
140071401:	48 89 fe             	mov    %rdi,%rsi
140071404:	41 ff c8             	dec    %r8d
140071407:	0f 85 73 fb ff ff    	jne    0x140070f80
14007140d:	48 8d 84 24 c8 00 00 	lea    0xc8(%rsp),%rax
140071414:	00
140071415:	4c 8b 78 d0          	mov    -0x30(%rax),%r15
140071419:	4c 8b 70 d8          	mov    -0x28(%rax),%r14
14007141d:	4c 8b 68 e0          	mov    -0x20(%rax),%r13
140071421:	4c 8b 60 e8          	mov    -0x18(%rax),%r12
140071425:	48 8b 68 f0          	mov    -0x10(%rax),%rbp
140071429:	48 8b 58 f8          	mov    -0x8(%rax),%rbx
14007142d:	48 8d 20             	lea    (%rax),%rsp
140071430:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140071435:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14007143a:	f3 c3                	repz ret
14007143c:	90                   	nop
14007143d:	90                   	nop
14007143e:	90                   	nop
14007143f:	90                   	nop
140071440:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140071445:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14007144a:	48 89 e0             	mov    %rsp,%rax
14007144d:	48 89 cf             	mov    %rcx,%rdi
140071450:	48 89 d6             	mov    %rdx,%rsi
140071453:	4c 89 c2             	mov    %r8,%rdx
140071456:	4c 89 c9             	mov    %r9,%rcx
140071459:	4c 8b 44 24 28       	mov    0x28(%rsp),%r8
14007145e:	53                   	push   %rbx
14007145f:	55                   	push   %rbp
140071460:	41 54                	push   %r12
140071462:	41 55                	push   %r13
140071464:	41 56                	push   %r14
140071466:	41 57                	push   %r15
140071468:	48 81 ec 98 00 00 00 	sub    $0x98,%rsp
14007146f:	66 48 0f 6e c7       	movq   %rdi,%xmm0
140071474:	66 48 0f 6e c9       	movq   %rcx,%xmm1
140071479:	4c 89 84 24 80 00 00 	mov    %r8,0x80(%rsp)
140071480:	00
140071481:	41 bb 00 01 08 00    	mov    $0x80100,%r11d
140071487:	44 23 1d 5a ec 39 00 	and    0x39ec5a(%rip),%r11d        # 0x1404100e8
14007148e:	41 81 fb 00 01 08 00 	cmp    $0x80100,%r11d
140071495:	74 49                	je     0x1400714e0
140071497:	48 8b 1a             	mov    (%rdx),%rbx
14007149a:	48 89 d5             	mov    %rdx,%rbp
14007149d:	e8 5e 0d 00 00       	call   0x140072200
1400714a2:	66 48 0f 7e c7       	movq   %xmm0,%rdi
1400714a7:	66 48 0f 7e cd       	movq   %xmm1,%rbp
1400714ac:	4c 8b 04 24          	mov    (%rsp),%r8
1400714b0:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
1400714b5:	4c 8b 54 24 10       	mov    0x10(%rsp),%r10
1400714ba:	4c 8b 5c 24 18       	mov    0x18(%rsp),%r11
1400714bf:	4c 8b 64 24 20       	mov    0x20(%rsp),%r12
1400714c4:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
1400714c9:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
1400714ce:	4c 8b 7c 24 38       	mov    0x38(%rsp),%r15
1400714d3:	e8 88 0a 00 00       	call   0x140071f60
1400714d8:	eb 4f                	jmp    0x140071529
1400714da:	90                   	nop
1400714db:	90                   	nop
1400714dc:	90                   	nop
1400714dd:	90                   	nop
1400714de:	90                   	nop
1400714df:	90                   	nop
1400714e0:	48 89 d5             	mov    %rdx,%rbp
1400714e3:	48 8b 12             	mov    (%rdx),%rdx
1400714e6:	e8 b5 0e 00 00       	call   0x1400723a0
1400714eb:	66 48 0f 7e c7       	movq   %xmm0,%rdi
1400714f0:	66 48 0f 7e cd       	movq   %xmm1,%rbp
1400714f5:	48 8b 94 24 80 00 00 	mov    0x80(%rsp),%rdx
1400714fc:	00
1400714fd:	4c 8b 04 24          	mov    (%rsp),%r8
140071501:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
140071506:	4c 8b 54 24 10       	mov    0x10(%rsp),%r10
14007150b:	4c 8b 5c 24 18       	mov    0x18(%rsp),%r11
140071510:	4c 8b 64 24 20       	mov    0x20(%rsp),%r12
140071515:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
14007151a:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
14007151f:	4c 8b 7c 24 38       	mov    0x38(%rsp),%r15
140071524:	e8 37 0b 00 00       	call   0x140072060
140071529:	4c 03 44 24 40       	add    0x40(%rsp),%r8
14007152e:	4c 13 4c 24 48       	adc    0x48(%rsp),%r9
140071533:	4c 13 54 24 50       	adc    0x50(%rsp),%r10
140071538:	4c 13 5c 24 58       	adc    0x58(%rsp),%r11
14007153d:	4c 13 64 24 60       	adc    0x60(%rsp),%r12
140071542:	4c 13 6c 24 68       	adc    0x68(%rsp),%r13
140071547:	4c 13 74 24 70       	adc    0x70(%rsp),%r14
14007154c:	4c 13 7c 24 78       	adc    0x78(%rsp),%r15
140071551:	48 19 c9             	sbb    %rcx,%rcx
140071554:	e8 e7 0b 00 00       	call   0x140072140
140071559:	48 8d 84 24 c8 00 00 	lea    0xc8(%rsp),%rax
140071560:	00
140071561:	4c 8b 78 d0          	mov    -0x30(%rax),%r15
140071565:	4c 8b 70 d8          	mov    -0x28(%rax),%r14
140071569:	4c 8b 68 e0          	mov    -0x20(%rax),%r13
14007156d:	4c 8b 60 e8          	mov    -0x18(%rax),%r12
140071571:	48 8b 68 f0          	mov    -0x10(%rax),%rbp
140071575:	48 8b 58 f8          	mov    -0x8(%rax),%rbx
140071579:	48 8d 20             	lea    (%rax),%rsp
14007157c:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140071581:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140071586:	f3 c3                	repz ret
140071588:	90                   	nop
140071589:	90                   	nop
14007158a:	90                   	nop
14007158b:	90                   	nop
14007158c:	90                   	nop
14007158d:	90                   	nop
14007158e:	90                   	nop
14007158f:	90                   	nop
140071590:	90                   	nop
140071591:	90                   	nop
140071592:	90                   	nop
140071593:	90                   	nop
140071594:	90                   	nop
140071595:	90                   	nop
140071596:	90                   	nop
140071597:	90                   	nop
140071598:	90                   	nop
140071599:	90                   	nop
14007159a:	90                   	nop
14007159b:	90                   	nop
14007159c:	90                   	nop
14007159d:	90                   	nop
14007159e:	90                   	nop
14007159f:	90                   	nop
1400715a0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
1400715a5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
1400715aa:	48 89 e0             	mov    %rsp,%rax
1400715ad:	48 89 cf             	mov    %rcx,%rdi
1400715b0:	48 89 d6             	mov    %rdx,%rsi
1400715b3:	4c 89 c2             	mov    %r8,%rdx
1400715b6:	4c 89 c9             	mov    %r9,%rcx
1400715b9:	4c 8b 44 24 28       	mov    0x28(%rsp),%r8
1400715be:	4c 8b 4c 24 30       	mov    0x30(%rsp),%r9
1400715c3:	53                   	push   %rbx
1400715c4:	55                   	push   %rbp
1400715c5:	41 54                	push   %r12
1400715c7:	41 55                	push   %r13
1400715c9:	41 56                	push   %r14
1400715cb:	41 57                	push   %r15
1400715cd:	48 81 ec 48 01 00 00 	sub    $0x148,%rsp
1400715d4:	0f 29 b4 24 a0 00 00 	movaps %xmm6,0xa0(%rsp)
1400715db:	00
1400715dc:	0f 29 bc 24 b0 00 00 	movaps %xmm7,0xb0(%rsp)
1400715e3:	00
1400715e4:	44 0f 29 84 24 c0 00 	movaps %xmm8,0xc0(%rsp)
1400715eb:	00 00
1400715ed:	44 0f 29 8c 24 d0 00 	movaps %xmm9,0xd0(%rsp)
1400715f4:	00 00
1400715f6:	44 0f 29 94 24 e0 00 	movaps %xmm10,0xe0(%rsp)
1400715fd:	00 00
1400715ff:	44 0f 29 9c 24 f0 00 	movaps %xmm11,0xf0(%rsp)
140071606:	00 00
140071608:	44 0f 29 a4 24 00 01 	movaps %xmm12,0x100(%rsp)
14007160f:	00 00
140071611:	44 0f 29 ac 24 10 01 	movaps %xmm13,0x110(%rsp)
140071618:	00 00
14007161a:	44 0f 29 b4 24 20 01 	movaps %xmm14,0x120(%rsp)
140071621:	00 00
140071623:	44 0f 29 bc 24 30 01 	movaps %xmm15,0x130(%rsp)
14007162a:	00 00
14007162c:	66 45 0f 6e c1       	movd   %r9d,%xmm8
140071631:	66 0f 6f 0d 57 11 00 	movdqa 0x1157(%rip),%xmm1        # 0x140072790
140071638:	00
140071639:	66 0f 6f 05 3f 11 00 	movdqa 0x113f(%rip),%xmm0        # 0x140072780
140071640:	00
140071641:	66 45 0f 70 c0 00    	pshufd $0x0,%xmm8,%xmm8
140071647:	66 0f 6f f9          	movdqa %xmm1,%xmm7
14007164b:	66 0f 6f d1          	movdqa %xmm1,%xmm2
14007164f:	66 0f fe c8          	paddd  %xmm0,%xmm1
140071653:	66 41 0f 76 c0       	pcmpeqd %xmm8,%xmm0
140071658:	66 0f 6f df          	movdqa %xmm7,%xmm3
14007165c:	66 0f fe d1          	paddd  %xmm1,%xmm2
140071660:	66 41 0f 76 c8       	pcmpeqd %xmm8,%xmm1
140071665:	66 0f 6f e7          	movdqa %xmm7,%xmm4
140071669:	66 0f fe da          	paddd  %xmm2,%xmm3
14007166d:	66 41 0f 76 d0       	pcmpeqd %xmm8,%xmm2
140071672:	66 0f 6f ef          	movdqa %xmm7,%xmm5
140071676:	66 0f fe e3          	paddd  %xmm3,%xmm4
14007167a:	66 41 0f 76 d8       	pcmpeqd %xmm8,%xmm3
14007167f:	66 0f 6f f7          	movdqa %xmm7,%xmm6
140071683:	66 0f fe ec          	paddd  %xmm4,%xmm5
140071687:	66 41 0f 76 e0       	pcmpeqd %xmm8,%xmm4
14007168c:	66 0f fe f5          	paddd  %xmm5,%xmm6
140071690:	66 41 0f 76 e8       	pcmpeqd %xmm8,%xmm5
140071695:	66 0f fe fe          	paddd  %xmm6,%xmm7
140071699:	66 41 0f 76 f0       	pcmpeqd %xmm8,%xmm6
14007169e:	66 41 0f 76 f8       	pcmpeqd %xmm8,%xmm7
1400716a3:	66 44 0f 6f 02       	movdqa (%rdx),%xmm8
1400716a8:	66 44 0f 6f 4a 10    	movdqa 0x10(%rdx),%xmm9
1400716ae:	66 44 0f 6f 52 20    	movdqa 0x20(%rdx),%xmm10
1400716b4:	66 44 0f 6f 5a 30    	movdqa 0x30(%rdx),%xmm11
1400716ba:	66 44 0f db c0       	pand   %xmm0,%xmm8
1400716bf:	66 44 0f 6f 62 40    	movdqa 0x40(%rdx),%xmm12
1400716c5:	66 44 0f db c9       	pand   %xmm1,%xmm9
1400716ca:	66 44 0f 6f 6a 50    	movdqa 0x50(%rdx),%xmm13
1400716d0:	66 44 0f db d2       	pand   %xmm2,%xmm10
1400716d5:	66 44 0f 6f 72 60    	movdqa 0x60(%rdx),%xmm14
1400716db:	66 44 0f db db       	pand   %xmm3,%xmm11
1400716e0:	66 44 0f 6f 7a 70    	movdqa 0x70(%rdx),%xmm15
1400716e6:	48 8d aa 80 00 00 00 	lea    0x80(%rdx),%rbp
1400716ed:	66 44 0f db e4       	pand   %xmm4,%xmm12
1400716f2:	66 44 0f db ed       	pand   %xmm5,%xmm13
1400716f7:	66 44 0f db f6       	pand   %xmm6,%xmm14
1400716fc:	66 44 0f db ff       	pand   %xmm7,%xmm15
140071701:	66 45 0f eb c2       	por    %xmm10,%xmm8
140071706:	66 45 0f eb cb       	por    %xmm11,%xmm9
14007170b:	66 45 0f eb c4       	por    %xmm12,%xmm8
140071710:	66 45 0f eb cd       	por    %xmm13,%xmm9
140071715:	66 45 0f eb c6       	por    %xmm14,%xmm8
14007171a:	66 45 0f eb cf       	por    %xmm15,%xmm9
14007171f:	66 45 0f eb c1       	por    %xmm9,%xmm8
140071724:	66 45 0f 70 c8 4e    	pshufd $0x4e,%xmm8,%xmm9
14007172a:	66 45 0f eb c1       	por    %xmm9,%xmm8
14007172f:	41 bb 00 01 08 00    	mov    $0x80100,%r11d
140071735:	44 23 1d ac e9 39 00 	and    0x39e9ac(%rip),%r11d        # 0x1404100e8
14007173c:	41 81 fb 00 01 08 00 	cmp    $0x80100,%r11d
140071743:	0f 84 77 02 00 00    	je     0x1400719c0
140071749:	66 4c 0f 7e c3       	movq   %xmm8,%rbx
14007174e:	4c 89 84 24 80 00 00 	mov    %r8,0x80(%rsp)
140071755:	00
140071756:	48 89 bc 24 88 00 00 	mov    %rdi,0x88(%rsp)
14007175d:	00
14007175e:	48 89 8c 24 90 00 00 	mov    %rcx,0x90(%rsp)
140071765:	00
140071766:	48 8b 06             	mov    (%rsi),%rax
140071769:	48 8b 4e 08          	mov    0x8(%rsi),%rcx
14007176d:	48 f7 e3             	mul    %rbx
140071770:	48 89 04 24          	mov    %rax,(%rsp)