1402df5ff:	44 89 64 24 20       	mov    %r12d,0x20(%rsp)
1402df604:	48 85 ff             	test   %rdi,%rdi
1402df607:	74 27                	je     0x1402df630
1402df609:	8b 47 10             	mov    0x10(%rdi),%eax
1402df60c:	ff c8                	dec    %eax
1402df60e:	89 47 10             	mov    %eax,0x10(%rdi)
1402df611:	85 c0                	test   %eax,%eax
1402df613:	7f 1b                	jg     0x1402df630
1402df615:	0f 88 b9 02 00 00    	js     0x1402df8d4
1402df61b:	48 8b 07             	mov    (%rdi),%rax
1402df61e:	ba 01 00 00 00       	mov    $0x1,%edx
1402df623:	48 8b cf             	mov    %rdi,%rcx
1402df626:	48 8b 00             	mov    (%rax),%rax
1402df629:	ff 15 f1 43 ca 00    	call   *0xca43f1(%rip)        # 0x140f83a20
1402df62f:	90                   	nop
1402df630:	41 f6 c4 08          	test   $0x8,%r12b
1402df634:	74 36                	je     0x1402df66c
1402df636:	41 83 e4 f7          	and    $0xfffffff7,%r12d
1402df63a:	44 89 64 24 20       	mov    %r12d,0x20(%rsp)
1402df63f:	48 8b 4d d0          	mov    -0x30(%rbp),%rcx
1402df643:	48 85 c9             	test   %rcx,%rcx
1402df646:	74 24                	je     0x1402df66c
1402df648:	8b 41 10             	mov    0x10(%rcx),%eax
1402df64b:	ff c8                	dec    %eax
1402df64d:	89 41 10             	mov    %eax,0x10(%rcx)
1402df650:	85 c0                	test   %eax,%eax
1402df652:	7f 18                	jg     0x1402df66c
1402df654:	0f 88 85 02 00 00    	js     0x1402df8df
1402df65a:	48 8b 01             	mov    (%rcx),%rax
1402df65d:	ba 01 00 00 00       	mov    $0x1,%edx
1402df662:	48 8b 00             	mov    (%rax),%rax
1402df665:	ff 15 b5 43 ca 00    	call   *0xca43b5(%rip)        # 0x140f83a20
1402df66b:	90                   	nop
1402df66c:	41 f6 c4 04          	test   $0x4,%r12b
1402df670:	74 37                	je     0x1402df6a9
1402df672:	41 83 e4 fb          	and    $0xfffffffb,%r12d
1402df676:	44 89 64 24 20       	mov    %r12d,0x20(%rsp)
1402df67b:	4d 85 f6             	test   %r14,%r14
1402df67e:	74 29                	je     0x1402df6a9
1402df680:	41 8b 46 10          	mov    0x10(%r14),%eax
1402df684:	ff c8                	dec    %eax
1402df686:	41 89 46 10          	mov    %eax,0x10(%r14)
1402df68a:	85 c0                	test   %eax,%eax
1402df68c:	7f 1b                	jg     0x1402df6a9
1402df68e:	0f 88 56 02 00 00    	js     0x1402df8ea
1402df694:	49 8b 06             	mov    (%r14),%rax
1402df697:	ba 01 00 00 00       	mov    $0x1,%edx
1402df69c:	49 8b ce             	mov    %r14,%rcx
1402df69f:	48 8b 00             	mov    (%rax),%rax
1402df6a2:	ff 15 78 43 ca 00    	call   *0xca4378(%rip)        # 0x140f83a20
1402df6a8:	90                   	nop
1402df6a9:	41 f6 c4 02          	test   $0x2,%r12b
1402df6ad:	74 37                	je     0x1402df6e6
1402df6af:	41 83 e4 fd          	and    $0xfffffffd,%r12d
1402df6b3:	44 89 64 24 20       	mov    %r12d,0x20(%rsp)
1402df6b8:	48 8b 4c 24 50       	mov    0x50(%rsp),%rcx
1402df6bd:	48 85 c9             	test   %rcx,%rcx
1402df6c0:	74 24                	je     0x1402df6e6
1402df6c2:	8b 41 10             	mov    0x10(%rcx),%eax
1402df6c5:	ff c8                	dec    %eax
1402df6c7:	89 41 10             	mov    %eax,0x10(%rcx)
1402df6ca:	85 c0                	test   %eax,%eax
1402df6cc:	7f 18                	jg     0x1402df6e6
1402df6ce:	0f 88 21 02 00 00    	js     0x1402df8f5
1402df6d4:	48 8b 01             	mov    (%rcx),%rax
1402df6d7:	ba 01 00 00 00       	mov    $0x1,%edx
1402df6dc:	48 8b 00             	mov    (%rax),%rax
1402df6df:	ff 15 3b 43 ca 00    	call   *0xca433b(%rip)        # 0x140f83a20
1402df6e5:	90                   	nop
1402df6e6:	41 f6 c4 01          	test   $0x1,%r12b
1402df6ea:	74 2a                	je     0x1402df716
1402df6ec:	41 8b 45 10          	mov    0x10(%r13),%eax
1402df6f0:	ff c8                	dec    %eax
1402df6f2:	41 89 45 10          	mov    %eax,0x10(%r13)
1402df6f6:	85 c0                	test   %eax,%eax
1402df6f8:	7f 1c                	jg     0x1402df716
1402df6fa:	0f 88 00 02 00 00    	js     0x1402df900
1402df700:	49 8b 45 00          	mov    0x0(%r13),%rax
1402df704:	ba 01 00 00 00       	mov    $0x1,%edx
1402df709:	49 8b cd             	mov    %r13,%rcx
1402df70c:	48 8b 00             	mov    (%rax),%rax
1402df70f:	ff 15 0b 43 ca 00    	call   *0xca430b(%rip)        # 0x140f83a20
1402df715:	90                   	nop
1402df716:	80 7c 24 24 00       	cmpb   $0x0,0x24(%rsp)
1402df71b:	74 6d                	je     0x1402df78a
1402df71d:	4c 8b 05 44 c7 13 01 	mov    0x113c744(%rip),%r8        # 0x14141be68
1402df724:	45 8b 40 48          	mov    0x48(%r8),%r8d
1402df728:	48 8b 95 60 01 00 00 	mov    0x160(%rbp),%rdx
1402df72f:	48 8d 4c 24 58       	lea    0x58(%rsp),%rcx
1402df734:	e8 67 34 09 00       	call   0x140372ba0
1402df739:	48 8b 18             	mov    (%rax),%rbx
1402df73c:	48 c7 00 00 00 00 00 	movq   $0x0,(%rax)
1402df743:	48 89 5d d8          	mov    %rbx,-0x28(%rbp)
1402df747:	4c 8b 85 88 01 00 00 	mov    0x188(%rbp),%r8
1402df74e:	48 8d 55 d8          	lea    -0x28(%rbp),%rdx
1402df752:	48 8b 0d 27 c7 13 01 	mov    0x113c727(%rip),%rcx        # 0x14141be80
1402df759:	8b 49 4c             	mov    0x4c(%rcx),%ecx
1402df75c:	e8 ef 19 fd ff       	call   0x1402b1150
1402df761:	90                   	nop
1402df762:	48 85 db             	test   %rbx,%rbx
1402df765:	74 23                	je     0x1402df78a
1402df767:	8b 43 10             	mov    0x10(%rbx),%eax
1402df76a:	ff c8                	dec    %eax
1402df76c:	89 43 10             	mov    %eax,0x10(%rbx)
1402df76f:	85 c0                	test   %eax,%eax
1402df771:	7f 17                	jg     0x1402df78a
1402df773:	78 4f                	js     0x1402df7c4
1402df775:	48 8b 03             	mov    (%rbx),%rax
1402df778:	ba 01 00 00 00       	mov    $0x1,%edx
1402df77d:	48 8b cb             	mov    %rbx,%rcx
1402df780:	48 8b 00             	mov    (%rax),%rax
1402df783:	ff 15 97 42 ca 00    	call   *0xca4297(%rip)        # 0x140f83a20
1402df789:	90                   	nop
1402df78a:	48 8b 15 d7 c6 13 01 	mov    0x113c6d7(%rip),%rdx        # 0x14141be68
1402df791:	8b 52 48             	mov    0x48(%rdx),%edx
1402df794:	48 8b 85 60 01 00 00 	mov    0x160(%rbp),%rax
1402df79b:	48 8b 08             	mov    (%rax),%rcx
1402df79e:	e8 ad 0a 46 00       	call   0x140740250
1402df7a3:	4c 8d 9c 24 30 02 00 	lea    0x230(%rsp),%r11
1402df7aa:	00
1402df7ab:	49 8b 5b 38          	mov    0x38(%r11),%rbx
1402df7af:	49 8b 73 40          	mov    0x40(%r11),%rsi
1402df7b3:	49 8b 7b 48          	mov    0x48(%r11),%rdi
1402df7b7:	49 8b e3             	mov    %r11,%rsp
1402df7ba:	41 5f                	pop    %r15
1402df7bc:	41 5e                	pop    %r14
1402df7be:	41 5d                	pop    %r13
1402df7c0:	41 5c                	pop    %r12
1402df7c2:	5d                   	pop    %rbp
1402df7c3:	c3                   	ret
1402df7c4:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df7c9:	e8 32 af 4a 00       	call   0x14078a700
1402df7ce:	90                   	nop
1402df7cf:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df7d4:	e8 27 af 4a 00       	call   0x14078a700
1402df7d9:	90                   	nop
1402df7da:	33 c9                	xor    %ecx,%ecx
1402df7dc:	e8 1f af 4a 00       	call   0x14078a700
1402df7e1:	cc                   	int3
1402df7e2:	b9 01 00 00 00       	mov    $0x1,%ecx
1402df7e7:	e8 14 af 4a 00       	call   0x14078a700
1402df7ec:	90                   	nop
1402df7ed:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df7f2:	e8 09 af 4a 00       	call   0x14078a700
1402df7f7:	90                   	nop
1402df7f8:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df7fd:	e8 fe ae 4a 00       	call   0x14078a700
1402df802:	90                   	nop
1402df803:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df808:	e8 f3 ae 4a 00       	call   0x14078a700
1402df80d:	90                   	nop
1402df80e:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df813:	e8 e8 ae 4a 00       	call   0x14078a700
1402df818:	90                   	nop
1402df819:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df81e:	e8 dd ae 4a 00       	call   0x14078a700
1402df823:	90                   	nop
1402df824:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df829:	e8 d2 ae 4a 00       	call   0x14078a700
1402df82e:	90                   	nop
1402df82f:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df834:	e8 c7 ae 4a 00       	call   0x14078a700
1402df839:	90                   	nop
1402df83a:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df83f:	e8 bc ae 4a 00       	call   0x14078a700
1402df844:	90                   	nop
1402df845:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df84a:	e8 b1 ae 4a 00       	call   0x14078a700
1402df84f:	90                   	nop
1402df850:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df855:	e8 a6 ae 4a 00       	call   0x14078a700
1402df85a:	90                   	nop
1402df85b:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df860:	e8 9b ae 4a 00       	call   0x14078a700
1402df865:	90                   	nop
1402df866:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df86b:	e8 90 ae 4a 00       	call   0x14078a700
1402df870:	90                   	nop
1402df871:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df876:	e8 85 ae 4a 00       	call   0x14078a700
1402df87b:	90                   	nop
1402df87c:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df881:	e8 7a ae 4a 00       	call   0x14078a700
1402df886:	90                   	nop
1402df887:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df88c:	e8 6f ae 4a 00       	call   0x14078a700
1402df891:	90                   	nop
1402df892:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df897:	e8 64 ae 4a 00       	call   0x14078a700
1402df89c:	90                   	nop
1402df89d:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df8a2:	e8 59 ae 4a 00       	call   0x14078a700
1402df8a7:	90                   	nop
1402df8a8:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df8ad:	e8 4e ae 4a 00       	call   0x14078a700
1402df8b2:	90                   	nop
1402df8b3:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df8b8:	e8 43 ae 4a 00       	call   0x14078a700
1402df8bd:	90                   	nop
1402df8be:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df8c3:	e8 38 ae 4a 00       	call   0x14078a700
1402df8c8:	90                   	nop
1402df8c9:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df8ce:	e8 2d ae 4a 00       	call   0x14078a700
1402df8d3:	90                   	nop
1402df8d4:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df8d9:	e8 22 ae 4a 00       	call   0x14078a700
1402df8de:	90                   	nop
1402df8df:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df8e4:	e8 17 ae 4a 00       	call   0x14078a700
1402df8e9:	90                   	nop
1402df8ea:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df8ef:	e8 0c ae 4a 00       	call   0x14078a700
1402df8f4:	90                   	nop
1402df8f5:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df8fa:	e8 01 ae 4a 00       	call   0x14078a700
1402df8ff:	90                   	nop
1402df900:	b9 02 00 00 00       	mov    $0x2,%ecx
1402df905:	e8 f6 ad 4a 00       	call   0x14078a700
1402df90a:	cc                   	int3
1402df90b:	cc                   	int3
1402df90c:	cc                   	int3
1402df90d:	cc                   	int3
1402df90e:	cc                   	int3
1402df90f:	cc                   	int3
1402df910:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
1402df915:	48 89 74 24 18       	mov    %rsi,0x18(%rsp)
1402df91a:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
1402df91f:	55                   	push   %rbp
1402df920:	48 8d 6c 24 a9       	lea    -0x57(%rsp),%rbp
1402df925:	48 81 ec d0 00 00 00 	sub    $0xd0,%rsp
1402df92c:	48 8b f1             	mov    %rcx,%rsi
1402df92f:	66 0f 6f 05 b9 ff cf 	movdqa 0xcfffb9(%rip),%xmm0        # 0x140fdf8f0
1402df936:	00
1402df937:	f3 0f 7f 45 1f       	movdqu %xmm0,0x1f(%rbp)
1402df93c:	c7 45 2f ff ff ff ff 	movl   $0xffffffff,0x2f(%rbp)
1402df943:	0f 57 c0             	xorps  %xmm0,%xmm0
1402df946:	f3 0f 7f 45 df       	movdqu %xmm0,-0x21(%rbp)
1402df94b:	33 ff                	xor    %edi,%edi
1402df94d:	48 89 7d ef          	mov    %rdi,-0x11(%rbp)
1402df951:	0f ae e8             	lfence
1402df954:	b9 14 00 00 00       	mov    $0x14,%ecx
1402df959:	e8 d2 73 eb ff       	call   0x140196d30
1402df95e:	48 8b d8             	mov    %rax,%rbx
1402df961:	48 89 45 df          	mov    %rax,-0x21(%rbp)
1402df965:	48 89 45 e7          	mov    %rax,-0x19(%rbp)
1402df969:	48 8d 48 14          	lea    0x14(%rax),%rcx
1402df96d:	48 89 4d ef          	mov    %rcx,-0x11(%rbp)
1402df971:	41 b8 14 00 00 00    	mov    $0x14,%r8d
1402df977:	48 8d 55 1f          	lea    0x1f(%rbp),%rdx
1402df97b:	48 8b c8             	mov    %rax,%rcx
1402df97e:	e8 8d f6 bf 00       	call   0x140edf010
1402df983:	48 8d 43 14          	lea    0x14(%rbx),%rax
1402df987:	48 89 45 e7          	mov    %rax,-0x19(%rbp)
1402df98b:	48 8d 45 cf          	lea    -0x31(%rbp),%rax
1402df98f:	48 89 45 37          	mov    %rax,0x37(%rbp)
1402df993:	48 8b 05 ae c6 13 01 	mov    0x113c6ae(%rip),%rax        # 0x14141c048
1402df99a:	48 8b 88 d0 27 00 00 	mov    0x27d0(%rax),%rcx
1402df9a1:	48 85 c9             	test   %rcx,%rcx
1402df9a4:	74 1c                	je     0x1402df9c2
1402df9a6:	8b 41 10             	mov    0x10(%rcx),%eax
1402df9a9:	ff c0                	inc    %eax
1402df9ab:	89 41 10             	mov    %eax,0x10(%rcx)
1402df9ae:	83 f8 01             	cmp    $0x1,%eax
1402df9b1:	0f 8e 7c 02 00 00    	jle    0x1402dfc33
1402df9b7:	3d ff ff ff 7f       	cmp    $0x7fffffff,%eax
1402df9bc:	0f 84 79 02 00 00    	je     0x1402dfc3b
1402df9c2:	48 89 4d cf          	mov    %rcx,-0x31(%rbp)
1402df9c6:	c6 45 a7 01          	movb   $0x1,-0x59(%rbp)
1402df9ca:	48 8b 15 47 16 14 01 	mov    0x1141647(%rip),%rdx        # 0x141421018
1402df9d1:	48 83 c2 38          	add    $0x38,%rdx
1402df9d5:	4c 8d 45 a7          	lea    -0x59(%rbp),%r8
1402df9d9:	48 8d 4d f7          	lea    -0x9(%rbp),%rcx
1402df9dd:	e8 0e 21 f7 ff       	call   0x140251af0
1402df9e2:	48 8b 08             	mov    (%rax),%rcx
1402df9e5:	48 89 38             	mov    %rdi,(%rax)
1402df9e8:	48 89 4d 07          	mov    %rcx,0x7(%rbp)
1402df9ec:	48 8b 05 95 c5 13 01 	mov    0x113c595(%rip),%rax        # 0x14141bf88
1402df9f3:	48 8b 88 38 05 00 00 	mov    0x538(%rax),%rcx
1402df9fa:	48 85 c9             	test   %rcx,%rcx
1402df9fd:	74 1c                	je     0x1402dfa1b
1402df9ff:	8b 41 10             	mov    0x10(%rcx),%eax
1402dfa02:	ff c0                	inc    %eax
1402dfa04:	89 41 10             	mov    %eax,0x10(%rcx)
1402dfa07:	83 f8 01             	cmp    $0x1,%eax
1402dfa0a:	0f 8e 36 02 00 00    	jle    0x1402dfc46
1402dfa10:	3d ff ff ff 7f       	cmp    $0x7fffffff,%eax
1402dfa15:	0f 84 33 02 00 00    	je     0x1402dfc4e
1402dfa1b:	48 89 4d 0f          	mov    %rcx,0xf(%rbp)
1402dfa1f:	48 8b 05 fa 15 14 01 	mov    0x11415fa(%rip),%rax        # 0x141421020
1402dfa26:	48 8b 48 50          	mov    0x50(%rax),%rcx
1402dfa2a:	48 85 c9             	test   %rcx,%rcx
1402dfa2d:	74 1c                	je     0x1402dfa4b
1402dfa2f:	8b 41 10             	mov    0x10(%rcx),%eax
1402dfa32:	ff c0                	inc    %eax
1402dfa34:	89 41 10             	mov    %eax,0x10(%rcx)
1402dfa37:	83 f8 01             	cmp    $0x1,%eax
1402dfa3a:	0f 8e 19 02 00 00    	jle    0x1402dfc59
1402dfa40:	3d ff ff ff 7f       	cmp    $0x7fffffff,%eax
1402dfa45:	0f 84 16 02 00 00    	je     0x1402dfc61
1402dfa4b:	48 89 4d 17          	mov    %rcx,0x17(%rbp)
1402dfa4f:	48 8d 45 07          	lea    0x7(%rbp),%rax
1402dfa53:	48 89 45 b7          	mov    %rax,-0x49(%rbp)
1402dfa57:	48 8d 45 1f          	lea    0x1f(%rbp),%rax
1402dfa5b:	48 89 45 bf          	mov    %rax,-0x41(%rbp)
1402dfa5f:	0f 28 45 b7          	movaps -0x49(%rbp),%xmm0
1402dfa63:	66 0f 7f 45 b7       	movdqa %xmm0,-0x49(%rbp)
1402dfa68:	4c 8d 45 a7          	lea    -0x59(%rbp),%r8
1402dfa6c:	48 8d 55 b7          	lea    -0x49(%rbp),%rdx
1402dfa70:	48 8d 4d 3f          	lea    0x3f(%rbp),%rcx
1402dfa74:	e8 d7 03 ec ff       	call   0x14019fe50
1402dfa79:	90                   	nop
1402dfa7a:	4c 8d 45 cf          	lea    -0x31(%rbp),%r8
1402dfa7e:	48 8b d0             	mov    %rax,%rdx
1402dfa81:	48 8d 4d c7          	lea    -0x39(%rbp),%rcx
1402dfa85:	e8 86 cf 3c 00       	call   0x1406aca10
1402dfa8a:	90                   	nop
1402dfa8b:	4c 8b 00             	mov    (%rax),%r8
1402dfa8e:	48 8b 05 b3 c5 13 01 	mov    0x113c5b3(%rip),%rax        # 0x14141c048
1402dfa95:	48 8b 88 b0 07 00 00 	mov    0x7b0(%rax),%rcx
1402dfa9c:	48 85 c9             	test   %rcx,%rcx
1402dfa9f:	74 1c                	je     0x1402dfabd
1402dfaa1:	8b 41 10             	mov    0x10(%rcx),%eax
1402dfaa4:	ff c0                	inc    %eax
1402dfaa6:	89 41 10             	mov    %eax,0x10(%rcx)
1402dfaa9:	83 f8 01             	cmp    $0x1,%eax
1402dfaac:	0f 8e ba 01 00 00    	jle    0x1402dfc6c
1402dfab2:	3d ff ff ff 7f       	cmp    $0x7fffffff,%eax
1402dfab7:	0f 84 b7 01 00 00    	je     0x1402dfc74
1402dfabd:	48 89 4d d7          	mov    %rcx,-0x29(%rbp)
1402dfac1:	4c 8d 4d df          	lea    -0x21(%rbp),%r9
1402dfac5:	48 8d 55 d7          	lea    -0x29(%rbp),%rdx
1402dfac9:	48 8d 4d ff          	lea    -0x1(%rbp),%rcx
1402dfacd:	e8 6e 65 52 00       	call   0x140806040
1402dfad2:	90                   	nop
1402dfad3:	48 8b 0d a6 c3 13 01 	mov    0x113c3a6(%rip),%rcx        # 0x14141be80
1402dfada:	4c 8b c6             	mov    %rsi,%r8
1402dfadd:	48 8b d0             	mov    %rax,%rdx
1402dfae0:	8b 49 4c             	mov    0x4c(%rcx),%ecx
1402dfae3:	e8 98 9c fc ff       	call   0x1402a9780
1402dfae8:	90                   	nop
1402dfae9:	48 8b 4d ff          	mov    -0x1(%rbp),%rcx
1402dfaed:	48 85 c9             	test   %rcx,%rcx
1402dfaf0:	74 24                	je     0x1402dfb16
1402dfaf2:	8b 41 10             	mov    0x10(%rcx),%eax
1402dfaf5:	ff c8                	dec    %eax
1402dfaf7:	89 41 10             	mov    %eax,0x10(%rcx)
1402dfafa:	85 c0                	test   %eax,%eax
1402dfafc:	7f 18                	jg     0x1402dfb16
1402dfafe:	0f 88 7b 01 00 00    	js     0x1402dfc7f