1402fe3c1:	89 4c 24 28          	mov    %ecx,0x28(%rsp)
1402fe3c5:	48 8d 4d 50          	lea    0x50(%rbp),%rcx
1402fe3c9:	e8 d0 e4 ff ff       	call   0x1402fc89e
1402fe3ce:	85 c0                	test   %eax,%eax
1402fe3d0:	0f 85 eb fe ff ff    	jne    0x1402fe2c1
1402fe3d6:	39 85 98 00 00 00    	cmp    %eax,0x98(%rbp)
1402fe3dc:	0f 85 df fe ff ff    	jne    0x1402fe2c1
1402fe3e2:	89 bd 9c 00 00 00    	mov    %edi,0x9c(%rbp)
1402fe3e8:	b8 01 00 00 00       	mov    $0x1,%eax
1402fe3ed:	89 85 98 00 00 00    	mov    %eax,0x98(%rbp)
1402fe3f3:	b3 01                	mov    $0x1,%bl
1402fe3f5:	48 8b cd             	mov    %rbp,%rcx
1402fe3f8:	e8 89 e4 ff ff       	call   0x1402fc886
1402fe3fd:	0f 28 74 24 40       	movaps 0x40(%rsp),%xmm6
1402fe402:	0f b6 c3             	movzbl %bl,%eax
1402fe405:	48 8b 9c 24 88 00 00 	mov    0x88(%rsp),%rbx
1402fe40c:	00
1402fe40d:	4c 8b 7c 24 50       	mov    0x50(%rsp),%r15
1402fe412:	4c 8b 6c 24 58       	mov    0x58(%rsp),%r13
1402fe417:	4c 8b a4 24 98 00 00 	mov    0x98(%rsp),%r12
1402fe41e:	00
1402fe41f:	48 8b b4 24 90 00 00 	mov    0x90(%rsp),%rsi
1402fe426:	00
1402fe427:	48 8b 4c 24 30       	mov    0x30(%rsp),%rcx
1402fe42c:	48 33 cc             	xor    %rsp,%rcx
1402fe42f:	e8 0c c2 ff ff       	call   0x1402fa640
1402fe434:	48 83 c4 60          	add    $0x60,%rsp
1402fe438:	41 5e                	pop    %r14
1402fe43a:	5f                   	pop    %rdi
1402fe43b:	5d                   	pop    %rbp
1402fe43c:	c3                   	ret
1402fe43d:	83 bd 98 00 00 00 00 	cmpl   $0x0,0x98(%rbp)
1402fe444:	74 9c                	je     0x1402fe3e2
1402fe446:	32 db                	xor    %bl,%bl
1402fe448:	eb ab                	jmp    0x1402fe3f5
1402fe44a:	ff c8                	dec    %eax
1402fe44c:	b9 06 00 00 00       	mov    $0x6,%ecx
1402fe451:	89 45 4c             	mov    %eax,0x4c(%rbp)
1402fe454:	e8 63 e4 ff ff       	call   0x1402fc8bc
1402fe459:	cc                   	int3
1402fe45a:	b9 05 00 00 00       	mov    $0x5,%ecx
1402fe45f:	e8 58 e4 ff ff       	call   0x1402fc8bc
1402fe464:	cc                   	int3
1402fe465:	cc                   	int3
1402fe466:	cc                   	int3
1402fe467:	cc                   	int3
1402fe468:	cc                   	int3
1402fe469:	cc                   	int3
1402fe46a:	cc                   	int3
1402fe46b:	cc                   	int3
1402fe46c:	cc                   	int3
1402fe46d:	cc                   	int3
1402fe46e:	cc                   	int3
1402fe46f:	cc                   	int3
1402fe470:	40 53                	rex push %rbx
1402fe472:	55                   	push   %rbp
1402fe473:	56                   	push   %rsi
1402fe474:	57                   	push   %rdi
1402fe475:	41 56                	push   %r14
1402fe477:	48 83 ec 60          	sub    $0x60,%rsp
1402fe47b:	48 8b 05 fe 9c 10 00 	mov    0x109cfe(%rip),%rax        # 0x140408180
1402fe482:	48 33 c4             	xor    %rsp,%rax
1402fe485:	48 89 44 24 30       	mov    %rax,0x30(%rsp)
1402fe48a:	48 8b e9             	mov    %rcx,%rbp
1402fe48d:	49 8b f1             	mov    %r9,%rsi
1402fe490:	48 8d 4c 24 20       	lea    0x20(%rsp),%rcx
1402fe495:	49 8b d8             	mov    %r8,%rbx
1402fe498:	4c 8b f2             	mov    %rdx,%r14
1402fe49b:	e8 e0 3e dc ff       	call   0x1400c2380
1402fe4a0:	48 8b 03             	mov    (%rbx),%rax
1402fe4a3:	48 8b 7c 24 20       	mov    0x20(%rsp),%rdi
1402fe4a8:	4c 8b cf             	mov    %rdi,%r9
1402fe4ab:	48 85 c0             	test   %rax,%rax
1402fe4ae:	7e 20                	jle    0x1402fe4d0
1402fe4b0:	4c 69 c0 00 ca 9a 3b 	imul   $0x3b9aca00,%rax,%r8
1402fe4b7:	48 bf ff ff ff ff ff 	movabs $0x7fffffffffffffff,%rdi
1402fe4be:	ff ff 7f
1402fe4c1:	48 8b c7             	mov    %rdi,%rax
1402fe4c4:	49 2b c0             	sub    %r8,%rax
1402fe4c7:	4c 3b c8             	cmp    %rax,%r9
1402fe4ca:	7d 04                	jge    0x1402fe4d0
1402fe4cc:	4b 8d 3c 08          	lea    (%r8,%r9,1),%rdi
1402fe4d0:	83 be 3c 01 00 00 00 	cmpl   $0x0,0x13c(%rsi)
1402fe4d7:	4c 89 a4 24 a0 00 00 	mov    %r12,0xa0(%rsp)
1402fe4de:	00
1402fe4df:	4c 89 6c 24 58       	mov    %r13,0x58(%rsp)
1402fe4e4:	4c 89 7c 24 50       	mov    %r15,0x50(%rsp)
1402fe4e9:	0f 29 74 24 40       	movaps %xmm6,0x40(%rsp)
1402fe4ee:	0f 85 44 01 00 00    	jne    0x1402fe638
1402fe4f4:	f2 0f 10 35 bc ff 02 	movsd  0x2ffbc(%rip),%xmm6        # 0x14032e4b8
1402fe4fb:	00
1402fe4fc:	49 bc f3 8c 90 94 07 	movabs $0xb2f4fc0794908cf3,%r12
1402fe503:	fc f4 b2
1402fe506:	49 bf 00 00 16 ad cd 	movabs $0x311cdad160000,%r15
1402fe50d:	11 03 00
1402fe510:	49 bd b3 94 d6 26 e8 	movabs $0x112e0be826d694b3,%r13
1402fe517:	0b 2e 11
1402fe51a:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
1402fe520:	e8 49 e3 ff ff       	call   0x1402fc86e
1402fe525:	48 8b d8             	mov    %rax,%rbx
1402fe528:	e8 3b e3 ff ff       	call   0x1402fc868
1402fe52d:	48 8b c8             	mov    %rax,%rcx
1402fe530:	48 81 fb 80 96 98 00 	cmp    $0x989680,%rbx
1402fe537:	75 06                	jne    0x1402fe53f
1402fe539:	48 6b d9 64          	imul   $0x64,%rcx,%rbx
1402fe53d:	eb 74                	jmp    0x1402fe5b3
1402fe53f:	48 81 fb 00 36 6e 01 	cmp    $0x16e3600,%rbx
1402fe546:	75 4a                	jne    0x1402fe592
1402fe548:	49 8b c4             	mov    %r12,%rax
1402fe54b:	48 f7 e9             	imul   %rcx
1402fe54e:	4c 8d 04 11          	lea    (%rcx,%rdx,1),%r8
1402fe552:	49 c1 f8 18          	sar    $0x18,%r8
1402fe556:	49 8b c0             	mov    %r8,%rax
1402fe559:	48 c1 e8 3f          	shr    $0x3f,%rax
1402fe55d:	4c 03 c0             	add    %rax,%r8
1402fe560:	49 69 c0 00 36 6e 01 	imul   $0x16e3600,%r8,%rax
1402fe567:	48 2b c8             	sub    %rax,%rcx
1402fe56a:	49 8b c4             	mov    %r12,%rax
1402fe56d:	48 69 c9 00 ca 9a 3b 	imul   $0x3b9aca00,%rcx,%rcx
1402fe574:	48 f7 e9             	imul   %rcx
1402fe577:	48 8d 1c 11          	lea    (%rcx,%rdx,1),%rbx
1402fe57b:	48 c1 fb 18          	sar    $0x18,%rbx
1402fe57f:	48 8b c3             	mov    %rbx,%rax
1402fe582:	48 c1 e8 3f          	shr    $0x3f,%rax
1402fe586:	48 03 d8             	add    %rax,%rbx
1402fe589:	49 69 c0 00 ca 9a 3b 	imul   $0x3b9aca00,%r8,%rax
1402fe590:	eb 1e                	jmp    0x1402fe5b0
1402fe592:	48 99                	cqto
1402fe594:	48 f7 fb             	idiv   %rbx
1402fe597:	48 8b c8             	mov    %rax,%rcx
1402fe59a:	48 69 c2 00 ca 9a 3b 	imul   $0x3b9aca00,%rdx,%rax
1402fe5a1:	48 99                	cqto
1402fe5a3:	48 f7 fb             	idiv   %rbx
1402fe5a6:	48 8b d8             	mov    %rax,%rbx
1402fe5a9:	48 69 c1 00 ca 9a 3b 	imul   $0x3b9aca00,%rcx,%rax
1402fe5b0:	48 03 d8             	add    %rax,%rbx
1402fe5b3:	48 3b df             	cmp    %rdi,%rbx
1402fe5b6:	0f 8d ad 00 00 00    	jge    0x1402fe669
1402fe5bc:	e8 a1 e2 ff ff       	call   0x1402fc862
1402fe5c1:	48 6b d0 64          	imul   $0x64,%rax,%rdx
1402fe5c5:	0f 57 c0             	xorps  %xmm0,%xmm0
1402fe5c8:	48 8b c7             	mov    %rdi,%rax
1402fe5cb:	48 2b c3             	sub    %rbx,%rax
1402fe5ce:	4a 8d 0c 3a          	lea    (%rdx,%r15,1),%rcx
1402fe5d2:	f2 48 0f 2a c0       	cvtsi2sd %rax,%xmm0
1402fe5d7:	66 0f 2f c6          	comisd %xmm6,%xmm0
1402fe5db:	77 04                	ja     0x1402fe5e1
1402fe5dd:	48 8d 0c 10          	lea    (%rax,%rdx,1),%rcx
1402fe5e1:	48 03 c2             	add    %rdx,%rax
1402fe5e4:	4c 8d 44 24 20       	lea    0x20(%rsp),%r8
1402fe5e9:	49 03 d7             	add    %r15,%rdx
1402fe5ec:	66 0f 2f c6          	comisd %xmm6,%xmm0
1402fe5f0:	48 0f 46 d0          	cmovbe %rax,%rdx
1402fe5f4:	49 8b c5             	mov    %r13,%rax
1402fe5f7:	48 f7 ea             	imul   %rdx
1402fe5fa:	48 c1 fa 1a          	sar    $0x1a,%rdx
1402fe5fe:	48 8b c2             	mov    %rdx,%rax
1402fe601:	48 c1 e8 3f          	shr    $0x3f,%rax
1402fe605:	48 03 d0             	add    %rax,%rdx
1402fe608:	69 c2 00 ca 9a 3b    	imul   $0x3b9aca00,%edx,%eax
1402fe60e:	48 89 54 24 20       	mov    %rdx,0x20(%rsp)
1402fe613:	49 8b 16             	mov    (%r14),%rdx
1402fe616:	2b c8                	sub    %eax,%ecx
1402fe618:	89 4c 24 28          	mov    %ecx,0x28(%rsp)
1402fe61c:	48 8b cd             	mov    %rbp,%rcx
1402fe61f:	e8 7a e2 ff ff       	call   0x1402fc89e
1402fe624:	85 c0                	test   %eax,%eax
1402fe626:	0f 85 f4 fe ff ff    	jne    0x1402fe520
1402fe62c:	39 86 3c 01 00 00    	cmp    %eax,0x13c(%rsi)
1402fe632:	0f 84 e8 fe ff ff    	je     0x1402fe520
1402fe638:	b0 01                	mov    $0x1,%al
1402fe63a:	0f 28 74 24 40       	movaps 0x40(%rsp),%xmm6
1402fe63f:	4c 8b 7c 24 50       	mov    0x50(%rsp),%r15
1402fe644:	4c 8b 6c 24 58       	mov    0x58(%rsp),%r13
1402fe649:	4c 8b a4 24 a0 00 00 	mov    0xa0(%rsp),%r12
1402fe650:	00
1402fe651:	48 8b 4c 24 30       	mov    0x30(%rsp),%rcx
1402fe656:	48 33 cc             	xor    %rsp,%rcx
1402fe659:	e8 e2 bf ff ff       	call   0x1402fa640
1402fe65e:	48 83 c4 60          	add    $0x60,%rsp
1402fe662:	41 5e                	pop    %r14
1402fe664:	5f                   	pop    %rdi
1402fe665:	5e                   	pop    %rsi
1402fe666:	5d                   	pop    %rbp
1402fe667:	5b                   	pop    %rbx
1402fe668:	c3                   	ret
1402fe669:	83 be 3c 01 00 00 00 	cmpl   $0x0,0x13c(%rsi)
1402fe670:	0f 95 c0             	setne  %al
1402fe673:	eb c5                	jmp    0x1402fe63a
1402fe675:	cc                   	int3
1402fe676:	cc                   	int3
1402fe677:	cc                   	int3
1402fe678:	cc                   	int3
1402fe679:	cc                   	int3
1402fe67a:	cc                   	int3
1402fe67b:	cc                   	int3
1402fe67c:	cc                   	int3
1402fe67d:	cc                   	int3
1402fe67e:	cc                   	int3
1402fe67f:	cc                   	int3
1402fe680:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
1402fe685:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
1402fe68a:	48 89 7c 24 18       	mov    %rdi,0x18(%rsp)
1402fe68f:	41 56                	push   %r14
1402fe691:	48 83 ec 30          	sub    $0x30,%rsp
1402fe695:	48 8b fa             	mov    %rdx,%rdi
1402fe698:	4c 8b f1             	mov    %rcx,%r14
1402fe69b:	48 89 11             	mov    %rdx,(%rcx)
1402fe69e:	e8 d7 e1 ff ff       	call   0x1402fc87a
1402fe6a3:	8b d8                	mov    %eax,%ebx
1402fe6a5:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
1402fe6aa:	c6 44 24 28 00       	movb   $0x0,0x28(%rsp)
1402fe6af:	48 8b cf             	mov    %rdi,%rcx
1402fe6b2:	e8 c9 e1 ff ff       	call   0x1402fc880
1402fe6b7:	85 c0                	test   %eax,%eax
1402fe6b9:	0f 85 83 00 00 00    	jne    0x1402fe742
1402fe6bf:	8b 47 4c             	mov    0x4c(%rdi),%eax
1402fe6c2:	3d ff ff ff 7f       	cmp    $0x7fffffff,%eax
1402fe6c7:	0f 84 80 00 00 00    	je     0x1402fe74d
1402fe6cd:	c6 44 24 28 01       	movb   $0x1,0x28(%rsp)
1402fe6d2:	8b 87 98 00 00 00    	mov    0x98(%rdi),%eax
1402fe6d8:	3b 9f 9c 00 00 00    	cmp    0x9c(%rdi),%ebx
1402fe6de:	75 09                	jne    0x1402fe6e9
1402fe6e0:	83 f8 ff             	cmp    $0xffffffff,%eax
1402fe6e3:	73 52                	jae    0x1402fe737
1402fe6e5:	ff c0                	inc    %eax
1402fe6e7:	eb 27                	jmp    0x1402fe710
1402fe6e9:	85 c0                	test   %eax,%eax
1402fe6eb:	74 18                	je     0x1402fe705
1402fe6ed:	0f 1f 00             	nopl   (%rax)
1402fe6f0:	48 8b d7             	mov    %rdi,%rdx
1402fe6f3:	48 8d 4f 50          	lea    0x50(%rdi),%rcx
1402fe6f7:	e8 9c e1 ff ff       	call   0x1402fc898
1402fe6fc:	83 bf 98 00 00 00 00 	cmpl   $0x0,0x98(%rdi)
1402fe703:	75 eb                	jne    0x1402fe6f0
1402fe705:	89 9f 9c 00 00 00    	mov    %ebx,0x9c(%rdi)
1402fe70b:	b8 01 00 00 00       	mov    $0x1,%eax
1402fe710:	89 87 98 00 00 00    	mov    %eax,0x98(%rdi)
1402fe716:	48 8b cf             	mov    %rdi,%rcx
1402fe719:	e8 68 e1 ff ff       	call   0x1402fc886
1402fe71e:	49 8b c6             	mov    %r14,%rax
1402fe721:	48 8b 5c 24 40       	mov    0x40(%rsp),%rbx
1402fe726:	48 8b 74 24 48       	mov    0x48(%rsp),%rsi
1402fe72b:	48 8b 7c 24 50       	mov    0x50(%rsp),%rdi
1402fe730:	48 83 c4 30          	add    $0x30,%rsp
1402fe734:	41 5e                	pop    %r14
1402fe736:	c3                   	ret
1402fe737:	b9 0b 00 00 00       	mov    $0xb,%ecx
1402fe73c:	e8 6f 83 00 00       	call   0x140306ab0
1402fe741:	90                   	nop
1402fe742:	b9 05 00 00 00       	mov    $0x5,%ecx
1402fe747:	e8 70 e1 ff ff       	call   0x1402fc8bc
1402fe74c:	cc                   	int3
1402fe74d:	ff c8                	dec    %eax
1402fe74f:	89 47 4c             	mov    %eax,0x4c(%rdi)
1402fe752:	b9 06 00 00 00       	mov    $0x6,%ecx
1402fe757:	e8 60 e1 ff ff       	call   0x1402fc8bc
1402fe75c:	cc                   	int3
1402fe75d:	cc                   	int3
1402fe75e:	cc                   	int3
1402fe75f:	cc                   	int3
1402fe760:	48 89 5c 24 18       	mov    %rbx,0x18(%rsp)
1402fe765:	48 89 74 24 20       	mov    %rsi,0x20(%rsp)
1402fe76a:	48 89 4c 24 08       	mov    %rcx,0x8(%rsp)
1402fe76f:	57                   	push   %rdi
1402fe770:	48 83 ec 20          	sub    $0x20,%rsp
1402fe774:	48 8b f9             	mov    %rcx,%rdi
1402fe777:	33 f6                	xor    %esi,%esi
1402fe779:	0f 57 c0             	xorps  %xmm0,%xmm0
1402fe77c:	0f 11 41 18          	movups %xmm0,0x18(%rcx)
1402fe780:	0f 11 41 28          	movups %xmm0,0x28(%rcx)
1402fe784:	0f 11 41 38          	movups %xmm0,0x38(%rcx)
1402fe788:	48 89 71 48          	mov    %rsi,0x48(%rcx)
1402fe78c:	48 89 71 08          	mov    %rsi,0x8(%rcx)
1402fe790:	48 89 71 10          	mov    %rsi,0x10(%rcx)
1402fe794:	c7 41 48 ff ff ff ff 	movl   $0xffffffff,0x48(%rcx)
1402fe79b:	c7 01 02 00 00 00    	movl   $0x2,(%rcx)
1402fe7a1:	89 71 4c             	mov    %esi,0x4c(%rcx)
1402fe7a4:	48 83 c1 50          	add    $0x50,%rcx
1402fe7a8:	e8 df e0 ff ff       	call   0x1402fc88c
1402fe7ad:	48 89 b7 98 00 00 00 	mov    %rsi,0x98(%rdi)
1402fe7b4:	48 89 b7 a0 00 00 00 	mov    %rsi,0xa0(%rdi)
1402fe7bb:	48 8d 9f a8 00 00 00 	lea    0xa8(%rdi),%rbx
1402fe7c2:	48 89 5c 24 38       	mov    %rbx,0x38(%rsp)
1402fe7c7:	89 33                	mov    %esi,(%rbx)
1402fe7c9:	48 89 73 08          	mov    %rsi,0x8(%rbx)
1402fe7cd:	48 89 73 10          	mov    %rsi,0x10(%rbx)
1402fe7d1:	b9 58 00 00 00       	mov    $0x58,%ecx
1402fe7d6:	e8 6d ba ff ff       	call   0x1402fa248
1402fe7db:	48 89 00             	mov    %rax,(%rax)
1402fe7de:	48 89 40 08          	mov    %rax,0x8(%rax)
1402fe7e2:	48 89 43 08          	mov    %rax,0x8(%rbx)
1402fe7e6:	48 8d 4b 18          	lea    0x18(%rbx),%rcx
1402fe7ea:	48 89 31             	mov    %rsi,(%rcx)
1402fe7ed:	48 89 71 08          	mov    %rsi,0x8(%rcx)
1402fe7f1:	48 89 71 10          	mov    %rsi,0x10(%rcx)
1402fe7f5:	48 c7 43 30 07 00 00 	movq   $0x7,0x30(%rbx)
1402fe7fc:	00
1402fe7fd:	48 c7 43 38 08 00 00 	movq   $0x8,0x38(%rbx)
1402fe804:	00
1402fe805:	c7 03 00 00 80 3f    	movl   $0x3f800000,(%rbx)
1402fe80b:	4c 8b 43 08          	mov    0x8(%rbx),%r8
1402fe80f:	ba 10 00 00 00       	mov    $0x10,%edx
1402fe814:	e8 c7 02 dc ff       	call   0x1400beae0
1402fe819:	90                   	nop
1402fe81a:	48 89 b7 e8 00 00 00 	mov    %rsi,0xe8(%rdi)
1402fe821:	48 89 b7 f0 00 00 00 	mov    %rsi,0xf0(%rdi)
1402fe828:	48 89 b7 f8 00 00 00 	mov    %rsi,0xf8(%rdi)
1402fe82f:	48 8d 9f 00 01 00 00 	lea    0x100(%rdi),%rbx
1402fe836:	48 89 5c 24 38       	mov    %rbx,0x38(%rsp)
1402fe83b:	89 33                	mov    %esi,(%rbx)
1402fe83d:	48 89 73 08          	mov    %rsi,0x8(%rbx)
1402fe841:	48 89 73 10          	mov    %rsi,0x10(%rbx)
1402fe845:	b9 90 00 00 00       	mov    $0x90,%ecx
1402fe84a:	e8 f9 b9 ff ff       	call   0x1402fa248
1402fe84f:	48 89 00             	mov    %rax,(%rax)
1402fe852:	48 89 40 08          	mov    %rax,0x8(%rax)
1402fe856:	48 89 43 08          	mov    %rax,0x8(%rbx)
1402fe85a:	48 8d 4b 18          	lea    0x18(%rbx),%rcx
1402fe85e:	48 89 31             	mov    %rsi,(%rcx)
1402fe861:	48 89 71 08          	mov    %rsi,0x8(%rcx)
1402fe865:	48 89 71 10          	mov    %rsi,0x10(%rcx)
1402fe869:	48 c7 43 30 07 00 00 	movq   $0x7,0x30(%rbx)
1402fe870:	00
1402fe871:	48 c7 43 38 08 00 00 	movq   $0x8,0x38(%rbx)
1402fe878:	00
1402fe879:	c7 03 00 00 80 3f    	movl   $0x3f800000,(%rbx)
1402fe87f:	4c 8b 43 08          	mov    0x8(%rbx),%r8
1402fe883:	ba 10 00 00 00       	mov    $0x10,%edx
1402fe888:	e8 53 02 dc ff       	call   0x1400beae0
1402fe88d:	90                   	nop
1402fe88e:	e8 7b e0 ff ff       	call   0x1402fc90e
1402fe893:	44 8b c0             	mov    %eax,%r8d
1402fe896:	b8 03 00 00 00       	mov    $0x3,%eax
1402fe89b:	41 f7 e0             	mul    %r8d
1402fe89e:	41 8b c8             	mov    %r8d,%ecx
1402fe8a1:	2b ca                	sub    %edx,%ecx
1402fe8a3:	d1 e9                	shr    $1,%ecx
1402fe8a5:	03 ca                	add    %edx,%ecx
1402fe8a7:	c1 e9 1e             	shr    $0x1e,%ecx
1402fe8aa:	69 c9 01 00 00 80    	imul   $0x80000001,%ecx,%ecx
1402fe8b0:	44 03 c1             	add    %ecx,%r8d
1402fe8b3:	b8 01 00 00 00       	mov    $0x1,%eax
1402fe8b8:	44 0f 44 c0          	cmove  %eax,%r8d
1402fe8bc:	44 89 87 40 01 00 00 	mov    %r8d,0x140(%rdi)
1402fe8c3:	66 89 b7 44 01 00 00 	mov    %si,0x144(%rdi)
1402fe8ca:	48 8b c7             	mov    %rdi,%rax
1402fe8cd:	48 8b 5c 24 40       	mov    0x40(%rsp),%rbx
1402fe8d2:	48 8b 74 24 48       	mov    0x48(%rsp),%rsi
1402fe8d7:	48 83 c4 20          	add    $0x20,%rsp