randy:     file format elf64-x86-64


Disassembly of section .init:

00000000004005f0 <_init>:
  4005f0:	48 83 ec 08          	sub    rsp,0x8
  4005f4:	e8 f3 00 00 00       	call   4006ec <call_gmon_start>
  4005f9:	48 83 c4 08          	add    rsp,0x8
  4005fd:	c3                   	ret    

Disassembly of section .plt:

0000000000400600 <srandom@plt-0x10>:
  400600:	ff 35 f2 0b 20 00    	push   QWORD PTR [rip+0x200bf2]        # 6011f8 <_GLOBAL_OFFSET_TABLE_+0x8>
  400606:	ff 25 f4 0b 20 00    	jmp    QWORD PTR [rip+0x200bf4]        # 601200 <_GLOBAL_OFFSET_TABLE_+0x10>
  40060c:	0f 1f 40 00          	nop    DWORD PTR [rax+0x0]

0000000000400610 <srandom@plt>:
  400610:	ff 25 f2 0b 20 00    	jmp    QWORD PTR [rip+0x200bf2]        # 601208 <_GLOBAL_OFFSET_TABLE_+0x18>
  400616:	68 00 00 00 00       	push   0x0
  40061b:	e9 e0 ff ff ff       	jmp    400600 <_init+0x10>

0000000000400620 <strlen@plt>:
  400620:	ff 25 ea 0b 20 00    	jmp    QWORD PTR [rip+0x200bea]        # 601210 <_GLOBAL_OFFSET_TABLE_+0x20>
  400626:	68 01 00 00 00       	push   0x1
  40062b:	e9 d0 ff ff ff       	jmp    400600 <_init+0x10>

0000000000400630 <__stack_chk_fail@plt>:
  400630:	ff 25 e2 0b 20 00    	jmp    QWORD PTR [rip+0x200be2]        # 601218 <_GLOBAL_OFFSET_TABLE_+0x28>
  400636:	68 02 00 00 00       	push   0x2
  40063b:	e9 c0 ff ff ff       	jmp    400600 <_init+0x10>

0000000000400640 <strchr@plt>:
  400640:	ff 25 da 0b 20 00    	jmp    QWORD PTR [rip+0x200bda]        # 601220 <_GLOBAL_OFFSET_TABLE_+0x30>
  400646:	68 03 00 00 00       	push   0x3
  40064b:	e9 b0 ff ff ff       	jmp    400600 <_init+0x10>

0000000000400650 <printf@plt>:
  400650:	ff 25 d2 0b 20 00    	jmp    QWORD PTR [rip+0x200bd2]        # 601228 <_GLOBAL_OFFSET_TABLE_+0x38>
  400656:	68 04 00 00 00       	push   0x4
  40065b:	e9 a0 ff ff ff       	jmp    400600 <_init+0x10>

0000000000400660 <memset@plt>:
  400660:	ff 25 ca 0b 20 00    	jmp    QWORD PTR [rip+0x200bca]        # 601230 <_GLOBAL_OFFSET_TABLE_+0x40>
  400666:	68 05 00 00 00       	push   0x5
  40066b:	e9 90 ff ff ff       	jmp    400600 <_init+0x10>

0000000000400670 <read@plt>:
  400670:	ff 25 c2 0b 20 00    	jmp    QWORD PTR [rip+0x200bc2]        # 601238 <_GLOBAL_OFFSET_TABLE_+0x48>
  400676:	68 06 00 00 00       	push   0x6
  40067b:	e9 80 ff ff ff       	jmp    400600 <_init+0x10>

0000000000400680 <__libc_start_main@plt>:
  400680:	ff 25 ba 0b 20 00    	jmp    QWORD PTR [rip+0x200bba]        # 601240 <_GLOBAL_OFFSET_TABLE_+0x50>
  400686:	68 07 00 00 00       	push   0x7
  40068b:	e9 70 ff ff ff       	jmp    400600 <_init+0x10>

0000000000400690 <random@plt>:
  400690:	ff 25 b2 0b 20 00    	jmp    QWORD PTR [rip+0x200bb2]        # 601248 <_GLOBAL_OFFSET_TABLE_+0x58>
  400696:	68 08 00 00 00       	push   0x8
  40069b:	e9 60 ff ff ff       	jmp    400600 <_init+0x10>

00000000004006a0 <fflush@plt>:
  4006a0:	ff 25 aa 0b 20 00    	jmp    QWORD PTR [rip+0x200baa]        # 601250 <_GLOBAL_OFFSET_TABLE_+0x60>
  4006a6:	68 09 00 00 00       	push   0x9
  4006ab:	e9 50 ff ff ff       	jmp    400600 <_init+0x10>

