140ead567:	4c 2b c1             	sub    %rcx,%r8
140ead56a:	49 83 c0 f8          	add    $0xfffffffffffffff8,%r8
140ead56e:	49 83 f8 1f          	cmp    $0x1f,%r8
140ead572:	77 07                	ja     0x140ead57b
140ead574:	e8 cb db f6 ff       	call   0x140e1b144
140ead579:	eb 90                	jmp    0x140ead50b
140ead57b:	e8 24 cc f7 ff       	call   0x140e2a1a4
140ead580:	90                   	nop
140ead581:	e8 1e cc f7 ff       	call   0x140e2a1a4
140ead586:	90                   	nop
140ead587:	cc                   	int3
140ead588:	cc                   	int3
140ead589:	cc                   	int3
140ead58a:	cc                   	int3
140ead58b:	cc                   	int3
140ead58c:	cc                   	int3
140ead58d:	cc                   	int3
140ead58e:	cc                   	int3
140ead58f:	cc                   	int3
140ead590:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
140ead595:	4c 89 44 24 18       	mov    %r8,0x18(%rsp)
140ead59a:	48 89 4c 24 08       	mov    %rcx,0x8(%rsp)
140ead59f:	55                   	push   %rbp
140ead5a0:	56                   	push   %rsi
140ead5a1:	57                   	push   %rdi
140ead5a2:	41 54                	push   %r12
140ead5a4:	41 55                	push   %r13
140ead5a6:	41 56                	push   %r14
140ead5a8:	41 57                	push   %r15
140ead5aa:	48 8b ec             	mov    %rsp,%rbp
140ead5ad:	48 83 ec 70          	sub    $0x70,%rsp
140ead5b1:	49 8b f0             	mov    %r8,%rsi
140ead5b4:	48 8b fa             	mov    %rdx,%rdi
140ead5b7:	4c 8b f1             	mov    %rcx,%r14
140ead5ba:	c7 45 b0 00 00 00 00 	movl   $0x0,-0x50(%rbp)
140ead5c1:	48 8b ca             	mov    %rdx,%rcx
140ead5c4:	e8 07 fc ff ff       	call   0x140ead1d0
140ead5c9:	48 85 c0             	test   %rax,%rax
140ead5cc:	74 39                	je     0x140ead607
140ead5ce:	48 8b 08             	mov    (%rax),%rcx
140ead5d1:	e8 5a 41 4e ff       	call   0x140391730
140ead5d6:	48 8b d6             	mov    %rsi,%rdx
140ead5d9:	48 83 7e 18 0f       	cmpq   $0xf,0x18(%rsi)
140ead5de:	76 03                	jbe    0x140ead5e3
140ead5e0:	48 8b 16             	mov    (%rsi),%rdx
140ead5e3:	4c 8b 40 10          	mov    0x10(%rax),%r8
140ead5e7:	48 83 78 18 0f       	cmpq   $0xf,0x18(%rax)
140ead5ec:	76 03                	jbe    0x140ead5f1
140ead5ee:	48 8b 00             	mov    (%rax),%rax
140ead5f1:	4c 3b 46 10          	cmp    0x10(%rsi),%r8
140ead5f5:	75 10                	jne    0x140ead607
140ead5f7:	48 8b c8             	mov    %rax,%rcx
140ead5fa:	e8 51 24 03 00       	call   0x140edfa50
140ead5ff:	85 c0                	test   %eax,%eax
140ead601:	0f 84 1a 01 00 00    	je     0x140ead721
140ead607:	48 8b 4f 08          	mov    0x8(%rdi),%rcx
140ead60b:	e8 84 06 f7 ff       	call   0x140e1dc94
140ead610:	48 8d 50 08          	lea    0x8(%rax),%rdx
140ead614:	48 8d 0d ed 90 52 00 	lea    0x5290ed(%rip),%rcx        # 0x1413d6708
140ead61b:	e8 38 07 f7 ff       	call   0x140e1dd58
140ead620:	48 8b 4f 08          	mov    0x8(%rdi),%rcx
140ead624:	85 c0                	test   %eax,%eax
140ead626:	0f 85 05 01 00 00    	jne    0x140ead731
140ead62c:	48 8d 59 10          	lea    0x10(%rcx),%rbx
140ead630:	48 85 c9             	test   %rcx,%rcx
140ead633:	74 1d                	je     0x140ead652
140ead635:	48 ff 41 08          	incq   0x8(%rcx)
140ead639:	48 83 69 08 01       	subq   $0x1,0x8(%rcx)
140ead63e:	75 12                	jne    0x140ead652
140ead640:	48 8b 01             	mov    (%rcx),%rax
140ead643:	ba 01 00 00 00       	mov    $0x1,%edx
140ead648:	48 8b 40 28          	mov    0x28(%rax),%rax
140ead64c:	ff 15 ce 63 0d 00    	call   *0xd63ce(%rip)        # 0x140f83a20
140ead652:	48 85 db             	test   %rbx,%rbx
140ead655:	74 39                	je     0x140ead690
140ead657:	48 8b 0b             	mov    (%rbx),%rcx
140ead65a:	e8 d1 40 4e ff       	call   0x140391730
140ead65f:	48 8b d6             	mov    %rsi,%rdx
140ead662:	48 83 7e 18 0f       	cmpq   $0xf,0x18(%rsi)
140ead667:	76 03                	jbe    0x140ead66c
140ead669:	48 8b 16             	mov    (%rsi),%rdx
140ead66c:	4c 8b 40 10          	mov    0x10(%rax),%r8
140ead670:	48 83 78 18 0f       	cmpq   $0xf,0x18(%rax)
140ead675:	76 03                	jbe    0x140ead67a
140ead677:	48 8b 00             	mov    (%rax),%rax
140ead67a:	4c 3b 46 10          	cmp    0x10(%rsi),%r8
140ead67e:	75 10                	jne    0x140ead690
140ead680:	48 8b c8             	mov    %rax,%rcx
140ead683:	e8 c8 23 03 00       	call   0x140edfa50
140ead688:	85 c0                	test   %eax,%eax
140ead68a:	0f 84 91 00 00 00    	je     0x140ead721
140ead690:	48 8b 4f 08          	mov    0x8(%rdi),%rcx
140ead694:	e8 fb 05 f7 ff       	call   0x140e1dc94
140ead699:	48 8d 50 08          	lea    0x8(%rax),%rdx
140ead69d:	48 8d 0d c4 90 52 00 	lea    0x5290c4(%rip),%rcx        # 0x1413d6768
140ead6a4:	e8 af 06 f7 ff       	call   0x140e1dd58
140ead6a9:	48 8b 4f 08          	mov    0x8(%rdi),%rcx
140ead6ad:	85 c0                	test   %eax,%eax
140ead6af:	0f 85 bd 00 00 00    	jne    0x140ead772
140ead6b5:	48 8d 59 10          	lea    0x10(%rcx),%rbx
140ead6b9:	48 85 c9             	test   %rcx,%rcx
140ead6bc:	74 1d                	je     0x140ead6db
140ead6be:	48 ff 41 08          	incq   0x8(%rcx)
140ead6c2:	48 83 69 08 01       	subq   $0x1,0x8(%rcx)
140ead6c7:	75 12                	jne    0x140ead6db
140ead6c9:	48 8b 01             	mov    (%rcx),%rax
140ead6cc:	ba 01 00 00 00       	mov    $0x1,%edx
140ead6d1:	48 8b 40 28          	mov    0x28(%rax),%rax
140ead6d5:	ff 15 45 63 0d 00    	call   *0xd6345(%rip)        # 0x140f83a20
140ead6db:	48 85 db             	test   %rbx,%rbx
140ead6de:	0f 84 c9 00 00 00    	je     0x140ead7ad
140ead6e4:	48 8b 0b             	mov    (%rbx),%rcx
140ead6e7:	e8 44 40 4e ff       	call   0x140391730
140ead6ec:	48 8b d6             	mov    %rsi,%rdx
140ead6ef:	48 83 7e 18 0f       	cmpq   $0xf,0x18(%rsi)
140ead6f4:	76 03                	jbe    0x140ead6f9
140ead6f6:	48 8b 16             	mov    (%rsi),%rdx
140ead6f9:	4c 8b 40 10          	mov    0x10(%rax),%r8
140ead6fd:	48 83 78 18 0f       	cmpq   $0xf,0x18(%rax)
140ead702:	76 03                	jbe    0x140ead707
140ead704:	48 8b 00             	mov    (%rax),%rax
140ead707:	4c 3b 46 10          	cmp    0x10(%rsi),%r8
140ead70b:	0f 85 9c 00 00 00    	jne    0x140ead7ad
140ead711:	48 8b c8             	mov    %rax,%rcx
140ead714:	e8 37 23 03 00       	call   0x140edfa50
140ead719:	85 c0                	test   %eax,%eax
140ead71b:	0f 85 8c 00 00 00    	jne    0x140ead7ad
140ead721:	48 8b d7             	mov    %rdi,%rdx
140ead724:	49 8b ce             	mov    %r14,%rcx
140ead727:	e8 d4 23 c1 ff       	call   0x140abfb00
140ead72c:	e9 c4 02 00 00       	jmp    0x140ead9f5
140ead731:	48 85 c9             	test   %rcx,%rcx
140ead734:	0f 84 56 ff ff ff    	je     0x140ead690
140ead73a:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
140ead740:	48 8b 01             	mov    (%rcx),%rax
140ead743:	4c 8d 05 be 6f 52 00 	lea    0x526fbe(%rip),%r8        # 0x1413d4708
140ead74a:	48 8d 55 b8          	lea    -0x48(%rbp),%rdx
140ead74e:	48 8b 40 20          	mov    0x20(%rax),%rax
140ead752:	ff 15 c8 62 0d 00    	call   *0xd62c8(%rip)        # 0x140f83a20
140ead758:	48 8b 08             	mov    (%rax),%rcx
140ead75b:	48 8b 58 08          	mov    0x8(%rax),%rbx
140ead75f:	48 85 db             	test   %rbx,%rbx
140ead762:	0f 85 ef fe ff ff    	jne    0x140ead657
140ead768:	48 85 c9             	test   %rcx,%rcx
140ead76b:	75 d3                	jne    0x140ead740
140ead76d:	e9 1e ff ff ff       	jmp    0x140ead690
140ead772:	48 85 c9             	test   %rcx,%rcx
140ead775:	74 36                	je     0x140ead7ad
140ead777:	66 0f 1f 84 00 00 00 	nopw   0x0(%rax,%rax,1)
140ead77e:	00 00
140ead780:	48 8b 01             	mov    (%rcx),%rax
140ead783:	4c 8d 05 4e 6f 52 00 	lea    0x526f4e(%rip),%r8        # 0x1413d46d8
140ead78a:	48 8d 55 b8          	lea    -0x48(%rbp),%rdx
140ead78e:	48 8b 40 20          	mov    0x20(%rax),%rax
140ead792:	ff 15 88 62 0d 00    	call   *0xd6288(%rip)        # 0x140f83a20
140ead798:	48 8b 08             	mov    (%rax),%rcx
140ead79b:	48 8b 58 08          	mov    0x8(%rax),%rbx
140ead79f:	48 85 db             	test   %rbx,%rbx
140ead7a2:	0f 85 3c ff ff ff    	jne    0x140ead6e4
140ead7a8:	48 85 c9             	test   %rcx,%rcx
140ead7ab:	75 d3                	jne    0x140ead780
140ead7ad:	48 8b 4f 08          	mov    0x8(%rdi),%rcx
140ead7b1:	e8 de 04 f7 ff       	call   0x140e1dc94
140ead7b6:	48 8d 50 08          	lea    0x8(%rax),%rdx
140ead7ba:	48 8d 0d f7 8f 52 00 	lea    0x528ff7(%rip),%rcx        # 0x1413d67b8
140ead7c1:	e8 92 05 f7 ff       	call   0x140e1dd58
140ead7c6:	48 8b 4f 08          	mov    0x8(%rdi),%rcx
140ead7ca:	85 c0                	test   %eax,%eax
140ead7cc:	75 28                	jne    0x140ead7f6
140ead7ce:	48 8d 59 10          	lea    0x10(%rcx),%rbx
140ead7d2:	48 85 c9             	test   %rcx,%rcx
140ead7d5:	74 54                	je     0x140ead82b
140ead7d7:	48 ff 41 08          	incq   0x8(%rcx)
140ead7db:	48 83 69 08 01       	subq   $0x1,0x8(%rcx)
140ead7e0:	75 49                	jne    0x140ead82b
140ead7e2:	48 8b 01             	mov    (%rcx),%rax
140ead7e5:	ba 01 00 00 00       	mov    $0x1,%edx
140ead7ea:	48 8b 40 28          	mov    0x28(%rax),%rax
140ead7ee:	ff 15 2c 62 0d 00    	call   *0xd622c(%rip)        # 0x140f83a20
140ead7f4:	eb 35                	jmp    0x140ead82b
140ead7f6:	48 85 c9             	test   %rcx,%rcx
140ead7f9:	74 2e                	je     0x140ead829
140ead7fb:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)
140ead800:	48 8b 01             	mov    (%rcx),%rax
140ead803:	4c 8d 05 96 6e 52 00 	lea    0x526e96(%rip),%r8        # 0x1413d46a0
140ead80a:	48 8d 55 b8          	lea    -0x48(%rbp),%rdx
140ead80e:	48 8b 40 20          	mov    0x20(%rax),%rax
140ead812:	ff 15 08 62 0d 00    	call   *0xd6208(%rip)        # 0x140f83a20
140ead818:	48 8b 08             	mov    (%rax),%rcx
140ead81b:	48 8b 58 08          	mov    0x8(%rax),%rbx
140ead81f:	48 85 db             	test   %rbx,%rbx
140ead822:	75 10                	jne    0x140ead834
140ead824:	48 85 c9             	test   %rcx,%rcx
140ead827:	75 d7                	jne    0x140ead800
140ead829:	33 db                	xor    %ebx,%ebx
140ead82b:	48 85 db             	test   %rbx,%rbx
140ead82e:	0f 84 bc 01 00 00    	je     0x140ead9f0
140ead834:	48 8d 55 e0          	lea    -0x20(%rbp),%rdx
140ead838:	48 8b cb             	mov    %rbx,%rcx
140ead83b:	e8 c0 e9 ff ff       	call   0x140eac200
140ead840:	41 bd 08 00 00 00    	mov    $0x8,%r13d
140ead846:	4c 8b 65 e0          	mov    -0x20(%rbp),%r12
140ead84a:	48 8b 7d e8          	mov    -0x18(%rbp),%rdi
140ead84e:	4c 3b e7             	cmp    %rdi,%r12
140ead851:	0f 84 5b 01 00 00    	je     0x140ead9b2
140ead857:	66 0f 1f 84 00 00 00 	nopw   0x0(%rax,%rax,1)
140ead85e:	00 00
140ead860:	4d 8b 34 24          	mov    (%r12),%r14
140ead864:	0f 57 c0             	xorps  %xmm0,%xmm0
140ead867:	f3 0f 7f 45 c8       	movdqu %xmm0,-0x38(%rbp)
140ead86c:	45 33 ff             	xor    %r15d,%r15d
140ead86f:	4c 89 7d d8          	mov    %r15,-0x28(%rbp)
140ead873:	41 83 cd 04          	or     $0x4,%r13d
140ead877:	44 89 6d b0          	mov    %r13d,-0x50(%rbp)
140ead87b:	49 8b 1e             	mov    (%r14),%rbx
140ead87e:	48 8b 75 d0          	mov    -0x30(%rbp),%rsi
140ead882:	49 3b 5e 08          	cmp    0x8(%r14),%rbx
140ead886:	74 48                	je     0x140ead8d0
140ead888:	48 8b cb             	mov    %rbx,%rcx
140ead88b:	e8 10 43 dd ff       	call   0x140c81ba0
140ead890:	48 85 c0             	test   %rax,%rax
140ead893:	74 31                	je     0x140ead8c6
140ead895:	49 3b f7             	cmp    %r15,%rsi
140ead898:	74 15                	je     0x140ead8af
140ead89a:	48 8b d3             	mov    %rbx,%rdx
140ead89d:	48 8b ce             	mov    %rsi,%rcx
140ead8a0:	e8 5b 22 c1 ff       	call   0x140abfb00
140ead8a5:	48 83 c6 08          	add    $0x8,%rsi
140ead8a9:	48 89 75 d0          	mov    %rsi,-0x30(%rbp)
140ead8ad:	eb 17                	jmp    0x140ead8c6
140ead8af:	4c 8b c3             	mov    %rbx,%r8
140ead8b2:	48 8b d6             	mov    %rsi,%rdx
140ead8b5:	48 8d 4d c8          	lea    -0x38(%rbp),%rcx
140ead8b9:	e8 32 3d c9 ff       	call   0x140b415f0
140ead8be:	4c 8b 7d d8          	mov    -0x28(%rbp),%r15
140ead8c2:	48 8b 75 d0          	mov    -0x30(%rbp),%rsi
140ead8c6:	48 83 c3 28          	add    $0x28,%rbx
140ead8ca:	49 3b 5e 08          	cmp    0x8(%r14),%rbx
140ead8ce:	75 b8                	jne    0x140ead888
140ead8d0:	41 83 e5 fb          	and    $0xfffffffb,%r13d
140ead8d4:	41 83 cd 02          	or     $0x2,%r13d
140ead8d8:	4c 8b 75 c8          	mov    -0x38(%rbp),%r14
140ead8dc:	49 8b de             	mov    %r14,%rbx
140ead8df:	4c 3b f6             	cmp    %rsi,%r14
140ead8e2:	74 4a                	je     0x140ead92e
140ead8e4:	48 8b cb             	mov    %rbx,%rcx
140ead8e7:	e8 a4 22 c1 ff       	call   0x140abfb90
140ead8ec:	4c 8b 45 50          	mov    0x50(%rbp),%r8
140ead8f0:	48 8b d0             	mov    %rax,%rdx
140ead8f3:	48 8d 4d 58          	lea    0x58(%rbp),%rcx
140ead8f7:	e8 94 fc ff ff       	call   0x140ead590
140ead8fc:	48 8b 4d 58          	mov    0x58(%rbp),%rcx
140ead900:	48 85 c9             	test   %rcx,%rcx
140ead903:	74 20                	je     0x140ead925
140ead905:	48 83 79 08 00       	cmpq   $0x0,0x8(%rcx)
140ead90a:	0f 85 00 01 00 00    	jne    0x140eada10
140ead910:	48 85 c9             	test   %rcx,%rcx
140ead913:	74 10                	je     0x140ead925
140ead915:	48 83 29 01          	subq   $0x1,(%rcx)
140ead919:	75 0a                	jne    0x140ead925
140ead91b:	ba 18 00 00 00       	mov    $0x18,%edx
140ead920:	e8 1f d8 f6 ff       	call   0x140e1b144
140ead925:	48 83 c3 08          	add    $0x8,%rbx
140ead929:	48 3b de             	cmp    %rsi,%rbx
140ead92c:	75 b6                	jne    0x140ead8e4
140ead92e:	4d 85 f6             	test   %r14,%r14
140ead931:	74 6a                	je     0x140ead99d
140ead933:	49 8b de             	mov    %r14,%rbx
140ead936:	4c 3b f6             	cmp    %rsi,%r14
140ead939:	74 26                	je     0x140ead961
140ead93b:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)
140ead940:	48 8b 0b             	mov    (%rbx),%rcx
140ead943:	48 85 c9             	test   %rcx,%rcx
140ead946:	74 10                	je     0x140ead958
140ead948:	48 83 29 01          	subq   $0x1,(%rcx)
140ead94c:	75 0a                	jne    0x140ead958
140ead94e:	ba 18 00 00 00       	mov    $0x18,%edx
140ead953:	e8 ec d7 f6 ff       	call   0x140e1b144
140ead958:	48 83 c3 08          	add    $0x8,%rbx
140ead95c:	48 3b de             	cmp    %rsi,%rbx
140ead95f:	75 df                	jne    0x140ead940
140ead961:	4d 2b fe             	sub    %r14,%r15
140ead964:	49 c1 ff 03          	sar    $0x3,%r15
140ead968:	4a 8d 14 fd 00 00 00 	lea    0x0(,%r15,8),%rdx
140ead96f:	00
140ead970:	49 8b c6             	mov    %r14,%rax
140ead973:	48 81 fa 00 10 00 00 	cmp    $0x1000,%rdx
140ead97a:	72 19                	jb     0x140ead995
140ead97c:	48 83 c2 27          	add    $0x27,%rdx
140ead980:	4d 8b 76 f8          	mov    -0x8(%r14),%r14
140ead984:	49 2b c6             	sub    %r14,%rax
140ead987:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
140ead98b:	48 83 f8 1f          	cmp    $0x1f,%rax
140ead98f:	0f 87 2e 01 00 00    	ja     0x140eadac3
140ead995:	49 8b ce             	mov    %r14,%rcx
140ead998:	e8 a7 d7 f6 ff       	call   0x140e1b144
140ead99d:	49 83 c4 08          	add    $0x8,%r12
140ead9a1:	4c 3b e7             	cmp    %rdi,%r12
140ead9a4:	0f 85 b6 fe ff ff    	jne    0x140ead860
140ead9aa:	4c 8b 65 e0          	mov    -0x20(%rbp),%r12
140ead9ae:	4c 8b 75 40          	mov    0x40(%rbp),%r14
140ead9b2:	4d 85 e4             	test   %r12,%r12
140ead9b5:	74 39                	je     0x140ead9f0
140ead9b7:	48 8b 55 f0          	mov    -0x10(%rbp),%rdx
140ead9bb:	49 2b d4             	sub    %r12,%rdx
140ead9be:	48 83 e2 f8          	and    $0xfffffffffffffff8,%rdx
140ead9c2:	49 8b c4             	mov    %r12,%rax
140ead9c5:	48 81 fa 00 10 00 00 	cmp    $0x1000,%rdx
140ead9cc:	72 1a                	jb     0x140ead9e8
140ead9ce:	48 83 c2 27          	add    $0x27,%rdx
140ead9d2:	4d 8b 64 24 f8       	mov    -0x8(%r12),%r12
140ead9d7:	49 2b c4             	sub    %r12,%rax
140ead9da:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
140ead9de:	48 83 f8 1f          	cmp    $0x1f,%rax
140ead9e2:	0f 87 e1 00 00 00    	ja     0x140eadac9
140ead9e8:	49 8b cc             	mov    %r12,%rcx
140ead9eb:	e8 54 d7 f6 ff       	call   0x140e1b144
140ead9f0:	33 c0                	xor    %eax,%eax
140ead9f2:	49 89 06             	mov    %rax,(%r14)
140ead9f5:	49 8b c6             	mov    %r14,%rax
140ead9f8:	48 8b 9c 24 b8 00 00 	mov    0xb8(%rsp),%rbx
140ead9ff:	00
140eada00:	48 83 c4 70          	add    $0x70,%rsp
140eada04:	41 5f                	pop    %r15
140eada06:	41 5e                	pop    %r14
140eada08:	41 5d                	pop    %r13
140eada0a:	41 5c                	pop    %r12
140eada0c:	5f                   	pop    %rdi
140eada0d:	5e                   	pop    %rsi
140eada0e:	5d                   	pop    %rbp
140eada0f:	c3                   	ret
140eada10:	48 c7 45 58 00 00 00 	movq   $0x0,0x58(%rbp)
140eada17:	00
140eada18:	48 8b 7d 40          	mov    0x40(%rbp),%rdi
140eada1c:	48 89 0f             	mov    %rcx,(%rdi)
140eada1f:	4d 85 f6             	test   %r14,%r14
140eada22:	74 5d                	je     0x140eada81
140eada24:	49 8b de             	mov    %r14,%rbx
140eada27:	48 8b 0b             	mov    (%rbx),%rcx
140eada2a:	48 85 c9             	test   %rcx,%rcx
140eada2d:	74 10                	je     0x140eada3f
140eada2f:	48 83 29 01          	subq   $0x1,(%rcx)
140eada33:	75 0a                	jne    0x140eada3f
140eada35:	ba 18 00 00 00       	mov    $0x18,%edx
140eada3a:	e8 05 d7 f6 ff       	call   0x140e1b144
140eada3f:	48 83 c3 08          	add    $0x8,%rbx
140eada43:	48 3b de             	cmp    %rsi,%rbx
140eada46:	75 df                	jne    0x140eada27
140eada48:	4d 2b fe             	sub    %r14,%r15
140eada4b:	49 c1 ff 03          	sar    $0x3,%r15