00000000004006b0 <exit@plt>:
  4006b0:	ff 25 a2 0b 20 00    	jmp    QWORD PTR [rip+0x200ba2]        # 601258 <_GLOBAL_OFFSET_TABLE_+0x68>
  4006b6:	68 0a 00 00 00       	push   0xa
  4006bb:	e9 40 ff ff ff       	jmp    400600 <_init+0x10>

Disassembly of section .text:

00000000004006c0 <_start>:
  4006c0:	31 ed                	xor    ebp,ebp
  4006c2:	49 89 d1             	mov    r9,rdx
  4006c5:	5e                   	pop    rsi
  4006c6:	48 89 e2             	mov    rdx,rsp
  4006c9:	48 83 e4 f0          	and    rsp,0xfffffffffffffff0
  4006cd:	50                   	push   rax
  4006ce:	54                   	push   rsp
  4006cf:	49 c7 c0 00 0d 40 00 	mov    r8,0x400d00
  4006d6:	48 c7 c1 70 0c 40 00 	mov    rcx,0x400c70
  4006dd:	48 c7 c7 84 08 40 00 	mov    rdi,0x400884
  4006e4:	e8 97 ff ff ff       	call   400680 <__libc_start_main@plt>
  4006e9:	f4                   	hlt    
  4006ea:	66 90                	xchg   ax,ax

00000000004006ec <call_gmon_start>:
  4006ec:	48 83 ec 08          	sub    rsp,0x8
  4006f0:	48 8b 05 f1 0a 20 00 	mov    rax,QWORD PTR [rip+0x200af1]        # 6011e8 <_DYNAMIC+0x1d0>
  4006f7:	48 85 c0             	test   rax,rax
  4006fa:	74 02                	je     4006fe <call_gmon_start+0x12>
  4006fc:	ff d0                	call   rax
  4006fe:	48 83 c4 08          	add    rsp,0x8
  400702:	c3                   	ret    
  400703:	66 2e 0f 1f 84 00 00 	nop    WORD PTR cs:[rax+rax*1+0x0]
  40070a:	00 00 00 
  40070d:	0f 1f 00             	nop    DWORD PTR [rax]

0000000000400710 <deregister_tm_clones>:
  400710:	b8 d7 12 60 00       	mov    eax,0x6012d7
  400715:	55                   	push   rbp
  400716:	48 2d d0 12 60 00    	sub    rax,0x6012d0
  40071c:	48 83 f8 0e          	cmp    rax,0xe
  400720:	48 89 e5             	mov    rbp,rsp
  400723:	77 02                	ja     400727 <deregister_tm_clones+0x17>
  400725:	5d                   	pop    rbp
  400726:	c3                   	ret    
  400727:	b8 00 00 00 00       	mov    eax,0x0
  40072c:	48 85 c0             	test   rax,rax
  40072f:	74 f4                	je     400725 <deregister_tm_clones+0x15>
  400731:	5d                   	pop    rbp
  400732:	bf d0 12 60 00       	mov    edi,0x6012d0
  400737:	ff e0                	jmp    rax
  400739:	0f 1f 80 00 00 00 00 	nop    DWORD PTR [rax+0x0]

0000000000400740 <register_tm_clones>:
  400740:	b8 d0 12 60 00       	mov    eax,0x6012d0
  400745:	55                   	push   rbp
  400746:	48 2d d0 12 60 00    	sub    rax,0x6012d0
  40074c:	48 c1 f8 03          	sar    rax,0x3
  400750:	48 89 e5             	mov    rbp,rsp
  400753:	48 89 c2             	mov    rdx,rax
  400756:	48 c1 ea 3f          	shr    rdx,0x3f
  40075a:	48 01 d0             	add    rax,rdx
  40075d:	48 89 c6             	mov    rsi,rax
  400760:	48 d1 fe             	sar    rsi,1
  400763:	75 02                	jne    400767 <register_tm_clones+0x27>
  400765:	5d                   	pop    rbp
  400766:	c3                   	ret    
  400767:	ba 00 00 00 00       	mov    edx,0x0
  40076c:	48 85 d2             	test   rdx,rdx
  40076f:	74 f4                	je     400765 <register_tm_clones+0x25>
  400771:	5d                   	pop    rbp
  400772:	bf d0 12 60 00       	mov    edi,0x6012d0
  400777:	ff e2                	jmp    rdx
  400779:	0f 1f 80 00 00 00 00 	nop    DWORD PTR [rax+0x0]

0000000000400780 <__do_global_dtors_aux>:
  400780:	80 3d 51 0b 20 00 00 	cmp    BYTE PTR [rip+0x200b51],0x0        # 6012d8 <completed.6108>
  400787:	75 11                	jne    40079a <__do_global_dtors_aux+0x1a>
  400789:	55                   	push   rbp
  40078a:	48 89 e5             	mov    rbp,rsp
  40078d:	e8 7e ff ff ff       	call   400710 <deregister_tm_clones>
  400792:	5d                   	pop    rbp
  400793:	c6 05 3e 0b 20 00 01 	mov    BYTE PTR [rip+0x200b3e],0x1        # 6012d8 <completed.6108>
  40079a:	f3 c3                	repz ret 
  40079c:	0f 1f 40 00          	nop    DWORD PTR [rax+0x0]

00000000004007a0 <frame_dummy>:
  4007a0:	48 83 3d 68 08 20 00 	cmp    QWORD PTR [rip+0x200868],0x0        # 601010 <__JCR_END__>
  4007a7:	00 
  4007a8:	74 1b                	je     4007c5 <frame_dummy+0x25>
  4007aa:	b8 00 00 00 00       	mov    eax,0x0
  4007af:	48 85 c0             	test   rax,rax
  4007b2:	74 11                	je     4007c5 <frame_dummy+0x25>
  4007b4:	55                   	push   rbp
  4007b5:	bf 10 10 60 00       	mov    edi,0x601010
  4007ba:	48 89 e5             	mov    rbp,rsp
  4007bd:	ff d0                	call   rax
  4007bf:	5d                   	pop    rbp
  4007c0:	e9 7b ff ff ff       	jmp    400740 <register_tm_clones>
  4007c5:	e9 76 ff ff ff       	jmp    400740 <register_tm_clones>
  4007ca:	66 90                	xchg   ax,ax

00000000004007cc <pass_str_arg>:
  4007cc:	55                   	push   rbp
  4007cd:	48 89 e5             	mov    rbp,rsp
  4007d0:	48 89 7d e8          	mov    QWORD PTR [rbp-0x18],rdi
  4007d4:	89 75 e4             	mov    DWORD PTR [rbp-0x1c],esi
  4007d7:	89 55 e0             	mov    DWORD PTR [rbp-0x20],edx
  4007da:	48 8b 45 e8          	mov    rax,QWORD PTR [rbp-0x18]
  4007de:	48 89 45 f8          	mov    QWORD PTR [rbp-0x8],rax
  4007e2:	8b 45 e0             	mov    eax,DWORD PTR [rbp-0x20]
  4007e5:	8b 55 e4             	mov    edx,DWORD PTR [rbp-0x1c]
  4007e8:	31 d0                	xor    eax,edx
  4007ea:	89 45 f4             	mov    DWORD PTR [rbp-0xc],eax
  4007ed:	c1 7d f4 08          	sar    DWORD PTR [rbp-0xc],0x8
  4007f1:	c1 65 f4 12          	shl    DWORD PTR [rbp-0xc],0x12
  4007f5:	8b 45 f4             	mov    eax,DWORD PTR [rbp-0xc]
  4007f8:	0f af 45 f4          	imul   eax,DWORD PTR [rbp-0xc]
  4007fc:	89 45 f4             	mov    DWORD PTR [rbp-0xc],eax
  4007ff:	8b 45 f4             	mov    eax,DWORD PTR [rbp-0xc]
  400802:	5d                   	pop    rbp
  400803:	c3                   	ret    

0000000000400804 <print_str>:
  400804:	55                   	push   rbp
  400805:	48 89 e5             	mov    rbp,rsp
  400808:	48 83 ec 10          	sub    rsp,0x10
  40080c:	48 8b 45 f8          	mov    rax,QWORD PTR [rbp-0x8]
  400810:	48 89 c6             	mov    rsi,rax
  400813:	bf 20 0d 40 00       	mov    edi,0x400d20
  400818:	b8 00 00 00 00       	mov    eax,0x0
  40081d:	e8 2e fe ff ff       	call   400650 <printf@plt>
  400822:	c9                   	leave  
  400823:	c3                   	ret    

0000000000400824 <wrong>:
  400824:	55                   	push   rbp
  400825:	48 89 e5             	mov    rbp,rsp
  400828:	8b 15 7e 0a 20 00    	mov    edx,DWORD PTR [rip+0x200a7e]        # 6012ac <dummies+0x2c>
  40082e:	8b 05 74 0a 20 00    	mov    eax,DWORD PTR [rip+0x200a74]        # 6012a8 <dummies+0x28>
  400834:	89 c6                	mov    esi,eax
  400836:	bf 23 0d 40 00       	mov    edi,0x400d23
  40083b:	e8 8c ff ff ff       	call   4007cc <pass_str_arg>
  400840:	b8 00 00 00 00       	mov    eax,0x0
  400845:	e8 ba ff ff ff       	call   400804 <print_str>
  40084a:	bf ff ff ff ff       	mov    edi,0xffffffff
  40084f:	e8 5c fe ff ff       	call   4006b0 <exit@plt>

0000000000400854 <valid>:
  400854:	55                   	push   rbp
  400855:	48 89 e5             	mov    rbp,rsp
  400858:	8b 15 62 0a 20 00    	mov    edx,DWORD PTR [rip+0x200a62]        # 6012c0 <dummies+0x40>
  40085e:	8b 05 58 0a 20 00    	mov    eax,DWORD PTR [rip+0x200a58]        # 6012bc <dummies+0x3c>
  400864:	89 c6                	mov    esi,eax
  400866:	bf 27 0d 40 00       	mov    edi,0x400d27
  40086b:	e8 5c ff ff ff       	call   4007cc <pass_str_arg>
  400870:	b8 00 00 00 00       	mov    eax,0x0
  400875:	e8 8a ff ff ff       	call   400804 <print_str>
  40087a:	bf 00 00 00 00       	mov    edi,0x0
  40087f:	e8 2c fe ff ff       	call   4006b0 <exit@plt>

0000000000400884 <main>:
  400884:	55                   	push   rbp
  400885:	48 89 e5             	mov    rbp,rsp
  400888:	48 81 ec d0 00 00 00 	sub    rsp,0xd0
  40088f:	89 bd 3c ff ff ff    	mov    DWORD PTR [rbp-0xc4],edi
  400895:	48 89 b5 30 ff ff ff 	mov    QWORD PTR [rbp-0xd0],rsi
  40089c:	64 48 8b 04 25 28 00 	mov    rax,QWORD PTR fs:0x28
  4008a3:	00 00 
  4008a5:	48 89 45 f8          	mov    QWORD PTR [rbp-0x8],rax
  4008a9:	31 c0                	xor    eax,eax
  4008ab:	48 8d 85 70 ff ff ff 	lea    rax,[rbp-0x90]
  4008b2:	ba 80 00 00 00       	mov    edx,0x80
  4008b7:	be 00 00 00 00       	mov    esi,0x0
  4008bc:	48 89 c7             	mov    rdi,rax
  4008bf:	e8 9c fd ff ff       	call   400660 <memset@plt>
  4008c4:	8b 15 ba 09 20 00    	mov    edx,DWORD PTR [rip+0x2009ba]        # 601284 <dummies+0x4>
  4008ca:	8b 05 b0 09 20 00    	mov    eax,DWORD PTR [rip+0x2009b0]        # 601280 <dummies>
  4008d0:	89 c6                	mov    esi,eax
  4008d2:	bf 2b 0d 40 00       	mov    edi,0x400d2b
  4008d7:	e8 f0 fe ff ff       	call   4007cc <pass_str_arg>
  4008dc:	b8 00 00 00 00       	mov    eax,0x0
  4008e1:	e8 1e ff ff ff       	call   400804 <print_str>
  4008e6:	48 8b 05 e3 09 20 00 	mov    rax,QWORD PTR [rip+0x2009e3]        # 6012d0 <__bss_start>
  4008ed:	48 89 c7             	mov    rdi,rax
  4008f0:	e8 ab fd ff ff       	call   4006a0 <fflush@plt>
  4008f5:	48 8d 85 70 ff ff ff 	lea    rax,[rbp-0x90]
  4008fc:	ba 80 00 00 00       	mov    edx,0x80
  400901:	48 89 c6             	mov    rsi,rax
  400904:	bf 00 00 00 00       	mov    edi,0x0
  400909:	b8 00 00 00 00       	mov    eax,0x0
  40090e:	e8 5d fd ff ff       	call   400670 <read@plt>
  400913:	48 8d 85 70 ff ff ff 	lea    rax,[rbp-0x90]
  40091a:	be 0a 00 00 00       	mov    esi,0xa
  40091f:	48 89 c7             	mov    rdi,rax
  400922:	e8 19 fd ff ff       	call   400640 <strchr@plt>
  400927:	48 89 85 48 ff ff ff 	mov    QWORD PTR [rbp-0xb8],rax
  40092e:	48 83 bd 48 ff ff ff 	cmp    QWORD PTR [rbp-0xb8],0x0
  400935:	00 
  400936:	74 0c                	je     400944 <main+0xc0>
  400938:	48 8b 85 48 ff ff ff 	mov    rax,QWORD PTR [rbp-0xb8]
  40093f:	c6 00 00             	mov    BYTE PTR [rax],0x0
  400942:	eb 0a                	jmp    40094e <main+0xca>
  400944:	b8 00 00 00 00       	mov    eax,0x0
  400949:	e8 d6 fe ff ff       	call   400824 <wrong>
  40094e:	48 8d 85 70 ff ff ff 	lea    rax,[rbp-0x90]
  400955:	48 89 c7             	mov    rdi,rax
  400958:	e8 c3 fc ff ff       	call   400620 <strlen@plt>
  40095d:	48 83 f8 1c          	cmp    rax,0x1c
  400961:	0f 94 c0             	sete   al
  400964:	0f b6 c0             	movzx  eax,al
  400967:	83 e0 01             	and    eax,0x1
  40096a:	84 c0                	test   al,al
  40096c:	74 15                	je     400983 <main+0xff>
  40096e:	48 8d 85 70 ff ff ff 	lea    rax,[rbp-0x90]
  400975:	48 89 c7             	mov    rdi,rax
  400978:	e8 a3 fc ff ff       	call   400620 <strlen@plt>
  40097d:	48 83 f8 1c          	cmp    rax,0x1c
  400981:	eb 0a                	jmp    40098d <main+0x109>
  400983:	b8 00 00 00 00       	mov    eax,0x0
  400988:	e8 97 fe ff ff       	call   400824 <wrong>
  40098d:	c7 85 44 ff ff ff 00 	mov    DWORD PTR [rbp-0xbc],0x0
  400994:	00 00 00 
  400997:	eb 2d                	jmp    4009c6 <main+0x142>
  400999:	8b 85 44 ff ff ff    	mov    eax,DWORD PTR [rbp-0xbc]
  40099f:	c1 e0 02             	shl    eax,0x2
  4009a2:	48 98                	cdqe   
  4009a4:	48 8d 95 70 ff ff ff 	lea    rdx,[rbp-0x90]
  4009ab:	48 01 d0             	add    rax,rdx
  4009ae:	8b 10                	mov    edx,DWORD PTR [rax]
  4009b0:	8b 85 44 ff ff ff    	mov    eax,DWORD PTR [rbp-0xbc]
  4009b6:	48 98                	cdqe   
  4009b8:	89 94 85 50 ff ff ff 	mov    DWORD PTR [rbp+rax*4-0xb0],edx
  4009bf:	83 85 44 ff ff ff 01 	add    DWORD PTR [rbp-0xbc],0x1
  4009c6:	83 bd 44 ff ff ff 06 	cmp    DWORD PTR [rbp-0xbc],0x6
  4009cd:	7e ca                	jle    400999 <main+0x115>
  4009cf:	48 8d 85 50 ff ff ff 	lea    rax,[rbp-0xb0]
  4009d6:	48 89 c7             	mov    rdi,rax
  4009d9:	e8 42 00 00 00       	call   400a20 <keygen>
  4009de:	89 85 44 ff ff ff    	mov    DWORD PTR [rbp-0xbc],eax
  4009e4:	83 bd 44 ff ff ff 00 	cmp    DWORD PTR [rbp-0xbc],0x0
  4009eb:	74 0c                	je     4009f9 <main+0x175>
  4009ed:	b8 00 00 00 00       	mov    eax,0x0
  4009f2:	e8 5d fe ff ff       	call   400854 <valid>
  4009f7:	eb 0a                	jmp    400a03 <main+0x17f>
  4009f9:	b8 00 00 00 00       	mov    eax,0x0
  4009fe:	e8 21 fe ff ff       	call   400824 <wrong>
  400a03:	b8 00 00 00 00       	mov    eax,0x0
  400a08:	48 8b 55 f8          	mov    rdx,QWORD PTR [rbp-0x8]
  400a0c:	64 48 33 14 25 28 00 	xor    rdx,QWORD PTR fs:0x28
  400a13:	00 00 
  400a15:	74 05                	je     400a1c <main+0x198>
  400a17:	e8 14 fc ff ff       	call   400630 <__stack_chk_fail@plt>
  400a1c:	c9                   	leave  
  400a1d:	c3                   	ret    
  400a1e:	66 90                	xchg   ax,ax

0000000000400a20 <keygen>:
  400a20:	49 bc 00 00 00 00 00 	movabs r12,0x0
  400a27:	00 00 00 
  400a2a:	49 89 fd             	mov    r13,rdi

0000000000400a2d <do_1>:
  400a2d:	4b 8b 44 a5 00       	mov    rax,QWORD PTR [r13+r12*4+0x0]
  400a32:	48 89 c7             	mov    rdi,rax
  400a35:	e8 d6 fb ff ff       	call   400610 <srandom@plt>
  400a3a:	e8 51 fc ff ff       	call   400690 <random@plt>
  400a3f:	48 3d 7a 83 58 73    	cmp    rax,0x7358837a
  400a45:	0f 85 19 02 00 00    	jne    400c64 <bad>
  400a4b:	e8 40 fc ff ff       	call   400690 <random@plt>
  400a50:	48 3d 58 26 1b 6e    	cmp    rax,0x6e1b2658
  400a56:	0f 85 08 02 00 00    	jne    400c64 <bad>
  400a5c:	e8 2f fc ff ff       	call   400690 <random@plt>
  400a61:	48 3d ff c5 00 3c    	cmp    rax,0x3c00c5ff
  400a67:	0f 85 f7 01 00 00    	jne    400c64 <bad>
  400a6d:	e8 1e fc ff ff       	call   400690 <random@plt>
  400a72:	48 3d aa d4 c0 08    	cmp    rax,0x8c0d4aa
  400a78:	0f 85 e6 01 00 00    	jne    400c64 <bad>
  400a7e:	49 ff c4             	inc    r12

0000000000400a81 <do_2>:
  400a81:	4b 8b 44 a5 00       	mov    rax,QWORD PTR [r13+r12*4+0x0]
  400a86:	48 89 c7             	mov    rdi,rax
  400a89:	e8 82 fb ff ff       	call   400610 <srandom@plt>
  400a8e:	e8 fd fb ff ff       	call   400690 <random@plt>
  400a93:	48 3d b5 c3 d8 34    	cmp    rax,0x34d8c3b5
  400a99:	0f 85 c5 01 00 00    	jne    400c64 <bad>
  400a9f:	e8 ec fb ff ff       	call   400690 <random@plt>
  400aa4:	48 3d a1 dc 56 5b    	cmp    rax,0x5b56dca1
  400aaa:	0f 85 b4 01 00 00    	jne    400c64 <bad>
  400ab0:	e8 db fb ff ff       	call   400690 <random@plt>
  400ab5:	48 3d d7 36 82 07    	cmp    rax,0x78236d7
  400abb:	0f 85 a3 01 00 00    	jne    400c64 <bad>
  400ac1:	e8 ca fb ff ff       	call   400690 <random@plt>
  400ac6:	48 3d 5e 08 73 19    	cmp    rax,0x1973085e
  400acc:	0f 85 92 01 00 00    	jne    400c64 <bad>
  400ad2:	49 ff c4             	inc    r12

0000000000400ad5 <do_3>:
  400ad5:	4b 8b 44 a5 00       	mov    rax,QWORD PTR [r13+r12*4+0x0]
  400ada:	48 89 c7             	mov    rdi,rax
  400add:	e8 2e fb ff ff       	call   400610 <srandom@plt>
  400ae2:	e8 a9 fb ff ff       	call   400690 <random@plt>
  400ae7:	48 3d 6c 45 49 1f    	cmp    rax,0x1f49456c
  400aed:	0f 85 71 01 00 00    	jne    400c64 <bad>
  400af3:	e8 98 fb ff ff       	call   400690 <random@plt>
  400af8:	48 3d 1d fa c0 27    	cmp    rax,0x27c0fa1d
  400afe:	0f 85 60 01 00 00    	jne    400c64 <bad>
  400b04:	e8 87 fb ff ff       	call   400690 <random@plt>
  400b09:	48 3d aa 14 52 14    	cmp    rax,0x145214aa
  400b0f:	0f 85 4f 01 00 00    	jne    400c64 <bad>
  400b15:	e8 76 fb ff ff       	call   400690 <random@plt>
  400b1a:	48 3d 9c 29 00 62    	cmp    rax,0x6200299c
  400b20:	0f 85 3e 01 00 00    	jne    400c64 <bad>
  400b26:	49 ff c4             	inc    r12

0000000000400b29 <do_4>:
  400b29:	4b 8b 44 a5 00       	mov    rax,QWORD PTR [r13+r12*4+0x0]
  400b2e:	48 89 c7             	mov    rdi,rax
  400b31:	e8 da fa ff ff       	call   400610 <srandom@plt>
  400b36:	e8 55 fb ff ff       	call   400690 <random@plt>
  400b3b:	48 3d 14 66 ea 1f    	cmp    rax,0x1fea6614
  400b41:	0f 85 1d 01 00 00    	jne    400c64 <bad>
  400b47:	e8 44 fb ff ff       	call   400690 <random@plt>
  400b4c:	48 3d 64 b8 cd 41    	cmp    rax,0x41cdb864
  400b52:	0f 85 0c 01 00 00    	jne    400c64 <bad>
  400b58:	e8 33 fb ff ff       	call   400690 <random@plt>
  400b5d:	48 3d 56 ed c0 53    	cmp    rax,0x53c0ed56
  400b63:	0f 85 fb 00 00 00    	jne    400c64 <bad>
  400b69:	e8 22 fb ff ff       	call   400690 <random@plt>
  400b6e:	48 3d 16 29 64 63    	cmp    rax,0x63642916
  400b74:	0f 85 ea 00 00 00    	jne    400c64 <bad>
  400b7a:	49 ff c4             	inc    r12

0000000000400b7d <do_5>:
  400b7d:	4b 8b 44 a5 00       	mov    rax,QWORD PTR [r13+r12*4+0x0]
  400b82:	48 89 c7             	mov    rdi,rax
  400b85:	e8 86 fa ff ff       	call   400610 <srandom@plt>
  400b8a:	e8 01 fb ff ff       	call   400690 <random@plt>
  400b8f:	48 3d c7 ab 81 4e    	cmp    rax,0x4e81abc7
  400b95:	0f 85 c9 00 00 00    	jne    400c64 <bad>
  400b9b:	e8 f0 fa ff ff       	call   400690 <random@plt>
  400ba0:	48 3d 75 e0 2c 79    	cmp    rax,0x792ce075
  400ba6:	0f 85 b8 00 00 00    	jne    400c64 <bad>
  400bac:	e8 df fa ff ff       	call   400690 <random@plt>
  400bb1:	48 3d 9c c5 2b 7d    	cmp    rax,0x7d2bc59c
  400bb7:	0f 85 a7 00 00 00    	jne    400c64 <bad>
  400bbd:	e8 ce fa ff ff       	call   400690 <random@plt>
  400bc2:	48 3d da 1a a1 42    	cmp    rax,0x42a11ada
  400bc8:	0f 85 96 00 00 00    	jne    400c64 <bad>
  400bce:	49 ff c4             	inc    r12

0000000000400bd1 <do_6>:
  400bd1:	4b 8b 44 a5 00       	mov    rax,QWORD PTR [r13+r12*4+0x0]
  400bd6:	48 89 c7             	mov    rdi,rax
  400bd9:	e8 32 fa ff ff       	call   400610 <srandom@plt>
  400bde:	e8 ad fa ff ff       	call   400690 <random@plt>
  400be3:	48 3d 5d 3f 3d 68    	cmp    rax,0x683d3f5d
  400be9:	75 79                	jne    400c64 <bad>
  400beb:	e8 a0 fa ff ff       	call   400690 <random@plt>
  400bf0:	48 3d 8d e3 aa 0c    	cmp    rax,0xcaae38d
  400bf6:	75 6c                	jne    400c64 <bad>
  400bf8:	e8 93 fa ff ff       	call   400690 <random@plt>
  400bfd:	48 3d 18 1c c8 7e    	cmp    rax,0x7ec81c18
  400c03:	75 5f                	jne    400c64 <bad>
  400c05:	e8 86 fa ff ff       	call   400690 <random@plt>
  400c0a:	48 3d e6 71 46 44    	cmp    rax,0x444671e6
  400c10:	75 52                	jne    400c64 <bad>
  400c12:	49 ff c4             	inc    r12

0000000000400c15 <do_7>:
  400c15:	4b 8b 44 a5 00       	mov    rax,QWORD PTR [r13+r12*4+0x0]
  400c1a:	48 89 c7             	mov    rdi,rax
  400c1d:	e8 ee f9 ff ff       	call   400610 <srandom@plt>
  400c22:	e8 69 fa ff ff       	call   400690 <random@plt>
  400c27:	48 3d fe a8 c9 28    	cmp    rax,0x28c9a8fe
  400c2d:	75 35                	jne    400c64 <bad>
  400c2f:	e8 5c fa ff ff       	call   400690 <random@plt>
  400c34:	48 3d 23 4b 32 03    	cmp    rax,0x3324b23
  400c3a:	75 28                	jne    400c64 <bad>
  400c3c:	e8 4f fa ff ff       	call   400690 <random@plt>
  400c41:	48 3d 53 f2 75 30    	cmp    rax,0x3075f253
  400c47:	75 1b                	jne    400c64 <bad>
  400c49:	e8 42 fa ff ff       	call   400690 <random@plt>
  400c4e:	48 3d d2 e9 d2 60    	cmp    rax,0x60d2e9d2
  400c54:	75 0e                	jne    400c64 <bad>
  400c56:	49 ff c4             	inc    r12

0000000000400c59 <good>:
  400c59:	48 b8 01 00 00 00 00 	movabs rax,0x1
  400c60:	00 00 00 
  400c63:	c3                   	ret    

0000000000400c64 <bad>:
  400c64:	48 b8 00 00 00 00 00 	movabs rax,0x0
  400c6b:	00 00 00 
  400c6e:	c3                   	ret    
  400c6f:	90                   	nop

0000000000400c70 <__libc_csu_init>:
  400c70:	48 89 6c 24 d8       	mov    QWORD PTR [rsp-0x28],rbp
  400c75:	4c 89 64 24 e0       	mov    QWORD PTR [rsp-0x20],r12
  400c7a:	48 8d 2d 87 03 20 00 	lea    rbp,[rip+0x200387]        # 601008 <__init_array_end>
  400c81:	4c 8d 25 78 03 20 00 	lea    r12,[rip+0x200378]        # 601000 <__frame_dummy_init_array_entry>
  400c88:	48 89 5c 24 d0       	mov    QWORD PTR [rsp-0x30],rbx
  400c8d:	4c 89 6c 24 e8       	mov    QWORD PTR [rsp-0x18],r13
  400c92:	4c 89 74 24 f0       	mov    QWORD PTR [rsp-0x10],r14
  400c97:	4c 89 7c 24 f8       	mov    QWORD PTR [rsp-0x8],r15
  400c9c:	48 83 ec 38          	sub    rsp,0x38
  400ca0:	4c 29 e5             	sub    rbp,r12
  400ca3:	41 89 ff             	mov    r15d,edi
  400ca6:	49 89 f6             	mov    r14,rsi
  400ca9:	48 c1 fd 03          	sar    rbp,0x3
  400cad:	49 89 d5             	mov    r13,rdx
  400cb0:	31 db                	xor    ebx,ebx
  400cb2:	e8 39 f9 ff ff       	call   4005f0 <_init>
  400cb7:	48 85 ed             	test   rbp,rbp
  400cba:	74 1a                	je     400cd6 <__libc_csu_init+0x66>
  400cbc:	0f 1f 40 00          	nop    DWORD PTR [rax+0x0]
  400cc0:	4c 89 ea             	mov    rdx,r13
  400cc3:	4c 89 f6             	mov    rsi,r14
  400cc6:	44 89 ff             	mov    edi,r15d
  400cc9:	41 ff 14 dc          	call   QWORD PTR [r12+rbx*8]
  400ccd:	48 83 c3 01          	add    rbx,0x1
  400cd1:	48 39 eb             	cmp    rbx,rbp
  400cd4:	75 ea                	jne    400cc0 <__libc_csu_init+0x50>
  400cd6:	48 8b 5c 24 08       	mov    rbx,QWORD PTR [rsp+0x8]
  400cdb:	48 8b 6c 24 10       	mov    rbp,QWORD PTR [rsp+0x10]
  400ce0:	4c 8b 64 24 18       	mov    r12,QWORD PTR [rsp+0x18]
  400ce5:	4c 8b 6c 24 20       	mov    r13,QWORD PTR [rsp+0x20]
  400cea:	4c 8b 74 24 28       	mov    r14,QWORD PTR [rsp+0x28]
  400cef:	4c 8b 7c 24 30       	mov    r15,QWORD PTR [rsp+0x30]
  400cf4:	48 83 c4 38          	add    rsp,0x38
  400cf8:	c3                   	ret    
  400cf9:	0f 1f 80 00 00 00 00 	nop    DWORD PTR [rax+0x0]

0000000000400d00 <__libc_csu_fini>:
  400d00:	f3 c3                	repz ret 
  400d02:	66 90                	xchg   ax,ax

Disassembly of section .fini:

0000000000400d04 <_fini>:
  400d04:	48 83 ec 08          	sub    rsp,0x8
  400d08:	48 83 c4 08          	add    rsp,0x8
  400d0c:	c3                   	ret