/tmp/fsx:     file format elf64-x86-64


Disassembly of section .init:

0000000000400d60 <_init>:
  400d60:	48 83 ec 08          	sub    $0x8,%rsp
  400d64:	e8 5b 03 00 00       	callq  4010c4 <frame_dummy>
  400d69:	e8 fe 24 00 00       	callq  40326c <__do_global_ctors_aux>
  400d6e:	48 83 c4 08          	add    $0x8,%rsp
  400d72:	c3                   	retq   

Disassembly of section .plt:

0000000000400d80 <setvbuf@plt-0x10>:
  400d80:	ff 35 1a 3c 20 00    	pushq  0x203c1a(%rip)        # 6049a0 <_GLOBAL_OFFSET_TABLE_+0x8>
  400d86:	ff 25 1c 3c 20 00    	jmpq   *0x203c1c(%rip)        # 6049a8 <_GLOBAL_OFFSET_TABLE_+0x10>
  400d8c:	0f 1f 40 00          	nopl   0x0(%rax)

0000000000400d90 <setvbuf@plt>:
  400d90:	ff 25 1a 3c 20 00    	jmpq   *0x203c1a(%rip)        # 6049b0 <_GLOBAL_OFFSET_TABLE_+0x18>
  400d96:	68 00 00 00 00       	pushq  $0x0
  400d9b:	e9 e0 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400da0 <write@plt>:
  400da0:	ff 25 12 3c 20 00    	jmpq   *0x203c12(%rip)        # 6049b8 <_GLOBAL_OFFSET_TABLE_+0x20>
  400da6:	68 01 00 00 00       	pushq  $0x1
  400dab:	e9 d0 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400db0 <getpagesize@plt>:
  400db0:	ff 25 0a 3c 20 00    	jmpq   *0x203c0a(%rip)        # 6049c0 <_GLOBAL_OFFSET_TABLE_+0x28>
  400db6:	68 02 00 00 00       	pushq  $0x2
  400dbb:	e9 c0 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400dc0 <signal@plt>:
  400dc0:	ff 25 02 3c 20 00    	jmpq   *0x203c02(%rip)        # 6049c8 <_GLOBAL_OFFSET_TABLE_+0x30>
  400dc6:	68 03 00 00 00       	pushq  $0x3
  400dcb:	e9 b0 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400dd0 <lseek@plt>:
  400dd0:	ff 25 fa 3b 20 00    	jmpq   *0x203bfa(%rip)        # 6049d0 <_GLOBAL_OFFSET_TABLE_+0x38>
  400dd6:	68 04 00 00 00       	pushq  $0x4
  400ddb:	e9 a0 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400de0 <time@plt>:
  400de0:	ff 25 f2 3b 20 00    	jmpq   *0x203bf2(%rip)        # 6049d8 <_GLOBAL_OFFSET_TABLE_+0x40>
  400de6:	68 05 00 00 00       	pushq  $0x5
  400deb:	e9 90 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400df0 <memset@plt>:
  400df0:	ff 25 ea 3b 20 00    	jmpq   *0x203bea(%rip)        # 6049e0 <_GLOBAL_OFFSET_TABLE_+0x48>
  400df6:	68 06 00 00 00       	pushq  $0x6
  400dfb:	e9 80 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400e00 <malloc@plt>:
  400e00:	ff 25 e2 3b 20 00    	jmpq   *0x203be2(%rip)        # 6049e8 <_GLOBAL_OFFSET_TABLE_+0x50>
  400e06:	68 07 00 00 00       	pushq  $0x7
  400e0b:	e9 70 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400e10 <random@plt>:
  400e10:	ff 25 da 3b 20 00    	jmpq   *0x203bda(%rip)        # 6049f0 <_GLOBAL_OFFSET_TABLE_+0x58>
  400e16:	68 08 00 00 00       	pushq  $0x8
  400e1b:	e9 60 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400e20 <strcat@plt>:
  400e20:	ff 25 d2 3b 20 00    	jmpq   *0x203bd2(%rip)        # 6049f8 <_GLOBAL_OFFSET_TABLE_+0x60>
  400e26:	68 09 00 00 00       	pushq  $0x9
  400e2b:	e9 50 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400e30 <fstat@plt>:
  400e30:	ff 25 ca 3b 20 00    	jmpq   *0x203bca(%rip)        # 604a00 <_GLOBAL_OFFSET_TABLE_+0x68>
  400e36:	68 0a 00 00 00       	pushq  $0xa
  400e3b:	e9 40 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400e40 <setjmp@plt>:
  400e40:	ff 25 c2 3b 20 00    	jmpq   *0x203bc2(%rip)        # 604a08 <_GLOBAL_OFFSET_TABLE_+0x70>
  400e46:	68 0b 00 00 00       	pushq  $0xb
  400e4b:	e9 30 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400e50 <open@plt>:
  400e50:	ff 25 ba 3b 20 00    	jmpq   *0x203bba(%rip)        # 604a10 <_GLOBAL_OFFSET_TABLE_+0x78>
  400e56:	68 0c 00 00 00       	pushq  $0xc
  400e5b:	e9 20 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400e60 <vfprintf@plt>:
  400e60:	ff 25 b2 3b 20 00    	jmpq   *0x203bb2(%rip)        # 604a18 <_GLOBAL_OFFSET_TABLE_+0x80>
  400e66:	68 0d 00 00 00       	pushq  $0xd
  400e6b:	e9 10 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400e70 <munmap@plt>:
  400e70:	ff 25 aa 3b 20 00    	jmpq   *0x203baa(%rip)        # 604a20 <_GLOBAL_OFFSET_TABLE_+0x88>
  400e76:	68 0e 00 00 00       	pushq  $0xe
  400e7b:	e9 00 ff ff ff       	jmpq   400d80 <_init+0x20>

0000000000400e80 <fwrite@plt>:
  400e80:	ff 25 a2 3b 20 00    	jmpq   *0x203ba2(%rip)        # 604a28 <_GLOBAL_OFFSET_TABLE_+0x90>
  400e86:	68 0f 00 00 00       	pushq  $0xf
  400e8b:	e9 f0 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400e90 <strncpy@plt>:
  400e90:	ff 25 9a 3b 20 00    	jmpq   *0x203b9a(%rip)        # 604a30 <_GLOBAL_OFFSET_TABLE_+0x98>
  400e96:	68 10 00 00 00       	pushq  $0x10
  400e9b:	e9 e0 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400ea0 <exit@plt>:
  400ea0:	ff 25 92 3b 20 00    	jmpq   *0x203b92(%rip)        # 604a38 <_GLOBAL_OFFSET_TABLE_+0xa0>
  400ea6:	68 11 00 00 00       	pushq  $0x11
  400eab:	e9 d0 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400eb0 <fprintf@plt>:
  400eb0:	ff 25 8a 3b 20 00    	jmpq   *0x203b8a(%rip)        # 604a40 <_GLOBAL_OFFSET_TABLE_+0xa8>
  400eb6:	68 12 00 00 00       	pushq  $0x12
  400ebb:	e9 c0 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400ec0 <setstate@plt>:
  400ec0:	ff 25 82 3b 20 00    	jmpq   *0x203b82(%rip)        # 604a48 <_GLOBAL_OFFSET_TABLE_+0xb0>
  400ec6:	68 13 00 00 00       	pushq  $0x13
  400ecb:	e9 b0 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400ed0 <strncat@plt>:
  400ed0:	ff 25 7a 3b 20 00    	jmpq   *0x203b7a(%rip)        # 604a50 <_GLOBAL_OFFSET_TABLE_+0xb8>
  400ed6:	68 14 00 00 00       	pushq  $0x14
  400edb:	e9 a0 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400ee0 <close@plt>:
  400ee0:	ff 25 72 3b 20 00    	jmpq   *0x203b72(%rip)        # 604a58 <_GLOBAL_OFFSET_TABLE_+0xc0>
  400ee6:	68 15 00 00 00       	pushq  $0x15
  400eeb:	e9 90 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400ef0 <read@plt>:
  400ef0:	ff 25 6a 3b 20 00    	jmpq   *0x203b6a(%rip)        # 604a60 <_GLOBAL_OFFSET_TABLE_+0xc8>
  400ef6:	68 16 00 00 00       	pushq  $0x16
  400efb:	e9 80 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400f00 <msync@plt>:
  400f00:	ff 25 62 3b 20 00    	jmpq   *0x203b62(%rip)        # 604a68 <_GLOBAL_OFFSET_TABLE_+0xd0>
  400f06:	68 17 00 00 00       	pushq  $0x17
  400f0b:	e9 70 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400f10 <_init_tls@plt>:
  400f10:	ff 25 5a 3b 20 00    	jmpq   *0x203b5a(%rip)        # 604a70 <_GLOBAL_OFFSET_TABLE_+0xd8>
  400f16:	68 18 00 00 00       	pushq  $0x18
  400f1b:	e9 60 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400f20 <_rtld_call_init@plt>:
  400f20:	ff 25 52 3b 20 00    	jmpq   *0x203b52(%rip)        # 604a78 <_GLOBAL_OFFSET_TABLE_+0xe0>
  400f26:	68 19 00 00 00       	pushq  $0x19
  400f2b:	e9 50 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400f30 <atexit@plt>:
  400f30:	ff 25 4a 3b 20 00    	jmpq   *0x203b4a(%rip)        # 604a80 <_GLOBAL_OFFSET_TABLE_+0xe8>
  400f36:	68 1a 00 00 00       	pushq  $0x1a
  400f3b:	e9 40 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400f40 <ftruncate@plt>:
  400f40:	ff 25 42 3b 20 00    	jmpq   *0x203b42(%rip)        # 604a88 <_GLOBAL_OFFSET_TABLE_+0xf0>
  400f46:	68 1b 00 00 00       	pushq  $0x1b
  400f4b:	e9 30 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400f50 <getopt@plt>:
  400f50:	ff 25 3a 3b 20 00    	jmpq   *0x203b3a(%rip)        # 604a90 <_GLOBAL_OFFSET_TABLE_+0xf8>
  400f56:	68 1c 00 00 00       	pushq  $0x1c
  400f5b:	e9 20 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400f60 <strerror@plt>:
  400f60:	ff 25 32 3b 20 00    	jmpq   *0x203b32(%rip)        # 604a98 <_GLOBAL_OFFSET_TABLE_+0x100>
  400f66:	68 1d 00 00 00       	pushq  $0x1d
  400f6b:	e9 10 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400f70 <fopen@plt>:
  400f70:	ff 25 2a 3b 20 00    	jmpq   *0x203b2a(%rip)        # 604aa0 <_GLOBAL_OFFSET_TABLE_+0x108>
  400f76:	68 1e 00 00 00       	pushq  $0x1e
  400f7b:	e9 00 fe ff ff       	jmpq   400d80 <_init+0x20>

0000000000400f80 <longjmp@plt>:
  400f80:	ff 25 22 3b 20 00    	jmpq   *0x203b22(%rip)        # 604aa8 <_GLOBAL_OFFSET_TABLE_+0x110>
  400f86:	68 1f 00 00 00       	pushq  $0x1f
  400f8b:	e9 f0 fd ff ff       	jmpq   400d80 <_init+0x20>

0000000000400f90 <memcpy@plt>:
  400f90:	ff 25 1a 3b 20 00    	jmpq   *0x203b1a(%rip)        # 604ab0 <_GLOBAL_OFFSET_TABLE_+0x118>
  400f96:	68 20 00 00 00       	pushq  $0x20
  400f9b:	e9 e0 fd ff ff       	jmpq   400d80 <_init+0x20>

0000000000400fa0 <strtol@plt>:
  400fa0:	ff 25 12 3b 20 00    	jmpq   *0x203b12(%rip)        # 604ab8 <_GLOBAL_OFFSET_TABLE_+0x120>
  400fa6:	68 21 00 00 00       	pushq  $0x21
  400fab:	e9 d0 fd ff ff       	jmpq   400d80 <_init+0x20>

0000000000400fb0 <mmap@plt>:
  400fb0:	ff 25 0a 3b 20 00    	jmpq   *0x203b0a(%rip)        # 604ac0 <_GLOBAL_OFFSET_TABLE_+0x128>
  400fb6:	68 22 00 00 00       	pushq  $0x22
  400fbb:	e9 c0 fd ff ff       	jmpq   400d80 <_init+0x20>

0000000000400fc0 <initstate@plt>:
  400fc0:	ff 25 02 3b 20 00    	jmpq   *0x203b02(%rip)        # 604ac8 <_GLOBAL_OFFSET_TABLE_+0x130>
  400fc6:	68 23 00 00 00       	pushq  $0x23
  400fcb:	e9 b0 fd ff ff       	jmpq   400d80 <_init+0x20>

Disassembly of section .text:

0000000000400fd0 <_start>:
  400fd0:	55                   	push   %rbp
  400fd1:	48 89 e5             	mov    %rsp,%rbp
  400fd4:	41 56                	push   %r14
  400fd6:	41 55                	push   %r13
  400fd8:	41 54                	push   %r12
  400fda:	53                   	push   %rbx
  400fdb:	49 89 f6             	mov    %rsi,%r14
  400fde:	8b 1f                	mov    (%rdi),%ebx
  400fe0:	4c 8d 6f 08          	lea    0x8(%rdi),%r13
  400fe4:	48 63 c3             	movslq %ebx,%rax
  400fe7:	4c 8d 64 c7 10       	lea    0x10(%rdi,%rax,8),%r12
  400fec:	4c 89 25 ed 3b 20 00 	mov    %r12,0x203bed(%rip)        # 604be0 <environ>
  400ff3:	85 db                	test   %ebx,%ebx
  400ff5:	7e 32                	jle    401029 <_start+0x59>
  400ff7:	49 8b 45 00          	mov    0x0(%r13),%rax
  400ffb:	48 85 c0             	test   %rax,%rax
  400ffe:	74 29                	je     401029 <_start+0x59>
  401000:	48 89 05 c9 3a 20 00 	mov    %rax,0x203ac9(%rip)        # 604ad0 <__progname>
  401007:	0f b6 10             	movzbl (%rax),%edx
  40100a:	84 d2                	test   %dl,%dl
  40100c:	74 1b                	je     401029 <_start+0x59>
  40100e:	48 83 c0 01          	add    $0x1,%rax
  401012:	80 fa 2f             	cmp    $0x2f,%dl
  401015:	75 07                	jne    40101e <_start+0x4e>
  401017:	48 89 05 b2 3a 20 00 	mov    %rax,0x203ab2(%rip)        # 604ad0 <__progname>
  40101e:	0f b6 10             	movzbl (%rax),%edx
  401021:	48 83 c0 01          	add    $0x1,%rax
  401025:	84 d2                	test   %dl,%dl
  401027:	75 e9                	jne    401012 <_start+0x42>
  401029:	e8 e2 fe ff ff       	callq  400f10 <_init_tls@plt>
  40102e:	e8 ed fe ff ff       	callq  400f20 <_rtld_call_init@plt>
  401033:	b8 20 48 60 00       	mov    $0x604820,%eax
  401038:	48 85 c0             	test   %rax,%rax
  40103b:	74 08                	je     401045 <_start+0x75>
  40103d:	4c 89 f7             	mov    %r14,%rdi
  401040:	e8 eb fe ff ff       	callq  400f30 <atexit@plt>
  401045:	bf a0 32 40 00       	mov    $0x4032a0,%edi
  40104a:	e8 e1 fe ff ff       	callq  400f30 <atexit@plt>
  40104f:	e8 0c fd ff ff       	callq  400d60 <_init>
  401054:	4c 89 e2             	mov    %r12,%rdx
  401057:	4c 89 ee             	mov    %r13,%rsi
  40105a:	89 df                	mov    %ebx,%edi
  40105c:	e8 c8 11 00 00       	callq  402229 <main>
  401061:	89 c7                	mov    %eax,%edi
  401063:	e8 38 fe ff ff       	callq  400ea0 <exit@plt>

0000000000401068 <__do_global_dtors_aux>:
  401068:	55                   	push   %rbp
  401069:	48 89 e5             	mov    %rsp,%rbp
  40106c:	41 54                	push   %r12
  40106e:	53                   	push   %rbx
  40106f:	80 3d ea 3a 20 00 00 	cmpb   $0x0,0x203aea(%rip)        # 604b60 <completed.3981>
  401076:	75 47                	jne    4010bf <__do_global_dtors_aux+0x57>
  401078:	48 8b 05 e9 3a 20 00 	mov    0x203ae9(%rip),%rax        # 604b68 <dtor_idx.3983>
  40107f:	41 bc 10 48 60 00    	mov    $0x604810,%r12d
  401085:	49 81 ec 08 48 60 00 	sub    $0x604808,%r12
  40108c:	49 c1 fc 03          	sar    $0x3,%r12
  401090:	49 83 ec 01          	sub    $0x1,%r12
  401094:	4c 39 e0             	cmp    %r12,%rax
  401097:	73 1f                	jae    4010b8 <__do_global_dtors_aux+0x50>
  401099:	bb 08 48 60 00       	mov    $0x604808,%ebx
  40109e:	48 83 c0 01          	add    $0x1,%rax
  4010a2:	48 89 05 bf 3a 20 00 	mov    %rax,0x203abf(%rip)        # 604b68 <dtor_idx.3983>
  4010a9:	ff 14 c3             	callq  *(%rbx,%rax,8)
  4010ac:	48 8b 05 b5 3a 20 00 	mov    0x203ab5(%rip),%rax        # 604b68 <dtor_idx.3983>
  4010b3:	4c 39 e0             	cmp    %r12,%rax
  4010b6:	72 e6                	jb     40109e <__do_global_dtors_aux+0x36>
  4010b8:	c6 05 a1 3a 20 00 01 	movb   $0x1,0x203aa1(%rip)        # 604b60 <completed.3981>
  4010bf:	5b                   	pop    %rbx
  4010c0:	41 5c                	pop    %r12
  4010c2:	c9                   	leaveq 
  4010c3:	c3                   	retq   

00000000004010c4 <frame_dummy>:
  4010c4:	55                   	push   %rbp
  4010c5:	48 89 e5             	mov    %rsp,%rbp
  4010c8:	48 83 3d 48 37 20 00 	cmpq   $0x0,0x203748(%rip)        # 604818 <__JCR_END__>
  4010cf:	00 
  4010d0:	74 11                	je     4010e3 <frame_dummy+0x1f>
  4010d2:	b8 00 00 00 00       	mov    $0x0,%eax
  4010d7:	48 85 c0             	test   %rax,%rax
  4010da:	74 07                	je     4010e3 <frame_dummy+0x1f>
  4010dc:	bf 18 48 60 00       	mov    $0x604818,%edi
  4010e1:	ff d0                	callq  *%rax
  4010e3:	c9                   	leaveq 
  4010e4:	c3                   	retq   
  4010e5:	90                   	nop
  4010e6:	90                   	nop
  4010e7:	90                   	nop
  4010e8:	90                   	nop
  4010e9:	90                   	nop
  4010ea:	90                   	nop
  4010eb:	90                   	nop
  4010ec:	90                   	nop
  4010ed:	90                   	nop
  4010ee:	90                   	nop
  4010ef:	90                   	nop

00000000004010f0 <log4>:
  4010f0:	44 8b 05 79 3a 20 00 	mov    0x203a79(%rip),%r8d        # 604b70 <logptr>
  4010f7:	49 63 c0             	movslq %r8d,%rax
  4010fa:	48 c1 e0 04          	shl    $0x4,%rax
  4010fe:	48 05 20 4c 60 00    	add    $0x604c20,%rax
  401104:	89 38                	mov    %edi,(%rax)
  401106:	83 3d c3 3a 20 00 00 	cmpl   $0x0,0x203ac3(%rip)        # 604bd0 <closeopen>
  40110d:	74 04                	je     401113 <log4+0x23>
  40110f:	f7 d7                	not    %edi
  401111:	89 38                	mov    %edi,(%rax)
  401113:	89 70 04             	mov    %esi,0x4(%rax)
  401116:	89 50 08             	mov    %edx,0x8(%rax)
  401119:	89 48 0c             	mov    %ecx,0xc(%rax)
  40111c:	41 8d 40 01          	lea    0x1(%r8),%eax
  401120:	89 05 4a 3a 20 00    	mov    %eax,0x203a4a(%rip)        # 604b70 <logptr>
  401126:	83 05 47 3a 20 00 01 	addl   $0x1,0x203a47(%rip)        # 604b74 <logcount>
  40112d:	3d e7 03 00 00       	cmp    $0x3e7,%eax
  401132:	7e 0a                	jle    40113e <log4+0x4e>
  401134:	c7 05 32 3a 20 00 00 	movl   $0x0,0x203a32(%rip)        # 604b70 <logptr>
  40113b:	00 00 00 
  40113e:	f3 c3                	repz retq 

0000000000401140 <gendata>:
  401140:	85 c9                	test   %ecx,%ecx
  401142:	74 2f                	je     401173 <gendata+0x33>
  401144:	83 e9 01             	sub    $0x1,%ecx
  401147:	41 89 d1             	mov    %edx,%r9d
  40114a:	4e 8d 04 0e          	lea    (%rsi,%r9,1),%r8
  40114e:	48 8b 05 33 3a 20 00 	mov    0x203a33(%rip),%rax        # 604b88 <testcalls>
  401155:	41 89 c2             	mov    %eax,%r10d
  401158:	41 88 00             	mov    %al,(%r8)
  40115b:	f6 c2 01             	test   $0x1,%dl
  40115e:	74 07                	je     401167 <gendata+0x27>
  401160:	46 02 14 0f          	add    (%rdi,%r9,1),%r10b
  401164:	45 88 10             	mov    %r10b,(%r8)
  401167:	85 c9                	test   %ecx,%ecx
  401169:	74 08                	je     401173 <gendata+0x33>
  40116b:	83 c2 01             	add    $0x1,%edx
  40116e:	83 e9 01             	sub    $0x1,%ecx
  401171:	eb d4                	jmp    401147 <gendata+0x7>
  401173:	f3 c3                	repz retq 

0000000000401175 <usage>:
  401175:	48 83 ec 08          	sub    $0x8,%rsp
  401179:	ba b0 32 40 00       	mov    $0x4032b0,%edx
  40117e:	be 90 3d 40 00       	mov    $0x403d90,%esi
  401183:	48 8b 3d be 39 20 00 	mov    0x2039be(%rip),%rdi        # 604b48 <__stdoutp>
  40118a:	b8 00 00 00 00       	mov    $0x0,%eax
  40118f:	e8 1c fd ff ff       	callq  400eb0 <fprintf@plt>
  401194:	bf 5a 00 00 00       	mov    $0x5a,%edi
  401199:	e8 02 fd ff ff       	callq  400ea0 <exit@plt>

000000000040119e <getnum>:
  40119e:	53                   	push   %rbx
  40119f:	48 89 f3             	mov    %rsi,%rbx
  4011a2:	48 c7 06 00 00 00 00 	movq   $0x0,(%rsi)
  4011a9:	ba 00 00 00 00       	mov    $0x0,%edx
  4011ae:	e8 ed fd ff ff       	callq  400fa0 <strtol@plt>
  4011b3:	48 8b 13             	mov    (%rbx),%rdx
  4011b6:	48 85 d2             	test   %rdx,%rdx
  4011b9:	74 43                	je     4011fe <getnum+0x60>
  4011bb:	0f b6 0a             	movzbl (%rdx),%ecx
  4011be:	83 e9 42             	sub    $0x42,%ecx
  4011c1:	80 f9 35             	cmp    $0x35,%cl
  4011c4:	77 38                	ja     4011fe <getnum+0x60>
  4011c6:	0f b6 c9             	movzbl %cl,%ecx
  4011c9:	ff 24 cd 40 41 40 00 	jmpq   *0x404140(,%rcx,8)
  4011d0:	c1 e0 09             	shl    $0x9,%eax
  4011d3:	48 83 c2 01          	add    $0x1,%rdx
  4011d7:	48 89 13             	mov    %rdx,(%rbx)
  4011da:	eb 22                	jmp    4011fe <getnum+0x60>
  4011dc:	c1 e0 0a             	shl    $0xa,%eax
  4011df:	48 83 c2 01          	add    $0x1,%rdx
  4011e3:	48 89 13             	mov    %rdx,(%rbx)
  4011e6:	eb 16                	jmp    4011fe <getnum+0x60>
  4011e8:	c1 e0 14             	shl    $0x14,%eax
  4011eb:	48 83 c2 01          	add    $0x1,%rdx
  4011ef:	48 89 13             	mov    %rdx,(%rbx)
  4011f2:	eb 0a                	jmp    4011fe <getnum+0x60>
  4011f4:	c1 e0 02             	shl    $0x2,%eax
  4011f7:	48 83 c2 01          	add    $0x1,%rdx
  4011fb:	48 89 13             	mov    %rdx,(%rbx)
  4011fe:	5b                   	pop    %rbx
  4011ff:	c3                   	retq   

0000000000401200 <prt>:
  401200:	53                   	push   %rbx
  401201:	48 81 ec d0 00 00 00 	sub    $0xd0,%rsp
  401208:	48 89 74 24 28       	mov    %rsi,0x28(%rsp)
  40120d:	48 89 54 24 30       	mov    %rdx,0x30(%rsp)
  401212:	48 89 4c 24 38       	mov    %rcx,0x38(%rsp)
  401217:	4c 89 44 24 40       	mov    %r8,0x40(%rsp)
  40121c:	4c 89 4c 24 48       	mov    %r9,0x48(%rsp)
  401221:	0f b6 c0             	movzbl %al,%eax
  401224:	48 8d 14 85 00 00 00 	lea    0x0(,%rax,4),%rdx
  40122b:	00 
  40122c:	b8 5e 12 40 00       	mov    $0x40125e,%eax
  401231:	48 29 d0             	sub    %rdx,%rax
  401234:	48 8d 94 24 cf 00 00 	lea    0xcf(%rsp),%rdx
  40123b:	00 
  40123c:	ff e0                	jmpq   *%rax
  40123e:	0f 29 7a f1          	movaps %xmm7,-0xf(%rdx)
  401242:	0f 29 72 e1          	movaps %xmm6,-0x1f(%rdx)
  401246:	0f 29 6a d1          	movaps %xmm5,-0x2f(%rdx)
  40124a:	0f 29 62 c1          	movaps %xmm4,-0x3f(%rdx)
  40124e:	0f 29 5a b1          	movaps %xmm3,-0x4f(%rdx)
  401252:	0f 29 52 a1          	movaps %xmm2,-0x5f(%rdx)
  401256:	0f 29 4a 91          	movaps %xmm1,-0x6f(%rdx)
  40125a:	0f 29 42 81          	movaps %xmm0,-0x7f(%rdx)
  40125e:	48 89 fb             	mov    %rdi,%rbx
  401261:	48 89 e2             	mov    %rsp,%rdx
  401264:	c7 04 24 08 00 00 00 	movl   $0x8,(%rsp)
  40126b:	c7 44 24 04 30 00 00 	movl   $0x30,0x4(%rsp)
  401272:	00 
  401273:	48 8d 84 24 e0 00 00 	lea    0xe0(%rsp),%rax
  40127a:	00 
  40127b:	48 89 44 24 08       	mov    %rax,0x8(%rsp)
  401280:	48 8d 44 24 20       	lea    0x20(%rsp),%rax
  401285:	48 89 44 24 10       	mov    %rax,0x10(%rsp)
  40128a:	48 89 fe             	mov    %rdi,%rsi
  40128d:	48 8b 3d b4 38 20 00 	mov    0x2038b4(%rip),%rdi        # 604b48 <__stdoutp>
  401294:	e8 c7 fb ff ff       	callq  400e60 <vfprintf@plt>
  401299:	48 8b 3d 28 39 20 00 	mov    0x203928(%rip),%rdi        # 604bc8 <fsxlogf>
  4012a0:	48 85 ff             	test   %rdi,%rdi
  4012a3:	74 0b                	je     4012b0 <prt+0xb0>
  4012a5:	48 89 e2             	mov    %rsp,%rdx
  4012a8:	48 89 de             	mov    %rbx,%rsi
  4012ab:	e8 b0 fb ff ff       	callq  400e60 <vfprintf@plt>
  4012b0:	48 81 c4 d0 00 00 00 	add    $0xd0,%rsp
  4012b7:	5b                   	pop    %rbx
  4012b8:	c3                   	retq   

00000000004012b9 <cleanup>:
  4012b9:	53                   	push   %rbx
  4012ba:	89 fb                	mov    %edi,%ebx
  4012bc:	85 ff                	test   %edi,%edi
  4012be:	74 11                	je     4012d1 <cleanup+0x18>
  4012c0:	89 fe                	mov    %edi,%esi
  4012c2:	bf 9a 3d 40 00       	mov    $0x403d9a,%edi
  4012c7:	b8 00 00 00 00       	mov    $0x0,%eax
  4012cc:	e8 2f ff ff ff       	callq  401200 <prt>
  4012d1:	48 8b 35 b0 38 20 00 	mov    0x2038b0(%rip),%rsi        # 604b88 <testcalls>
  4012d8:	bf a5 3d 40 00       	mov    $0x403da5,%edi
  4012dd:	b8 00 00 00 00       	mov    $0x0,%eax
  4012e2:	e8 19 ff ff ff       	callq  401200 <prt>
  4012e7:	89 df                	mov    %ebx,%edi
  4012e9:	e8 b2 fb ff ff       	callq  400ea0 <exit@plt>

00000000004012ee <warn>:
  4012ee:	55                   	push   %rbp
  4012ef:	53                   	push   %rbx
  4012f0:	48 81 ec d8 00 00 00 	sub    $0xd8,%rsp
  4012f7:	48 89 74 24 28       	mov    %rsi,0x28(%rsp)
  4012fc:	48 89 54 24 30       	mov    %rdx,0x30(%rsp)
  401301:	48 89 4c 24 38       	mov    %rcx,0x38(%rsp)
  401306:	4c 89 44 24 40       	mov    %r8,0x40(%rsp)
  40130b:	4c 89 4c 24 48       	mov    %r9,0x48(%rsp)
  401310:	0f b6 c0             	movzbl %al,%eax
  401313:	48 8d 14 85 00 00 00 	lea    0x0(,%rax,4),%rdx
  40131a:	00 
  40131b:	b8 4d 13 40 00       	mov    $0x40134d,%eax
  401320:	48 29 d0             	sub    %rdx,%rax
  401323:	48 8d 94 24 cf 00 00 	lea    0xcf(%rsp),%rdx
  40132a:	00 
  40132b:	ff e0                	jmpq   *%rax
  40132d:	0f 29 7a f1          	movaps %xmm7,-0xf(%rdx)
  401331:	0f 29 72 e1          	movaps %xmm6,-0x1f(%rdx)
  401335:	0f 29 6a d1          	movaps %xmm5,-0x2f(%rdx)
  401339:	0f 29 62 c1          	movaps %xmm4,-0x3f(%rdx)
  40133d:	0f 29 5a b1          	movaps %xmm3,-0x4f(%rdx)
  401341:	0f 29 52 a1          	movaps %xmm2,-0x5f(%rdx)
  401345:	0f 29 4a 91          	movaps %xmm1,-0x6f(%rdx)
  401349:	0f 29 42 81          	movaps %xmm0,-0x7f(%rdx)
  40134d:	48 89 fb             	mov    %rdi,%rbx
  401350:	c7 04 24 08 00 00 00 	movl   $0x8,(%rsp)
  401357:	c7 44 24 04 30 00 00 	movl   $0x30,0x4(%rsp)
  40135e:	00 
  40135f:	48 8d 94 24 f0 00 00 	lea    0xf0(%rsp),%rdx
  401366:	00 
  401367:	48 89 54 24 08       	mov    %rdx,0x8(%rsp)
  40136c:	48 8d 54 24 20       	lea    0x20(%rsp),%rdx
  401371:	48 89 54 24 10       	mov    %rdx,0x10(%rsp)
  401376:	48 8b 05 13 36 20 00 	mov    0x203613(%rip),%rax        # 604990 <_DYNAMIC+0x170>
  40137d:	64 48 8b 14 25 00 00 	mov    %fs:0x0,%rdx
  401384:	00 00 
  401386:	8b 2c 02             	mov    (%rdx,%rax,1),%ebp
  401389:	48 8b 0d b0 37 20 00 	mov    0x2037b0(%rip),%rcx        # 604b40 <__stderrp>
  401390:	ba 05 00 00 00       	mov    $0x5,%edx
  401395:	be 01 00 00 00       	mov    $0x1,%esi
  40139a:	bf b6 3d 40 00       	mov    $0x403db6,%edi
  40139f:	e8 dc fa ff ff       	callq  400e80 <fwrite@plt>
  4013a4:	48 85 db             	test   %rbx,%rbx
  4013a7:	74 2d                	je     4013d6 <warn+0xe8>
  4013a9:	48 89 e2             	mov    %rsp,%rdx
  4013ac:	48 89 de             	mov    %rbx,%rsi
  4013af:	48 8b 3d 8a 37 20 00 	mov    0x20378a(%rip),%rdi        # 604b40 <__stderrp>
  4013b6:	e8 a5 fa ff ff       	callq  400e60 <vfprintf@plt>
  4013bb:	48 8b 0d 7e 37 20 00 	mov    0x20377e(%rip),%rcx        # 604b40 <__stderrp>
  4013c2:	ba 02 00 00 00       	mov    $0x2,%edx
  4013c7:	be 01 00 00 00       	mov    $0x1,%esi
  4013cc:	bf d2 3d 40 00       	mov    $0x403dd2,%edi
  4013d1:	e8 aa fa ff ff       	callq  400e80 <fwrite@plt>
  4013d6:	89 ef                	mov    %ebp,%edi
  4013d8:	e8 83 fb ff ff       	callq  400f60 <strerror@plt>
  4013dd:	48 89 c2             	mov    %rax,%rdx
  4013e0:	be c0 3d 40 00       	mov    $0x403dc0,%esi
  4013e5:	48 8b 3d 54 37 20 00 	mov    0x203754(%rip),%rdi        # 604b40 <__stderrp>
  4013ec:	b8 00 00 00 00       	mov    $0x0,%eax
  4013f1:	e8 ba fa ff ff       	callq  400eb0 <fprintf@plt>
  4013f6:	48 81 c4 d8 00 00 00 	add    $0xd8,%rsp
  4013fd:	5b                   	pop    %rbx
  4013fe:	5d                   	pop    %rbp
  4013ff:	c3                   	retq   

0000000000401400 <prterr>:
  401400:	53                   	push   %rbx
  401401:	48 89 fb             	mov    %rdi,%rbx
  401404:	48 8b 05 85 35 20 00 	mov    0x203585(%rip),%rax        # 604990 <_DYNAMIC+0x170>
  40140b:	64 48 8b 14 25 00 00 	mov    %fs:0x0,%rdx
  401412:	00 00 
  401414:	8b 3c 02             	mov    (%rdx,%rax,1),%edi
  401417:	e8 44 fb ff ff       	callq  400f60 <strerror@plt>
  40141c:	48 85 db             	test   %rbx,%rbx
  40141f:	ba b8 40 40 00       	mov    $0x4040b8,%edx
  401424:	b9 d2 3d 40 00       	mov    $0x403dd2,%ecx
  401429:	48 0f 45 d1          	cmovne %rcx,%rdx
  40142d:	48 89 c1             	mov    %rax,%rcx
  401430:	48 89 de             	mov    %rbx,%rsi
  401433:	bf bc 3d 40 00       	mov    $0x403dbc,%edi
  401438:	b8 00 00 00 00       	mov    $0x0,%eax
  40143d:	e8 be fd ff ff       	callq  401200 <prt>
  401442:	5b                   	pop    %rbx
  401443:	c3                   	retq   

0000000000401444 <report_failure>:
  401444:	41 57                	push   %r15
  401446:	41 56                	push   %r14
  401448:	41 55                	push   %r13
  40144a:	41 54                	push   %r12
  40144c:	55                   	push   %rbp
  40144d:	53                   	push   %rbx
  40144e:	48 83 ec 28          	sub    $0x28,%rsp
  401452:	89 7c 24 1c          	mov    %edi,0x1c(%rsp)
  401456:	8b 35 18 37 20 00    	mov    0x203718(%rip),%esi        # 604b74 <logcount>
  40145c:	bf 38 38 40 00       	mov    $0x403838,%edi
  401461:	b8 00 00 00 00       	mov    $0x0,%eax
  401466:	e8 95 fd ff ff       	callq  401200 <prt>
  40146b:	44 8b 25 02 37 20 00 	mov    0x203702(%rip),%r12d        # 604b74 <logcount>
  401472:	41 81 fc e7 03 00 00 	cmp    $0x3e7,%r12d
  401479:	7e 0e                	jle    401489 <report_failure+0x45>
  40147b:	8b 1d ef 36 20 00    	mov    0x2036ef(%rip),%ebx        # 604b70 <logptr>
  401481:	41 bc e8 03 00 00    	mov    $0x3e8,%r12d
  401487:	eb 13                	jmp    40149c <report_failure+0x58>
  401489:	bb 00 00 00 00       	mov    $0x0,%ebx
  40148e:	45 85 e4             	test   %r12d,%r12d
  401491:	7f 09                	jg     40149c <report_failure+0x58>
  401493:	e9 ab 02 00 00       	jmpq   401743 <report_failure+0x2ff>
  401498:	89 eb                	mov    %ebp,%ebx
  40149a:	eb 12                	jmp    4014ae <report_failure+0x6a>
  40149c:	41 bd d3 4d 62 10    	mov    $0x10624dd3,%r13d
  4014a2:	41 bf f0 42 40 00    	mov    $0x4042f0,%r15d
  4014a8:	41 be 00 00 00 00    	mov    $0x0,%r14d
  4014ae:	8d 6b 01             	lea    0x1(%rbx),%ebp
  4014b1:	8b 0d bd 36 20 00    	mov    0x2036bd(%rip),%ecx        # 604b74 <logcount>
  4014b7:	89 c8                	mov    %ecx,%eax
  4014b9:	41 f7 ed             	imul   %r13d
  4014bc:	c1 fa 06             	sar    $0x6,%edx
  4014bf:	c1 f9 1f             	sar    $0x1f,%ecx
  4014c2:	29 ca                	sub    %ecx,%edx
  4014c4:	69 f2 e8 03 00 00    	imul   $0x3e8,%edx,%esi
  4014ca:	8d 74 35 00          	lea    0x0(%rbp,%rsi,1),%esi
  4014ce:	89 f0                	mov    %esi,%eax
  4014d0:	c1 f8 1f             	sar    $0x1f,%eax
  4014d3:	c1 e8 18             	shr    $0x18,%eax
  4014d6:	8d 14 06             	lea    (%rsi,%rax,1),%edx
  4014d9:	81 e2 ff 00 00 00    	and    $0xff,%edx
  4014df:	29 c2                	sub    %eax,%edx
  4014e1:	bf c4 3d 40 00       	mov    $0x403dc4,%edi
  4014e6:	b8 00 00 00 00       	mov    $0x0,%eax
  4014eb:	e8 10 fd ff ff       	callq  401200 <prt>
  4014f0:	48 63 db             	movslq %ebx,%rbx
  4014f3:	48 c1 e3 04          	shl    $0x4,%rbx
  4014f7:	48 81 c3 20 4c 60 00 	add    $0x604c20,%rbx
  4014fe:	8b 03                	mov    (%rbx),%eax
  401500:	c1 e8 1f             	shr    $0x1f,%eax
  401503:	89 05 c7 36 20 00    	mov    %eax,0x2036c7(%rip)        # 604bd0 <closeopen>
  401509:	85 c0                	test   %eax,%eax
  40150b:	74 02                	je     40150f <report_failure+0xcb>
  40150d:	f7 13                	notl   (%rbx)
  40150f:	8b 33                	mov    (%rbx),%esi
  401511:	83 fe 07             	cmp    $0x7,%esi
  401514:	0f 87 dc 01 00 00    	ja     4016f6 <report_failure+0x2b2>
  40151a:	89 f0                	mov    %esi,%eax
  40151c:	41 ff 24 c7          	jmpq   *(%r15,%rax,8)
  401520:	8b 73 04             	mov    0x4(%rbx),%esi
  401523:	8b 4b 08             	mov    0x8(%rbx),%ecx
  401526:	8d 54 31 ff          	lea    -0x1(%rcx,%rsi,1),%edx
  40152a:	bf 60 38 40 00       	mov    $0x403860,%edi
  40152f:	b8 00 00 00 00       	mov    $0x0,%eax
  401534:	e8 c7 fc ff ff       	callq  401200 <prt>
  401539:	8b 53 04             	mov    0x4(%rbx),%edx
  40153c:	8b 05 e6 35 20 00    	mov    0x2035e6(%rip),%eax        # 604b28 <badoff>
  401542:	39 c2                	cmp    %eax,%edx
  401544:	0f 8f bb 01 00 00    	jg     401705 <report_failure+0x2c1>
  40154a:	03 53 08             	add    0x8(%rbx),%edx
  40154d:	39 d0                	cmp    %edx,%eax
  40154f:	0f 8d b0 01 00 00    	jge    401705 <report_failure+0x2c1>
  401555:	bf d5 3d 40 00       	mov    $0x403dd5,%edi
  40155a:	b8 00 00 00 00       	mov    $0x0,%eax
  40155f:	e8 9c fc ff ff       	callq  401200 <prt>
  401564:	e9 9c 01 00 00       	jmpq   401705 <report_failure+0x2c1>
  401569:	8b 73 04             	mov    0x4(%rbx),%esi
  40156c:	8b 4b 08             	mov    0x8(%rbx),%ecx
  40156f:	8d 54 31 ff          	lea    -0x1(%rcx,%rsi,1),%edx
  401573:	bf 88 38 40 00       	mov    $0x403888,%edi
  401578:	b8 00 00 00 00       	mov    $0x0,%eax
  40157d:	e8 7e fc ff ff       	callq  401200 <prt>
  401582:	8b 53 04             	mov    0x4(%rbx),%edx
  401585:	8b 05 9d 35 20 00    	mov    0x20359d(%rip),%eax        # 604b28 <badoff>
  40158b:	39 c2                	cmp    %eax,%edx
  40158d:	0f 8f 72 01 00 00    	jg     401705 <report_failure+0x2c1>
  401593:	03 53 08             	add    0x8(%rbx),%edx
  401596:	39 d0                	cmp    %edx,%eax
  401598:	0f 8d 67 01 00 00    	jge    401705 <report_failure+0x2c1>
  40159e:	bf e1 3d 40 00       	mov    $0x403de1,%edi
  4015a3:	b8 00 00 00 00       	mov    $0x0,%eax
  4015a8:	e8 53 fc ff ff       	callq  401200 <prt>
  4015ad:	e9 53 01 00 00       	jmpq   401705 <report_failure+0x2c1>
  4015b2:	8b 73 04             	mov    0x4(%rbx),%esi
  4015b5:	8b 4b 08             	mov    0x8(%rbx),%ecx
  4015b8:	8d 54 31 ff          	lea    -0x1(%rcx,%rsi,1),%edx
  4015bc:	bf b0 38 40 00       	mov    $0x4038b0,%edi
  4015c1:	b8 00 00 00 00       	mov    $0x0,%eax
  4015c6:	e8 35 fc ff ff       	callq  401200 <prt>
  4015cb:	8b 53 04             	mov    0x4(%rbx),%edx
  4015ce:	8b 05 54 35 20 00    	mov    0x203554(%rip),%eax        # 604b28 <badoff>
  4015d4:	39 c2                	cmp    %eax,%edx
  4015d6:	0f 8f 29 01 00 00    	jg     401705 <report_failure+0x2c1>
  4015dc:	03 53 08             	add    0x8(%rbx),%edx
  4015df:	39 d0                	cmp    %edx,%eax
  4015e1:	0f 8d 1e 01 00 00    	jge    401705 <report_failure+0x2c1>
  4015e7:	bf d5 3d 40 00       	mov    $0x403dd5,%edi
  4015ec:	b8 00 00 00 00       	mov    $0x0,%eax
  4015f1:	e8 0a fc ff ff       	callq  401200 <prt>
  4015f6:	e9 0a 01 00 00       	jmpq   401705 <report_failure+0x2c1>
  4015fb:	8b 73 04             	mov    0x4(%rbx),%esi
  4015fe:	8b 4b 08             	mov    0x8(%rbx),%ecx
  401601:	8d 54 31 ff          	lea    -0x1(%rcx,%rsi,1),%edx
  401605:	bf d8 38 40 00       	mov    $0x4038d8,%edi
  40160a:	b8 00 00 00 00       	mov    $0x0,%eax
  40160f:	e8 ec fb ff ff       	callq  401200 <prt>
  401614:	8b 53 04             	mov    0x4(%rbx),%edx
  401617:	8b 43 0c             	mov    0xc(%rbx),%eax
  40161a:	39 c2                	cmp    %eax,%edx
  40161c:	7e 11                	jle    40162f <report_failure+0x1eb>
  40161e:	bf ed 3d 40 00       	mov    $0x403ded,%edi
  401623:	b8 00 00 00 00       	mov    $0x0,%eax
  401628:	e8 d3 fb ff ff       	callq  401200 <prt>
  40162d:	eb 16                	jmp    401645 <report_failure+0x201>
  40162f:	03 53 08             	add    0x8(%rbx),%edx
  401632:	39 d0                	cmp    %edx,%eax
  401634:	7d 0f                	jge    401645 <report_failure+0x201>
  401636:	bf f3 3d 40 00       	mov    $0x403df3,%edi
  40163b:	b8 00 00 00 00       	mov    $0x0,%eax
  401640:	e8 bb fb ff ff       	callq  401200 <prt>
  401645:	8b 53 04             	mov    0x4(%rbx),%edx
  401648:	8b 05 da 34 20 00    	mov    0x2034da(%rip),%eax        # 604b28 <badoff>
  40164e:	39 c2                	cmp    %eax,%edx
  401650:	7e 09                	jle    40165b <report_failure+0x217>
  401652:	3b 43 0c             	cmp    0xc(%rbx),%eax
  401655:	0f 8c aa 00 00 00    	jl     401705 <report_failure+0x2c1>
  40165b:	03 53 08             	add    0x8(%rbx),%edx
  40165e:	39 d0                	cmp    %edx,%eax
  401660:	0f 8d 9f 00 00 00    	jge    401705 <report_failure+0x2c1>
  401666:	bf fb 3d 40 00       	mov    $0x403dfb,%edi
  40166b:	b8 00 00 00 00       	mov    $0x0,%eax
  401670:	e8 8b fb ff ff       	callq  401200 <prt>
  401675:	e9 8b 00 00 00       	jmpq   401705 <report_failure+0x2c1>
  40167a:	8b 4b 04             	mov    0x4(%rbx),%ecx
  40167d:	8b 53 08             	mov    0x8(%rbx),%edx
  401680:	39 d1                	cmp    %edx,%ecx
  401682:	0f 9c c0             	setl   %al
  401685:	0f b6 c0             	movzbl %al,%eax
  401688:	89 04 24             	mov    %eax,(%rsp)
  40168b:	85 c0                	test   %eax,%eax
  40168d:	be 04 3e 40 00       	mov    $0x403e04,%esi
  401692:	b8 07 3e 40 00       	mov    $0x403e07,%eax
  401697:	48 0f 45 f0          	cmovne %rax,%rsi
  40169b:	bf 0c 3e 40 00       	mov    $0x403e0c,%edi
  4016a0:	b8 00 00 00 00       	mov    $0x0,%eax
  4016a5:	e8 56 fb ff ff       	callq  401200 <prt>
  4016aa:	8b 15 78 34 20 00    	mov    0x203478(%rip),%edx        # 604b28 <badoff>
  4016b0:	83 3c 24 01          	cmpl   $0x1,(%rsp)
  4016b4:	48 19 c0             	sbb    %rax,%rax
  4016b7:	83 e0 04             	and    $0x4,%eax
  4016ba:	39 54 03 04          	cmp    %edx,0x4(%rbx,%rax,1)
  4016be:	7f 45                	jg     401705 <report_failure+0x2c1>
  4016c0:	8b 04 24             	mov    (%rsp),%eax
  4016c3:	48 c1 e0 3f          	shl    $0x3f,%rax
  4016c7:	48 c1 f8 3f          	sar    $0x3f,%rax
  4016cb:	83 e0 04             	and    $0x4,%eax
  4016ce:	3b 54 03 04          	cmp    0x4(%rbx,%rax,1),%edx
  4016d2:	7d 31                	jge    401705 <report_failure+0x2c1>
  4016d4:	bf e1 3d 40 00       	mov    $0x403de1,%edi
  4016d9:	b8 00 00 00 00       	mov    $0x0,%eax
  4016de:	e8 1d fb ff ff       	callq  401200 <prt>
  4016e3:	eb 20                	jmp    401705 <report_failure+0x2c1>
  4016e5:	bf 2a 3e 40 00       	mov    $0x403e2a,%edi
  4016ea:	b8 00 00 00 00       	mov    $0x0,%eax
  4016ef:	e8 0c fb ff ff       	callq  401200 <prt>
  4016f4:	eb 0f                	jmp    401705 <report_failure+0x2c1>
  4016f6:	bf 00 39 40 00       	mov    $0x403900,%edi
  4016fb:	b8 00 00 00 00       	mov    $0x0,%eax
  401700:	e8 fb fa ff ff       	callq  401200 <prt>
  401705:	83 3d c4 34 20 00 00 	cmpl   $0x0,0x2034c4(%rip)        # 604bd0 <closeopen>
  40170c:	74 0f                	je     40171d <report_failure+0x2d9>
  40170e:	bf 41 3e 40 00       	mov    $0x403e41,%edi
  401713:	b8 00 00 00 00       	mov    $0x0,%eax
  401718:	e8 e3 fa ff ff       	callq  401200 <prt>
  40171d:	bf b7 40 40 00       	mov    $0x4040b7,%edi
  401722:	b8 00 00 00 00       	mov    $0x0,%eax
  401727:	e8 d4 fa ff ff       	callq  401200 <prt>
  40172c:	81 fd e8 03 00 00    	cmp    $0x3e8,%ebp
  401732:	41 0f 44 ee          	cmove  %r14d,%ebp
  401736:	41 83 ec 01          	sub    $0x1,%r12d
  40173a:	45 85 e4             	test   %r12d,%r12d
  40173d:	0f 8f 55 fd ff ff    	jg     401498 <report_failure+0x54>
  401743:	8b 1d 77 34 20 00    	mov    0x203477(%rip),%ebx        # 604bc0 <fsxgoodfd>
  401749:	85 db                	test   %ebx,%ebx
  40174b:	0f 84 05 01 00 00    	je     401856 <report_failure+0x412>
  401751:	48 8b 2d c8 74 20 00 	mov    0x2074c8(%rip),%rbp        # 608c20 <good_buf>
  401758:	48 85 ed             	test   %rbp,%rbp
  40175b:	0f 84 ea 00 00 00    	je     40184b <report_failure+0x407>
  401761:	4c 8b 2d 10 34 20 00 	mov    0x203410(%rip),%r13        # 604b78 <file_size>
  401768:	85 db                	test   %ebx,%ebx
  40176a:	0f 8e b3 00 00 00    	jle    401823 <report_failure+0x3df>
  401770:	4d 85 ed             	test   %r13,%r13
  401773:	0f 84 aa 00 00 00    	je     401823 <report_failure+0x3df>
  401779:	83 3d 3c 34 20 00 00 	cmpl   $0x0,0x20343c(%rip)        # 604bbc <lite>
  401780:	74 45                	je     4017c7 <report_failure+0x383>
  401782:	ba 02 00 00 00       	mov    $0x2,%edx
  401787:	be 00 00 00 00       	mov    $0x0,%esi
  40178c:	89 df                	mov    %ebx,%edi
  40178e:	e8 3d f6 ff ff       	callq  400dd0 <lseek@plt>
  401793:	49 89 c4             	mov    %rax,%r12
  401796:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  40179a:	75 0f                	jne    4017ab <report_failure+0x367>
  40179c:	bf 4f 3e 40 00       	mov    $0x403e4f,%edi
  4017a1:	e8 5a fc ff ff       	callq  401400 <prterr>
  4017a6:	4d 89 ec             	mov    %r13,%r12
  4017a9:	eb 1f                	jmp    4017ca <report_failure+0x386>
  4017ab:	49 39 c5             	cmp    %rax,%r13
  4017ae:	7e 17                	jle    4017c7 <report_failure+0x383>
  4017b0:	4c 89 ea             	mov    %r13,%rdx
  4017b3:	48 89 c6             	mov    %rax,%rsi
  4017b6:	bf 28 39 40 00       	mov    $0x403928,%edi
  4017bb:	b8 00 00 00 00       	mov    $0x0,%eax
  4017c0:	e8 29 fb ff ff       	callq  4012ee <warn>
  4017c5:	eb 03                	jmp    4017ca <report_failure+0x386>
  4017c7:	4d 89 ec             	mov    %r13,%r12
  4017ca:	ba 00 00 00 00       	mov    $0x0,%edx
  4017cf:	be 00 00 00 00       	mov    $0x0,%esi
  4017d4:	89 df                	mov    %ebx,%edi
  4017d6:	e8 f5 f5 ff ff       	callq  400dd0 <lseek@plt>
  4017db:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  4017df:	75 0a                	jne    4017eb <report_failure+0x3a7>
  4017e1:	bf 66 3e 40 00       	mov    $0x403e66,%edi
  4017e6:	e8 15 fc ff ff       	callq  401400 <prterr>
  4017eb:	4c 89 e2             	mov    %r12,%rdx
  4017ee:	48 89 ee             	mov    %rbp,%rsi
  4017f1:	89 df                	mov    %ebx,%edi
  4017f3:	e8 a8 f5 ff ff       	callq  400da0 <write@plt>
  4017f8:	49 39 c4             	cmp    %rax,%r12
  4017fb:	74 26                	je     401823 <report_failure+0x3df>
  4017fd:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  401801:	75 0c                	jne    40180f <report_failure+0x3cb>
  401803:	bf 7b 3e 40 00       	mov    $0x403e7b,%edi
  401808:	e8 f3 fb ff ff       	callq  401400 <prterr>
  40180d:	eb 14                	jmp    401823 <report_failure+0x3df>
  40180f:	4c 89 e2             	mov    %r12,%rdx
  401812:	89 c6                	mov    %eax,%esi
  401814:	bf 80 39 40 00       	mov    $0x403980,%edi
  401819:	b8 00 00 00 00       	mov    $0x0,%eax
  40181e:	e8 cb fa ff ff       	callq  4012ee <warn>
  401823:	bf b8 39 40 00       	mov    $0x4039b8,%edi
  401828:	b8 00 00 00 00       	mov    $0x0,%eax
  40182d:	e8 ce f9 ff ff       	callq  401200 <prt>
  401832:	48 8b 35 d7 33 20 00 	mov    0x2033d7(%rip),%rsi        # 604c10 <fname>
  401839:	48 89 f2             	mov    %rsi,%rdx
  40183c:	bf e0 39 40 00       	mov    $0x4039e0,%edi
  401841:	b8 00 00 00 00       	mov    $0x0,%eax
  401846:	e8 b5 f9 ff ff       	callq  401200 <prt>
  40184b:	8b 3d 6f 33 20 00    	mov    0x20336f(%rip),%edi        # 604bc0 <fsxgoodfd>
  401851:	e8 8a f6 ff ff       	callq  400ee0 <close@plt>
  401856:	8b 7c 24 1c          	mov    0x1c(%rsp),%edi
  40185a:	e8 41 f6 ff ff       	callq  400ea0 <exit@plt>

000000000040185f <check_eofpage>:
  40185f:	41 54                	push   %r12
  401861:	55                   	push   %rbp
  401862:	53                   	push   %rbx
  401863:	49 89 fc             	mov    %rdi,%r12
  401866:	8b 2d 40 72 20 00    	mov    0x207240(%rip),%ebp        # 608aac <page_mask>
  40186c:	48 8b 05 05 33 20 00 	mov    0x203305(%rip),%rax        # 604b78 <file_size>
  401873:	8d 3c 31             	lea    (%rcx,%rsi,1),%edi
  401876:	89 eb                	mov    %ebp,%ebx
  401878:	f7 d3                	not    %ebx
  40187a:	48 63 db             	movslq %ebx,%rbx
  40187d:	48 21 c3             	and    %rax,%rbx
  401880:	48 39 df             	cmp    %rbx,%rdi
  401883:	0f 8e 84 00 00 00    	jle    40190d <check_eofpage+0xae>
  401889:	48 63 dd             	movslq %ebp,%rbx
  40188c:	21 f5                	and    %esi,%ebp
  40188e:	48 8d 2c 2a          	lea    (%rdx,%rbp,1),%rbp
  401892:	48 63 c9             	movslq %ecx,%rcx
  401895:	48 01 cd             	add    %rcx,%rbp
  401898:	48 89 df             	mov    %rbx,%rdi
  40189b:	48 f7 d7             	not    %rdi
  40189e:	48 21 fd             	and    %rdi,%rbp
  4018a1:	48 21 c3             	and    %rax,%rbx
  4018a4:	48 8d 5c 1d 00       	lea    0x0(%rbp,%rbx,1),%rbx
  4018a9:	48 63 05 f8 71 20 00 	movslq 0x2071f8(%rip),%rax        # 608aa8 <page_size>
  4018b0:	48 8d 44 05 00       	lea    0x0(%rbp,%rax,1),%rax
  4018b5:	48 39 c3             	cmp    %rax,%rbx
  4018b8:	7d 53                	jge    40190d <check_eofpage+0xae>
  4018ba:	44 0f b6 03          	movzbl (%rbx),%r8d
  4018be:	45 84 c0             	test   %r8b,%r8b
  4018c1:	74 35                	je     4018f8 <check_eofpage+0x99>
  4018c3:	48 63 0d e2 71 20 00 	movslq 0x2071e2(%rip),%rcx        # 608aac <page_mask>
  4018ca:	48 21 d9             	and    %rbx,%rcx
  4018cd:	48 8b 15 a4 32 20 00 	mov    0x2032a4(%rip),%rdx        # 604b78 <file_size>
  4018d4:	48 83 ea 01          	sub    $0x1,%rdx
  4018d8:	45 0f be c0          	movsbl %r8b,%r8d
  4018dc:	4c 89 e6             	mov    %r12,%rsi
  4018df:	bf 08 3a 40 00       	mov    $0x403a08,%edi
  4018e4:	b8 00 00 00 00       	mov    $0x0,%eax
  4018e9:	e8 12 f9 ff ff       	callq  401200 <prt>
  4018ee:	bf cd 00 00 00       	mov    $0xcd,%edi
  4018f3:	e8 4c fb ff ff       	callq  401444 <report_failure>
  4018f8:	48 83 c3 01          	add    $0x1,%rbx
  4018fc:	48 63 05 a5 71 20 00 	movslq 0x2071a5(%rip),%rax        # 608aa8 <page_size>
  401903:	48 8d 44 05 00       	lea    0x0(%rbp,%rax,1),%rax
  401908:	48 39 d8             	cmp    %rbx,%rax
  40190b:	7f ad                	jg     4018ba <check_eofpage+0x5b>
  40190d:	5b                   	pop    %rbx
  40190e:	5d                   	pop    %rbp
  40190f:	41 5c                	pop    %r12
  401911:	c3                   	retq   

0000000000401912 <dotruncate>:
  401912:	48 89 5c 24 e8       	mov    %rbx,-0x18(%rsp)
  401917:	48 89 6c 24 f0       	mov    %rbp,-0x10(%rsp)
  40191c:	4c 89 64 24 f8       	mov    %r12,-0x8(%rsp)
  401921:	48 83 ec 18          	sub    $0x18,%rsp
  401925:	4c 8b 25 4c 32 20 00 	mov    0x20324c(%rip),%r12        # 604b78 <file_size>
  40192c:	89 f8                	mov    %edi,%eax
  40192e:	ba 00 00 00 00       	mov    $0x0,%edx
  401933:	f7 35 bb 31 20 00    	divl   0x2031bb(%rip)        # 604af4 <truncbdy>
  401939:	89 fd                	mov    %edi,%ebp
  40193b:	29 d5                	sub    %edx,%ebp
  40193d:	89 eb                	mov    %ebp,%ebx
  40193f:	48 3b 1d 3a 32 20 00 	cmp    0x20323a(%rip),%rbx        # 604b80 <biggest>
  401946:	7e 31                	jle    401979 <dotruncate+0x67>
  401948:	48 89 1d 31 32 20 00 	mov    %rbx,0x203231(%rip)        # 604b80 <biggest>
  40194f:	83 3d 52 32 20 00 00 	cmpl   $0x0,0x203252(%rip)        # 604ba8 <quiet>
  401956:	75 21                	jne    401979 <dotruncate+0x67>
  401958:	48 8b 05 31 32 20 00 	mov    0x203231(%rip),%rax        # 604b90 <simulatedopcount>
  40195f:	48 39 05 22 32 20 00 	cmp    %rax,0x203222(%rip)        # 604b88 <testcalls>
  401966:	76 11                	jbe    401979 <dotruncate+0x67>
  401968:	89 ee                	mov    %ebp,%esi
  40196a:	bf 50 3a 40 00       	mov    $0x403a50,%edi
  40196f:	b8 00 00 00 00       	mov    $0x0,%eax
  401974:	e8 87 f8 ff ff       	callq  401200 <prt>
  401979:	b9 00 00 00 00       	mov    $0x0,%ecx
  40197e:	8b 15 f4 31 20 00    	mov    0x2031f4(%rip),%edx        # 604b78 <file_size>
  401984:	89 ee                	mov    %ebp,%esi
  401986:	bf 03 00 00 00       	mov    $0x3,%edi
  40198b:	e8 60 f7 ff ff       	callq  4010f0 <log4>
  401990:	48 8b 3d e1 31 20 00 	mov    0x2031e1(%rip),%rdi        # 604b78 <file_size>
  401997:	48 39 fb             	cmp    %rdi,%rbx
  40199a:	7e 17                	jle    4019b3 <dotruncate+0xa1>
  40199c:	48 89 da             	mov    %rbx,%rdx
  40199f:	48 29 fa             	sub    %rdi,%rdx
  4019a2:	48 03 3d 77 72 20 00 	add    0x207277(%rip),%rdi        # 608c20 <good_buf>
  4019a9:	be 00 00 00 00       	mov    $0x0,%esi
  4019ae:	e8 3d f4 ff ff       	callq  400df0 <memset@plt>
  4019b3:	48 89 1d be 31 20 00 	mov    %rbx,0x2031be(%rip)        # 604b78 <file_size>
  4019ba:	48 8b 35 c7 31 20 00 	mov    0x2031c7(%rip),%rsi        # 604b88 <testcalls>
  4019c1:	48 3b 35 c8 31 20 00 	cmp    0x2031c8(%rip),%rsi        # 604b90 <simulatedopcount>
  4019c8:	0f 86 8d 00 00 00    	jbe    401a5b <dotruncate+0x149>
  4019ce:	48 8b 0d db 31 20 00 	mov    0x2031db(%rip),%rcx        # 604bb0 <progressinterval>
  4019d5:	48 85 c9             	test   %rcx,%rcx
  4019d8:	74 10                	je     4019ea <dotruncate+0xd8>
  4019da:	48 89 f0             	mov    %rsi,%rax
  4019dd:	ba 00 00 00 00       	mov    $0x0,%edx
  4019e2:	48 f7 f1             	div    %rcx
  4019e5:	48 85 d2             	test   %rdx,%rdx
  4019e8:	74 25                	je     401a0f <dotruncate+0xfd>
  4019ea:	83 3d ab 31 20 00 00 	cmpl   $0x0,0x2031ab(%rip)        # 604b9c <debug>
  4019f1:	74 30                	je     401a23 <dotruncate+0x111>
  4019f3:	48 83 3d 05 31 20 00 	cmpq   $0xffffffffffffffff,0x203105(%rip)        # 604b00 <monitorstart>
  4019fa:	ff 
  4019fb:	74 12                	je     401a0f <dotruncate+0xfd>
  4019fd:	48 8b 05 04 31 20 00 	mov    0x203104(%rip),%rax        # 604b08 <monitorend>
  401a04:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  401a08:	74 05                	je     401a0f <dotruncate+0xfd>
  401a0a:	48 39 c3             	cmp    %rax,%rbx
  401a0d:	7f 14                	jg     401a23 <dotruncate+0x111>
  401a0f:	89 e9                	mov    %ebp,%ecx
  401a11:	44 89 e2             	mov    %r12d,%edx
  401a14:	bf 8d 3e 40 00       	mov    $0x403e8d,%edi
  401a19:	b8 00 00 00 00       	mov    $0x0,%eax
  401a1e:	e8 dd f7 ff ff       	callq  401200 <prt>
  401a23:	48 89 de             	mov    %rbx,%rsi
  401a26:	8b 3d fc 71 20 00    	mov    0x2071fc(%rip),%edi        # 608c28 <fd>
  401a2c:	e8 0f f5 ff ff       	callq  400f40 <ftruncate@plt>
  401a31:	83 f8 ff             	cmp    $0xffffffff,%eax
  401a34:	75 25                	jne    401a5b <dotruncate+0x149>
  401a36:	89 ee                	mov    %ebp,%esi
  401a38:	bf aa 3e 40 00       	mov    $0x403eaa,%edi
  401a3d:	b8 00 00 00 00       	mov    $0x0,%eax
  401a42:	e8 b9 f7 ff ff       	callq  401200 <prt>
  401a47:	bf ba 3e 40 00       	mov    $0x403eba,%edi
  401a4c:	e8 af f9 ff ff       	callq  401400 <prterr>
  401a51:	bf a0 00 00 00       	mov    $0xa0,%edi
  401a56:	e8 e9 f9 ff ff       	callq  401444 <report_failure>
  401a5b:	48 8b 1c 24          	mov    (%rsp),%rbx
  401a5f:	48 8b 6c 24 08       	mov    0x8(%rsp),%rbp
  401a64:	4c 8b 64 24 10       	mov    0x10(%rsp),%r12
  401a69:	48 83 c4 18          	add    $0x18,%rsp
  401a6d:	c3                   	retq   

0000000000401a6e <writefileimage>:
  401a6e:	48 83 ec 08          	sub    $0x8,%rsp
  401a72:	ba 00 00 00 00       	mov    $0x0,%edx
  401a77:	be 00 00 00 00       	mov    $0x0,%esi
  401a7c:	8b 3d a6 71 20 00    	mov    0x2071a6(%rip),%edi        # 608c28 <fd>
  401a82:	e8 49 f3 ff ff       	callq  400dd0 <lseek@plt>
  401a87:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  401a8b:	75 14                	jne    401aa1 <writefileimage+0x33>
  401a8d:	bf d0 3e 40 00       	mov    $0x403ed0,%edi
  401a92:	e8 69 f9 ff ff       	callq  401400 <prterr>
  401a97:	bf ab 00 00 00       	mov    $0xab,%edi
  401a9c:	e8 a3 f9 ff ff       	callq  401444 <report_failure>
  401aa1:	48 8b 15 d0 30 20 00 	mov    0x2030d0(%rip),%rdx        # 604b78 <file_size>
  401aa8:	48 8b 35 71 71 20 00 	mov    0x207171(%rip),%rsi        # 608c20 <good_buf>
  401aaf:	8b 3d 73 71 20 00    	mov    0x207173(%rip),%edi        # 608c28 <fd>
  401ab5:	e8 e6 f2 ff ff       	callq  400da0 <write@plt>
  401aba:	48 8b 15 b7 30 20 00 	mov    0x2030b7(%rip),%rdx        # 604b78 <file_size>
  401ac1:	48 39 d0             	cmp    %rdx,%rax
  401ac4:	74 2e                	je     401af4 <writefileimage+0x86>
  401ac6:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  401aca:	75 0c                	jne    401ad8 <writefileimage+0x6a>
  401acc:	bf e6 3e 40 00       	mov    $0x403ee6,%edi
  401ad1:	e8 2a f9 ff ff       	callq  401400 <prterr>
  401ad6:	eb 12                	jmp    401aea <writefileimage+0x7c>
  401ad8:	48 89 c6             	mov    %rax,%rsi
  401adb:	bf 78 3a 40 00       	mov    $0x403a78,%edi
  401ae0:	b8 00 00 00 00       	mov    $0x0,%eax
  401ae5:	e8 16 f7 ff ff       	callq  401200 <prt>
  401aea:	bf ac 00 00 00       	mov    $0xac,%edi
  401aef:	e8 50 f9 ff ff       	callq  401444 <report_failure>
  401af4:	83 3d c1 30 20 00 00 	cmpl   $0x0,0x2030c1(%rip)        # 604bbc <lite>
  401afb:	75 41                	jne    401b3e <writefileimage+0xd0>
  401afd:	48 8b 35 74 30 20 00 	mov    0x203074(%rip),%rsi        # 604b78 <file_size>
  401b04:	8b 3d 1e 71 20 00    	mov    0x20711e(%rip),%edi        # 608c28 <fd>
  401b0a:	e8 31 f4 ff ff       	callq  400f40 <ftruncate@plt>
  401b0f:	83 f8 ff             	cmp    $0xffffffff,%eax
  401b12:	75 2a                	jne    401b3e <writefileimage+0xd0>
  401b14:	48 8b 35 5d 30 20 00 	mov    0x20305d(%rip),%rsi        # 604b78 <file_size>
  401b1b:	bf fc 3e 40 00       	mov    $0x403efc,%edi
  401b20:	b8 00 00 00 00       	mov    $0x0,%eax
  401b25:	e8 d6 f6 ff ff       	callq  401200 <prt>
  401b2a:	bf 0d 3f 40 00       	mov    $0x403f0d,%edi
  401b2f:	e8 cc f8 ff ff       	callq  401400 <prterr>
  401b34:	bf ad 00 00 00       	mov    $0xad,%edi
  401b39:	e8 06 f9 ff ff       	callq  401444 <report_failure>
  401b3e:	48 83 c4 08          	add    $0x8,%rsp
  401b42:	c3                   	retq   

0000000000401b43 <domapwrite>:
  401b43:	48 89 5c 24 e8       	mov    %rbx,-0x18(%rsp)
  401b48:	48 89 6c 24 f0       	mov    %rbp,-0x10(%rsp)
  401b4d:	4c 89 64 24 f8       	mov    %r12,-0x8(%rsp)
  401b52:	48 83 ec 48          	sub    $0x48,%rsp
  401b56:	89 74 24 08          	mov    %esi,0x8(%rsp)
  401b5a:	89 f8                	mov    %edi,%eax
  401b5c:	ba 00 00 00 00       	mov    $0x0,%edx
  401b61:	f7 35 91 2f 20 00    	divl   0x202f91(%rip)        # 604af8 <writebdy>
  401b67:	29 d7                	sub    %edx,%edi
  401b69:	89 7c 24 0c          	mov    %edi,0xc(%rsp)
  401b6d:	85 f6                	test   %esi,%esi
  401b6f:	75 45                	jne    401bb6 <domapwrite+0x73>
  401b71:	83 3d 30 30 20 00 00 	cmpl   $0x0,0x203030(%rip)        # 604ba8 <quiet>
  401b78:	75 1f                	jne    401b99 <domapwrite+0x56>
  401b7a:	48 8b 05 0f 30 20 00 	mov    0x20300f(%rip),%rax        # 604b90 <simulatedopcount>
  401b81:	48 39 05 00 30 20 00 	cmp    %rax,0x203000(%rip)        # 604b88 <testcalls>
  401b88:	76 0f                	jbe    401b99 <domapwrite+0x56>
  401b8a:	bf 27 3f 40 00       	mov    $0x403f27,%edi
  401b8f:	b8 00 00 00 00       	mov    $0x0,%eax
  401b94:	e8 67 f6 ff ff       	callq  401200 <prt>
  401b99:	b9 00 00 00 00       	mov    $0x0,%ecx
  401b9e:	8b 54 24 0c          	mov    0xc(%rsp),%edx
  401ba2:	be 06 00 00 00       	mov    $0x6,%esi
  401ba7:	bf 07 00 00 00       	mov    $0x7,%edi
  401bac:	e8 3f f5 ff ff       	callq  4010f0 <log4>
  401bb1:	e9 63 02 00 00       	jmpq   401e19 <domapwrite+0x2d6>
  401bb6:	4c 8b 25 bb 2f 20 00 	mov    0x202fbb(%rip),%r12        # 604b78 <file_size>
  401bbd:	8b 44 24 08          	mov    0x8(%rsp),%eax
  401bc1:	89 44 24 2c          	mov    %eax,0x2c(%rsp)
  401bc5:	b9 00 00 00 00       	mov    $0x0,%ecx
  401bca:	89 c2                	mov    %eax,%edx
  401bcc:	8b 74 24 0c          	mov    0xc(%rsp),%esi
  401bd0:	bf 06 00 00 00       	mov    $0x6,%edi
  401bd5:	e8 16 f5 ff ff       	callq  4010f0 <log4>
  401bda:	8b 4c 24 08          	mov    0x8(%rsp),%ecx
  401bde:	8b 54 24 0c          	mov    0xc(%rsp),%edx
  401be2:	48 8b 35 37 70 20 00 	mov    0x207037(%rip),%rsi        # 608c20 <good_buf>
  401be9:	48 8b 3d b0 6e 20 00 	mov    0x206eb0(%rip),%rdi        # 608aa0 <original_buf>
  401bf0:	e8 4b f5 ff ff       	callq  401140 <gendata>
  401bf5:	8b 6c 24 0c          	mov    0xc(%rsp),%ebp
  401bf9:	03 6c 24 08          	add    0x8(%rsp),%ebp
  401bfd:	89 eb                	mov    %ebp,%ebx
  401bff:	48 8b 3d 72 2f 20 00 	mov    0x202f72(%rip),%rdi        # 604b78 <file_size>
  401c06:	48 39 fb             	cmp    %rdi,%rbx
  401c09:	7e 46                	jle    401c51 <domapwrite+0x10e>
  401c0b:	8b 54 24 0c          	mov    0xc(%rsp),%edx
  401c0f:	48 39 d7             	cmp    %rdx,%rdi
  401c12:	7d 14                	jge    401c28 <domapwrite+0xe5>
  401c14:	48 29 fa             	sub    %rdi,%rdx
  401c17:	48 03 3d 02 70 20 00 	add    0x207002(%rip),%rdi        # 608c20 <good_buf>
  401c1e:	be 00 00 00 00       	mov    $0x0,%esi
  401c23:	e8 c8 f1 ff ff       	callq  400df0 <memset@plt>
  401c28:	48 89 1d 49 2f 20 00 	mov    %rbx,0x202f49(%rip)        # 604b78 <file_size>
  401c2f:	83 3d 86 2f 20 00 00 	cmpl   $0x0,0x202f86(%rip)        # 604bbc <lite>
  401c36:	74 19                	je     401c51 <domapwrite+0x10e>
  401c38:	bf 41 3f 40 00       	mov    $0x403f41,%edi
  401c3d:	b8 00 00 00 00       	mov    $0x0,%eax
  401c42:	e8 a7 f6 ff ff       	callq  4012ee <warn>
  401c47:	bf c8 00 00 00       	mov    $0xc8,%edi
  401c4c:	e8 f3 f7 ff ff       	callq  401444 <report_failure>
  401c51:	48 8b 35 30 2f 20 00 	mov    0x202f30(%rip),%rsi        # 604b88 <testcalls>
  401c58:	48 3b 35 31 2f 20 00 	cmp    0x202f31(%rip),%rsi        # 604b90 <simulatedopcount>
  401c5f:	0f 86 b4 01 00 00    	jbe    401e19 <domapwrite+0x2d6>
  401c65:	83 3d 3c 2f 20 00 00 	cmpl   $0x0,0x202f3c(%rip)        # 604ba8 <quiet>
  401c6c:	75 68                	jne    401cd6 <domapwrite+0x193>
  401c6e:	48 8b 0d 3b 2f 20 00 	mov    0x202f3b(%rip),%rcx        # 604bb0 <progressinterval>
  401c75:	48 85 c9             	test   %rcx,%rcx
  401c78:	74 10                	je     401c8a <domapwrite+0x147>
  401c7a:	48 89 f0             	mov    %rsi,%rax
  401c7d:	ba 00 00 00 00       	mov    $0x0,%edx
  401c82:	48 f7 f1             	div    %rcx
  401c85:	48 85 d2             	test   %rdx,%rdx
  401c88:	74 31                	je     401cbb <domapwrite+0x178>
  401c8a:	83 3d 0b 2f 20 00 00 	cmpl   $0x0,0x202f0b(%rip)        # 604b9c <debug>
  401c91:	74 43                	je     401cd6 <domapwrite+0x193>
  401c93:	48 8b 05 66 2e 20 00 	mov    0x202e66(%rip),%rax        # 604b00 <monitorstart>
  401c9a:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  401c9e:	74 1b                	je     401cbb <domapwrite+0x178>
  401ca0:	48 39 c3             	cmp    %rax,%rbx
  401ca3:	7e 31                	jle    401cd6 <domapwrite+0x193>
  401ca5:	48 8b 05 5c 2e 20 00 	mov    0x202e5c(%rip),%rax        # 604b08 <monitorend>
  401cac:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  401cb0:	74 09                	je     401cbb <domapwrite+0x178>
  401cb2:	8b 54 24 0c          	mov    0xc(%rsp),%edx
  401cb6:	48 39 d0             	cmp    %rdx,%rax
  401cb9:	7c 1b                	jl     401cd6 <domapwrite+0x193>
  401cbb:	8d 4d ff             	lea    -0x1(%rbp),%ecx
  401cbe:	44 8b 44 24 08       	mov    0x8(%rsp),%r8d
  401cc3:	8b 54 24 0c          	mov    0xc(%rsp),%edx
  401cc7:	bf a8 3a 40 00       	mov    $0x403aa8,%edi
  401ccc:	b8 00 00 00 00       	mov    $0x0,%eax
  401cd1:	e8 2a f5 ff ff       	callq  401200 <prt>
  401cd6:	48 8b 35 9b 2e 20 00 	mov    0x202e9b(%rip),%rsi        # 604b78 <file_size>
  401cdd:	49 39 f4             	cmp    %rsi,%r12
  401ce0:	7d 24                	jge    401d06 <domapwrite+0x1c3>
  401ce2:	8b 3d 40 6f 20 00    	mov    0x206f40(%rip),%edi        # 608c28 <fd>
  401ce8:	e8 53 f2 ff ff       	callq  400f40 <ftruncate@plt>
  401ced:	83 f8 ff             	cmp    $0xffffffff,%eax
  401cf0:	75 14                	jne    401d06 <domapwrite+0x1c3>
  401cf2:	bf 5c 3f 40 00       	mov    $0x403f5c,%edi
  401cf7:	e8 04 f7 ff ff       	callq  401400 <prterr>
  401cfc:	bf c9 00 00 00       	mov    $0xc9,%edi
  401d01:	e8 9a f1 ff ff       	callq  400ea0 <exit@plt>
  401d06:	8b 44 24 0c          	mov    0xc(%rsp),%eax
  401d0a:	23 05 9c 6d 20 00    	and    0x206d9c(%rip),%eax        # 608aac <page_mask>
  401d10:	89 44 24 1c          	mov    %eax,0x1c(%rsp)
  401d14:	03 44 24 08          	add    0x8(%rsp),%eax
  401d18:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
  401d1d:	44 8b 4c 24 0c       	mov    0xc(%rsp),%r9d
  401d22:	44 2b 4c 24 1c       	sub    0x1c(%rsp),%r9d
  401d27:	44 8b 05 fa 6e 20 00 	mov    0x206efa(%rip),%r8d        # 608c28 <fd>
  401d2e:	b9 01 00 00 00       	mov    $0x1,%ecx
  401d33:	ba 03 00 00 00       	mov    $0x3,%edx
  401d38:	48 89 c6             	mov    %rax,%rsi
  401d3b:	bf 00 00 00 00       	mov    $0x0,%edi
  401d40:	e8 6b f2 ff ff       	callq  400fb0 <mmap@plt>
  401d45:	48 89 44 24 10       	mov    %rax,0x10(%rsp)
  401d4a:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  401d4e:	75 14                	jne    401d64 <domapwrite+0x221>
  401d50:	bf 72 3f 40 00       	mov    $0x403f72,%edi
  401d55:	e8 a6 f6 ff ff       	callq  401400 <prterr>
  401d5a:	bf ca 00 00 00       	mov    $0xca,%edi
  401d5f:	e8 e0 f6 ff ff       	callq  401444 <report_failure>
  401d64:	bf c0 8a 60 00       	mov    $0x608ac0,%edi
  401d69:	e8 d2 f0 ff ff       	callq  400e40 <setjmp@plt>
  401d6e:	85 c0                	test   %eax,%eax
  401d70:	75 76                	jne    401de8 <domapwrite+0x2a5>
  401d72:	c7 05 8c 2e 20 00 01 	movl   $0x1,0x202e8c(%rip)        # 604c08 <jmpbuf_good>
  401d79:	00 00 00 
  401d7c:	8b 7c 24 1c          	mov    0x1c(%rsp),%edi
  401d80:	48 03 7c 24 10       	add    0x10(%rsp),%rdi
  401d85:	8b 54 24 08          	mov    0x8(%rsp),%edx
  401d89:	8b 74 24 0c          	mov    0xc(%rsp),%esi
  401d8d:	48 03 35 8c 6e 20 00 	add    0x206e8c(%rip),%rsi        # 608c20 <good_buf>
  401d94:	e8 f7 f1 ff ff       	callq  400f90 <memcpy@plt>
  401d99:	ba 00 00 00 00       	mov    $0x0,%edx
  401d9e:	48 8b 74 24 20       	mov    0x20(%rsp),%rsi
  401da3:	48 8b 7c 24 10       	mov    0x10(%rsp),%rdi
  401da8:	e8 53 f1 ff ff       	callq  400f00 <msync@plt>
  401dad:	85 c0                	test   %eax,%eax
  401daf:	74 14                	je     401dc5 <domapwrite+0x282>
  401db1:	bf 83 3f 40 00       	mov    $0x403f83,%edi
  401db6:	e8 45 f6 ff ff       	callq  401400 <prterr>
  401dbb:	bf cb 00 00 00       	mov    $0xcb,%edi
  401dc0:	e8 7f f6 ff ff       	callq  401444 <report_failure>
  401dc5:	8b 4c 24 2c          	mov    0x2c(%rsp),%ecx
  401dc9:	48 8b 54 24 10       	mov    0x10(%rsp),%rdx
  401dce:	8b 74 24 0c          	mov    0xc(%rsp),%esi
  401dd2:	bf 95 3f 40 00       	mov    $0x403f95,%edi
  401dd7:	e8 83 fa ff ff       	callq  40185f <check_eofpage>
  401ddc:	c7 05 22 2e 20 00 00 	movl   $0x0,0x202e22(%rip)        # 604c08 <jmpbuf_good>
  401de3:	00 00 00 
  401de6:	eb 0a                	jmp    401df2 <domapwrite+0x2af>
  401de8:	bf e5 07 00 00       	mov    $0x7e5,%edi
  401ded:	e8 52 f6 ff ff       	callq  401444 <report_failure>
  401df2:	48 8b 74 24 20       	mov    0x20(%rsp),%rsi
  401df7:	48 8b 7c 24 10       	mov    0x10(%rsp),%rdi
  401dfc:	e8 6f f0 ff ff       	callq  400e70 <munmap@plt>
  401e01:	85 c0                	test   %eax,%eax
  401e03:	74 14                	je     401e19 <domapwrite+0x2d6>
  401e05:	bf 9b 3f 40 00       	mov    $0x403f9b,%edi
  401e0a:	e8 f1 f5 ff ff       	callq  401400 <prterr>
  401e0f:	bf cc 00 00 00       	mov    $0xcc,%edi
  401e14:	e8 2b f6 ff ff       	callq  401444 <report_failure>
  401e19:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
  401e1e:	48 8b 6c 24 38       	mov    0x38(%rsp),%rbp
  401e23:	4c 8b 64 24 40       	mov    0x40(%rsp),%r12
  401e28:	48 83 c4 48          	add    $0x48,%rsp
  401e2c:	c3                   	retq   

0000000000401e2d <check_buffers>:
  401e2d:	48 89 5c 24 d0       	mov    %rbx,-0x30(%rsp)
  401e32:	48 89 6c 24 d8       	mov    %rbp,-0x28(%rsp)
  401e37:	4c 89 64 24 e0       	mov    %r12,-0x20(%rsp)
  401e3c:	4c 89 6c 24 e8       	mov    %r13,-0x18(%rsp)
  401e41:	4c 89 74 24 f0       	mov    %r14,-0x10(%rsp)
  401e46:	4c 89 7c 24 f8       	mov    %r15,-0x8(%rsp)
  401e4b:	48 83 ec 48          	sub    $0x48,%rsp
  401e4f:	89 fb                	mov    %edi,%ebx
  401e51:	41 89 f5             	mov    %esi,%r13d
  401e54:	89 fe                	mov    %edi,%esi
  401e56:	44 89 e8             	mov    %r13d,%eax
  401e59:	48 03 35 c0 6d 20 00 	add    0x206dc0(%rip),%rsi        # 608c20 <good_buf>
  401e60:	48 8b 3d 99 2d 20 00 	mov    0x202d99(%rip),%rdi        # 604c00 <temp_buf>
  401e67:	48 89 c1             	mov    %rax,%rcx
  401e6a:	48 39 c0             	cmp    %rax,%rax
  401e6d:	f3 a6                	repz cmpsb %es:(%rdi),%ds:(%rsi)
  401e6f:	0f 97 c2             	seta   %dl
  401e72:	0f 92 c0             	setb   %al
  401e75:	38 c2                	cmp    %al,%dl
  401e77:	0f 84 33 01 00 00    	je     401fb0 <check_buffers+0x183>
  401e7d:	44 89 ea             	mov    %r13d,%edx
  401e80:	89 de                	mov    %ebx,%esi
  401e82:	bf d8 3a 40 00       	mov    $0x403ad8,%edi
  401e87:	b8 00 00 00 00       	mov    $0x0,%eax
  401e8c:	e8 6f f3 ff ff       	callq  401200 <prt>
  401e91:	bf ae 3f 40 00       	mov    $0x403fae,%edi
  401e96:	b8 00 00 00 00       	mov    $0x0,%eax
  401e9b:	e8 60 f3 ff ff       	callq  401200 <prt>
  401ea0:	45 85 ed             	test   %r13d,%r13d
  401ea3:	0f 84 ee 00 00 00    	je     401f97 <check_buffers+0x16a>
  401ea9:	41 bf 00 00 00 00    	mov    $0x0,%r15d
  401eaf:	c7 44 24 0c 00 00 00 	movl   $0x0,0xc(%rsp)
  401eb6:	00 
  401eb7:	41 be 00 00 00 00    	mov    $0x0,%r14d
  401ebd:	41 bc 00 00 00 00    	mov    $0x0,%r12d
  401ec3:	48 8b 0d 56 6d 20 00 	mov    0x206d56(%rip),%rcx        # 608c20 <good_buf>
  401eca:	89 d8                	mov    %ebx,%eax
  401ecc:	48 8b 15 2d 2d 20 00 	mov    0x202d2d(%rip),%rdx        # 604c00 <temp_buf>
  401ed3:	44 89 e5             	mov    %r12d,%ebp
  401ed6:	0f b6 34 01          	movzbl (%rcx,%rax,1),%esi
  401eda:	40 3a 34 2a          	cmp    (%rdx,%rbp,1),%sil
  401ede:	74 62                	je     401f42 <check_buffers+0x115>
  401ee0:	45 85 f6             	test   %r14d,%r14d
  401ee3:	75 53                	jne    401f38 <check_buffers+0x10b>
  401ee5:	44 0f b6 3c 2a       	movzbl (%rdx,%rbp,1),%r15d
  401eea:	41 c1 e7 08          	shl    $0x8,%r15d
  401eee:	0f b6 54 2a 01       	movzbl 0x1(%rdx,%rbp,1),%edx
  401ef3:	41 09 d7             	or     %edx,%r15d
  401ef6:	45 0f b7 ff          	movzwl %r15w,%r15d
  401efa:	40 0f b6 d6          	movzbl %sil,%edx
  401efe:	c1 e2 08             	shl    $0x8,%edx
  401f01:	0f b6 44 01 01       	movzbl 0x1(%rcx,%rax,1),%eax
  401f06:	09 c2                	or     %eax,%edx
  401f08:	0f b7 d2             	movzwl %dx,%edx
  401f0b:	44 89 f9             	mov    %r15d,%ecx
  401f0e:	89 de                	mov    %ebx,%esi
  401f10:	bf c6 3f 40 00       	mov    $0x403fc6,%edi
  401f15:	b8 00 00 00 00       	mov    $0x0,%eax
  401f1a:	e8 e1 f2 ff ff       	callq  401200 <prt>
  401f1f:	48 8b 05 da 2c 20 00 	mov    0x202cda(%rip),%rax        # 604c00 <temp_buf>
  401f26:	f6 c3 01             	test   $0x1,%bl
  401f29:	74 05                	je     401f30 <check_buffers+0x103>
  401f2b:	41 8d 6c 24 01       	lea    0x1(%r12),%ebp
  401f30:	0f be 2c 28          	movsbl (%rax,%rbp,1),%ebp
  401f34:	89 6c 24 0c          	mov    %ebp,0xc(%rsp)
  401f38:	41 83 c6 01          	add    $0x1,%r14d
  401f3c:	89 1d e6 2b 20 00    	mov    %ebx,0x202be6(%rip)        # 604b28 <badoff>
  401f42:	41 83 ed 01          	sub    $0x1,%r13d
  401f46:	74 0c                	je     401f54 <check_buffers+0x127>
  401f48:	83 c3 01             	add    $0x1,%ebx
  401f4b:	41 83 c4 01          	add    $0x1,%r12d
  401f4f:	e9 6f ff ff ff       	jmpq   401ec3 <check_buffers+0x96>
  401f54:	45 85 f6             	test   %r14d,%r14d
  401f57:	74 3e                	je     401f97 <check_buffers+0x16a>
  401f59:	44 89 f6             	mov    %r14d,%esi
  401f5c:	bf db 3f 40 00       	mov    $0x403fdb,%edi
  401f61:	b8 00 00 00 00       	mov    $0x0,%eax
  401f66:	e8 95 f2 ff ff       	callq  401200 <prt>
  401f6b:	45 85 ff             	test   %r15d,%r15d
  401f6e:	74 16                	je     401f86 <check_buffers+0x159>
  401f70:	0f b6 74 24 0c       	movzbl 0xc(%rsp),%esi
  401f75:	bf 08 3b 40 00       	mov    $0x403b08,%edi
  401f7a:	b8 00 00 00 00       	mov    $0x0,%eax
  401f7f:	e8 7c f2 ff ff       	callq  401200 <prt>
  401f84:	eb 20                	jmp    401fa6 <check_buffers+0x179>
  401f86:	bf 40 3b 40 00       	mov    $0x403b40,%edi
  401f8b:	b8 00 00 00 00       	mov    $0x0,%eax
  401f90:	e8 6b f2 ff ff       	callq  401200 <prt>
  401f95:	eb 0f                	jmp    401fa6 <check_buffers+0x179>
  401f97:	bf e3 3f 40 00       	mov    $0x403fe3,%edi
  401f9c:	b8 00 00 00 00       	mov    $0x0,%eax
  401fa1:	e8 5a f2 ff ff       	callq  401200 <prt>
  401fa6:	bf 6e 00 00 00       	mov    $0x6e,%edi
  401fab:	e8 94 f4 ff ff       	callq  401444 <report_failure>
  401fb0:	48 8b 5c 24 18       	mov    0x18(%rsp),%rbx
  401fb5:	48 8b 6c 24 20       	mov    0x20(%rsp),%rbp
  401fba:	4c 8b 64 24 28       	mov    0x28(%rsp),%r12
  401fbf:	4c 8b 6c 24 30       	mov    0x30(%rsp),%r13
  401fc4:	4c 8b 74 24 38       	mov    0x38(%rsp),%r14
  401fc9:	4c 8b 7c 24 40       	mov    0x40(%rsp),%r15
  401fce:	48 83 c4 48          	add    $0x48,%rsp
  401fd2:	c3                   	retq   

0000000000401fd3 <domapread>:
  401fd3:	55                   	push   %rbp
  401fd4:	53                   	push   %rbx
  401fd5:	48 83 ec 38          	sub    $0x38,%rsp
  401fd9:	89 74 24 08          	mov    %esi,0x8(%rsp)
  401fdd:	89 f8                	mov    %edi,%eax
  401fdf:	ba 00 00 00 00       	mov    $0x0,%edx
  401fe4:	f7 35 06 2b 20 00    	divl   0x202b06(%rip)        # 604af0 <readbdy>
  401fea:	29 d7                	sub    %edx,%edi
  401fec:	89 7c 24 0c          	mov    %edi,0xc(%rsp)
  401ff0:	85 f6                	test   %esi,%esi
  401ff2:	75 45                	jne    402039 <domapread+0x66>
  401ff4:	83 3d ad 2b 20 00 00 	cmpl   $0x0,0x202bad(%rip)        # 604ba8 <quiet>
  401ffb:	75 1f                	jne    40201c <domapread+0x49>
  401ffd:	48 8b 05 8c 2b 20 00 	mov    0x202b8c(%rip),%rax        # 604b90 <simulatedopcount>
  402004:	48 39 05 7d 2b 20 00 	cmp    %rax,0x202b7d(%rip)        # 604b88 <testcalls>
  40200b:	76 0f                	jbe    40201c <domapread+0x49>
  40200d:	bf f5 3f 40 00       	mov    $0x403ff5,%edi
  402012:	b8 00 00 00 00       	mov    $0x0,%eax
  402017:	e8 e4 f1 ff ff       	callq  401200 <prt>
  40201c:	b9 00 00 00 00       	mov    $0x0,%ecx
  402021:	8b 54 24 0c          	mov    0xc(%rsp),%edx
  402025:	be 05 00 00 00       	mov    $0x5,%esi
  40202a:	bf 07 00 00 00       	mov    $0x7,%edi
  40202f:	e8 bc f0 ff ff       	callq  4010f0 <log4>
  402034:	e9 e9 01 00 00       	jmpq   402222 <domapread+0x24f>
  402039:	8b 6c 24 0c          	mov    0xc(%rsp),%ebp
  40203d:	03 6c 24 08          	add    0x8(%rsp),%ebp
  402041:	89 eb                	mov    %ebp,%ebx
  402043:	48 3b 1d 2e 2b 20 00 	cmp    0x202b2e(%rip),%rbx        # 604b78 <file_size>
  40204a:	7e 44                	jle    402090 <domapread+0xbd>
  40204c:	83 3d 55 2b 20 00 00 	cmpl   $0x0,0x202b55(%rip)        # 604ba8 <quiet>
  402053:	75 1f                	jne    402074 <domapread+0xa1>
  402055:	48 8b 05 34 2b 20 00 	mov    0x202b34(%rip),%rax        # 604b90 <simulatedopcount>
  40205c:	48 39 05 25 2b 20 00 	cmp    %rax,0x202b25(%rip)        # 604b88 <testcalls>
  402063:	76 0f                	jbe    402074 <domapread+0xa1>
  402065:	bf 90 3b 40 00       	mov    $0x403b90,%edi
  40206a:	b8 00 00 00 00       	mov    $0x0,%eax
  40206f:	e8 8c f1 ff ff       	callq  401200 <prt>
  402074:	8b 4c 24 08          	mov    0x8(%rsp),%ecx
  402078:	8b 54 24 0c          	mov    0xc(%rsp),%edx
  40207c:	be 05 00 00 00       	mov    $0x5,%esi
  402081:	bf 07 00 00 00       	mov    $0x7,%edi
  402086:	e8 65 f0 ff ff       	callq  4010f0 <log4>
  40208b:	e9 92 01 00 00       	jmpq   402222 <domapread+0x24f>
  402090:	8b 44 24 08          	mov    0x8(%rsp),%eax
  402094:	89 44 24 2c          	mov    %eax,0x2c(%rsp)
  402098:	b9 00 00 00 00       	mov    $0x0,%ecx
  40209d:	89 c2                	mov    %eax,%edx
  40209f:	8b 74 24 0c          	mov    0xc(%rsp),%esi
  4020a3:	bf 05 00 00 00       	mov    $0x5,%edi
  4020a8:	e8 43 f0 ff ff       	callq  4010f0 <log4>
  4020ad:	48 8b 35 d4 2a 20 00 	mov    0x202ad4(%rip),%rsi        # 604b88 <testcalls>
  4020b4:	48 3b 35 d5 2a 20 00 	cmp    0x202ad5(%rip),%rsi        # 604b90 <simulatedopcount>
  4020bb:	0f 86 61 01 00 00    	jbe    402222 <domapread+0x24f>
  4020c1:	83 3d e0 2a 20 00 00 	cmpl   $0x0,0x202ae0(%rip)        # 604ba8 <quiet>
  4020c8:	75 68                	jne    402132 <domapread+0x15f>
  4020ca:	48 8b 0d df 2a 20 00 	mov    0x202adf(%rip),%rcx        # 604bb0 <progressinterval>
  4020d1:	48 85 c9             	test   %rcx,%rcx
  4020d4:	74 10                	je     4020e6 <domapread+0x113>
  4020d6:	48 89 f0             	mov    %rsi,%rax
  4020d9:	ba 00 00 00 00       	mov    $0x0,%edx
  4020de:	48 f7 f1             	div    %rcx
  4020e1:	48 85 d2             	test   %rdx,%rdx
  4020e4:	74 31                	je     402117 <domapread+0x144>
  4020e6:	83 3d af 2a 20 00 00 	cmpl   $0x0,0x202aaf(%rip)        # 604b9c <debug>
  4020ed:	74 43                	je     402132 <domapread+0x15f>
  4020ef:	48 8b 05 0a 2a 20 00 	mov    0x202a0a(%rip),%rax        # 604b00 <monitorstart>
  4020f6:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  4020fa:	74 1b                	je     402117 <domapread+0x144>
  4020fc:	48 39 c3             	cmp    %rax,%rbx
  4020ff:	7e 31                	jle    402132 <domapread+0x15f>
  402101:	48 8b 05 00 2a 20 00 	mov    0x202a00(%rip),%rax        # 604b08 <monitorend>
  402108:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  40210c:	74 09                	je     402117 <domapread+0x144>
  40210e:	8b 54 24 0c          	mov    0xc(%rsp),%edx
  402112:	48 39 d0             	cmp    %rdx,%rax
  402115:	7c 1b                	jl     402132 <domapread+0x15f>
  402117:	8d 4d ff             	lea    -0x1(%rbp),%ecx
  40211a:	44 8b 44 24 08       	mov    0x8(%rsp),%r8d
  40211f:	8b 54 24 0c          	mov    0xc(%rsp),%edx
  402123:	bf b8 3b 40 00       	mov    $0x403bb8,%edi
  402128:	b8 00 00 00 00       	mov    $0x0,%eax
  40212d:	e8 ce f0 ff ff       	callq  401200 <prt>
  402132:	8b 44 24 0c          	mov    0xc(%rsp),%eax
  402136:	23 05 70 69 20 00    	and    0x206970(%rip),%eax        # 608aac <page_mask>
  40213c:	89 44 24 1c          	mov    %eax,0x1c(%rsp)
  402140:	03 44 24 08          	add    0x8(%rsp),%eax
  402144:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
  402149:	44 8b 4c 24 0c       	mov    0xc(%rsp),%r9d
  40214e:	44 2b 4c 24 1c       	sub    0x1c(%rsp),%r9d
  402153:	44 8b 05 ce 6a 20 00 	mov    0x206ace(%rip),%r8d        # 608c28 <fd>
  40215a:	b9 01 00 00 00       	mov    $0x1,%ecx
  40215f:	ba 01 00 00 00       	mov    $0x1,%edx
  402164:	48 89 c6             	mov    %rax,%rsi
  402167:	bf 00 00 00 00       	mov    $0x0,%edi
  40216c:	e8 3f ee ff ff       	callq  400fb0 <mmap@plt>
  402171:	48 89 44 24 10       	mov    %rax,0x10(%rsp)
  402176:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  40217a:	75 14                	jne    402190 <domapread+0x1bd>
  40217c:	bf 0e 40 40 00       	mov    $0x40400e,%edi
  402181:	e8 7a f2 ff ff       	callq  401400 <prterr>
  402186:	bf be 00 00 00       	mov    $0xbe,%edi
  40218b:	e8 b4 f2 ff ff       	callq  401444 <report_failure>
  402190:	bf c0 8a 60 00       	mov    $0x608ac0,%edi
  402195:	e8 a6 ec ff ff       	callq  400e40 <setjmp@plt>
  40219a:	85 c0                	test   %eax,%eax
  40219c:	75 46                	jne    4021e4 <domapread+0x211>
  40219e:	c7 05 60 2a 20 00 01 	movl   $0x1,0x202a60(%rip)        # 604c08 <jmpbuf_good>
  4021a5:	00 00 00 
  4021a8:	8b 54 24 08          	mov    0x8(%rsp),%edx
  4021ac:	8b 74 24 1c          	mov    0x1c(%rsp),%esi
  4021b0:	48 03 74 24 10       	add    0x10(%rsp),%rsi
  4021b5:	48 8b 3d 44 2a 20 00 	mov    0x202a44(%rip),%rdi        # 604c00 <temp_buf>
  4021bc:	e8 cf ed ff ff       	callq  400f90 <memcpy@plt>
  4021c1:	8b 4c 24 2c          	mov    0x2c(%rsp),%ecx
  4021c5:	48 8b 54 24 10       	mov    0x10(%rsp),%rdx
  4021ca:	8b 74 24 0c          	mov    0xc(%rsp),%esi
  4021ce:	bf 1e 40 40 00       	mov    $0x40401e,%edi
  4021d3:	e8 87 f6 ff ff       	callq  40185f <check_eofpage>
  4021d8:	c7 05 26 2a 20 00 00 	movl   $0x0,0x202a26(%rip)        # 604c08 <jmpbuf_good>
  4021df:	00 00 00 
  4021e2:	eb 0a                	jmp    4021ee <domapread+0x21b>
  4021e4:	bf 6d 07 00 00       	mov    $0x76d,%edi
  4021e9:	e8 56 f2 ff ff       	callq  401444 <report_failure>
  4021ee:	48 8b 74 24 20       	mov    0x20(%rsp),%rsi
  4021f3:	48 8b 7c 24 10       	mov    0x10(%rsp),%rdi
  4021f8:	e8 73 ec ff ff       	callq  400e70 <munmap@plt>
  4021fd:	85 c0                	test   %eax,%eax
  4021ff:	74 14                	je     402215 <domapread+0x242>
  402201:	bf 23 40 40 00       	mov    $0x404023,%edi
  402206:	e8 f5 f1 ff ff       	callq  401400 <prterr>
  40220b:	bf bf 00 00 00       	mov    $0xbf,%edi
  402210:	e8 2f f2 ff ff       	callq  401444 <report_failure>
  402215:	8b 74 24 08          	mov    0x8(%rsp),%esi
  402219:	8b 7c 24 0c          	mov    0xc(%rsp),%edi
  40221d:	e8 0b fc ff ff       	callq  401e2d <check_buffers>
  402222:	48 83 c4 38          	add    $0x38,%rsp
  402226:	5b                   	pop    %rbx
  402227:	5d                   	pop    %rbp
  402228:	c3                   	retq   

0000000000402229 <main>:
  402229:	41 57                	push   %r15
  40222b:	41 56                	push   %r14
  40222d:	41 55                	push   %r13
  40222f:	41 54                	push   %r12
  402231:	55                   	push   %rbp
  402232:	53                   	push   %rbx
  402233:	48 81 ec a8 08 00 00 	sub    $0x8a8,%rsp
  40223a:	89 fd                	mov    %edi,%ebp
  40223c:	48 89 f3             	mov    %rsi,%rbx
  40223f:	c6 84 24 90 04 00 00 	movb   $0x0,0x490(%rsp)
  402246:	00 
  402247:	c6 84 24 90 00 00 00 	movb   $0x0,0x90(%rsp)
  40224e:	00 
  40224f:	e8 5c eb ff ff       	callq  400db0 <getpagesize@plt>
  402254:	89 05 4e 68 20 00    	mov    %eax,0x20684e(%rip)        # 608aa8 <page_size>
  40225a:	83 e8 01             	sub    $0x1,%eax
  40225d:	89 05 49 68 20 00    	mov    %eax,0x206849(%rip)        # 608aac <page_mask>
  402263:	b9 00 00 00 00       	mov    $0x0,%ecx
  402268:	ba 01 00 00 00       	mov    $0x1,%edx
  40226d:	be 00 00 00 00       	mov    $0x0,%esi
  402272:	48 8b 3d cf 28 20 00 	mov    0x2028cf(%rip),%rdi        # 604b48 <__stdoutp>
  402279:	e8 12 eb ff ff       	callq  400d90 <setvbuf@plt>
  40227e:	41 bc 30 43 40 00    	mov    $0x404330,%r12d
  402284:	4c 8d ac 24 98 08 00 	lea    0x898(%rsp),%r13
  40228b:	00 
  40228c:	4c 8d b4 24 90 04 00 	lea    0x490(%rsp),%r14
  402293:	00 
  402294:	4c 8d bc 24 90 00 00 	lea    0x90(%rsp),%r15
  40229b:	00 
  40229c:	e9 0b 04 00 00       	jmpq   4026ac <main+0x483>
  4022a1:	83 e8 44             	sub    $0x44,%eax
  4022a4:	83 f8 33             	cmp    $0x33,%eax
  4022a7:	0f 87 fa 03 00 00    	ja     4026a7 <main+0x47e>
  4022ad:	89 c0                	mov    %eax,%eax
  4022af:	41 ff 24 c4          	jmpq   *(%r12,%rax,8)
  4022b3:	4c 89 ee             	mov    %r13,%rsi
  4022b6:	48 8b 3d 93 28 20 00 	mov    0x202893(%rip),%rdi        # 604b50 <optarg>
  4022bd:	e8 dc ee ff ff       	callq  40119e <getnum>
  4022c2:	48 63 d0             	movslq %eax,%rdx
  4022c5:	48 89 15 c4 28 20 00 	mov    %rdx,0x2028c4(%rip)        # 604b90 <simulatedopcount>
  4022cc:	83 3d d5 28 20 00 00 	cmpl   $0x0,0x2028d5(%rip)        # 604ba8 <quiet>
  4022d3:	75 16                	jne    4022eb <main+0xc2>
  4022d5:	be 35 40 40 00       	mov    $0x404035,%esi
  4022da:	48 8b 3d 67 28 20 00 	mov    0x202867(%rip),%rdi        # 604b48 <__stdoutp>
  4022e1:	b8 00 00 00 00       	mov    $0x0,%eax
  4022e6:	e8 c5 eb ff ff       	callq  400eb0 <fprintf@plt>
  4022eb:	48 83 3d 9d 28 20 00 	cmpq   $0x0,0x20289d(%rip)        # 604b90 <simulatedopcount>
  4022f2:	00 
  4022f3:	75 05                	jne    4022fa <main+0xd1>
  4022f5:	e8 7b ee ff ff       	callq  401175 <usage>
  4022fa:	48 83 2d 8e 28 20 00 	subq   $0x1,0x20288e(%rip)        # 604b90 <simulatedopcount>
  402301:	01 
  402302:	e9 a5 03 00 00       	jmpq   4026ac <main+0x483>
  402307:	4c 89 ee             	mov    %r13,%rsi
  40230a:	48 8b 3d 3f 28 20 00 	mov    0x20283f(%rip),%rdi        # 604b50 <optarg>
  402311:	e8 88 ee ff ff       	callq  40119e <getnum>
  402316:	89 05 7c 28 20 00    	mov    %eax,0x20287c(%rip)        # 604b98 <closeprob>
  40231c:	83 3d 85 28 20 00 00 	cmpl   $0x0,0x202885(%rip)        # 604ba8 <quiet>
  402323:	75 18                	jne    40233d <main+0x114>
  402325:	89 c2                	mov    %eax,%edx
  402327:	be e8 3b 40 00       	mov    $0x403be8,%esi
  40232c:	48 8b 3d 15 28 20 00 	mov    0x202815(%rip),%rdi        # 604b48 <__stdoutp>
  402333:	b8 00 00 00 00       	mov    $0x0,%eax
  402338:	e8 73 eb ff ff       	callq  400eb0 <fprintf@plt>
  40233d:	83 3d 54 28 20 00 00 	cmpl   $0x0,0x202854(%rip)        # 604b98 <closeprob>
  402344:	0f 8f 62 03 00 00    	jg     4026ac <main+0x483>
  40234a:	e8 26 ee ff ff       	callq  401175 <usage>
  40234f:	90                   	nop
  402350:	e9 57 03 00 00       	jmpq   4026ac <main+0x483>
  402355:	c7 05 3d 28 20 00 01 	movl   $0x1,0x20283d(%rip)        # 604b9c <debug>
  40235c:	00 00 00 
  40235f:	90                   	nop
  402360:	e9 47 03 00 00       	jmpq   4026ac <main+0x483>
  402365:	4c 89 ee             	mov    %r13,%rsi
  402368:	48 8b 3d e1 27 20 00 	mov    0x2027e1(%rip),%rdi        # 604b50 <optarg>
  40236f:	e8 2a ee ff ff       	callq  40119e <getnum>
  402374:	48 98                	cltq   
  402376:	48 89 05 63 27 20 00 	mov    %rax,0x202763(%rip)        # 604ae0 <maxfilelen>
  40237d:	48 85 c0             	test   %rax,%rax
  402380:	0f 85 26 03 00 00    	jne    4026ac <main+0x483>
  402386:	e8 ea ed ff ff       	callq  401175 <usage>
  40238b:	e9 1c 03 00 00       	jmpq   4026ac <main+0x483>
  402390:	4c 89 ee             	mov    %r13,%rsi
  402393:	48 8b 3d b6 27 20 00 	mov    0x2027b6(%rip),%rdi        # 604b50 <optarg>
  40239a:	e8 ff ed ff ff       	callq  40119e <getnum>
  40239f:	48 98                	cltq   
  4023a1:	48 89 05 58 27 20 00 	mov    %rax,0x202758(%rip)        # 604b00 <monitorstart>
  4023a8:	48 85 c0             	test   %rax,%rax
  4023ab:	79 05                	jns    4023b2 <main+0x189>
  4023ad:	e8 c3 ed ff ff       	callq  401175 <usage>
  4023b2:	48 8b 84 24 98 08 00 	mov    0x898(%rsp),%rax
  4023b9:	00 
  4023ba:	48 85 c0             	test   %rax,%rax
  4023bd:	74 14                	je     4023d3 <main+0x1aa>
  4023bf:	0f b6 10             	movzbl (%rax),%edx
  4023c2:	48 83 c0 01          	add    $0x1,%rax
  4023c6:	48 89 84 24 98 08 00 	mov    %rax,0x898(%rsp)
  4023cd:	00 
  4023ce:	80 fa 3a             	cmp    $0x3a,%dl
  4023d1:	74 05                	je     4023d8 <main+0x1af>
  4023d3:	e8 9d ed ff ff       	callq  401175 <usage>
  4023d8:	4c 89 ee             	mov    %r13,%rsi
  4023db:	48 8b bc 24 98 08 00 	mov    0x898(%rsp),%rdi
  4023e2:	00 
  4023e3:	e8 b6 ed ff ff       	callq  40119e <getnum>
  4023e8:	48 98                	cltq   
  4023ea:	48 89 05 17 27 20 00 	mov    %rax,0x202717(%rip)        # 604b08 <monitorend>
  4023f1:	48 85 c0             	test   %rax,%rax
  4023f4:	79 05                	jns    4023fb <main+0x1d2>
  4023f6:	e8 7a ed ff ff       	callq  401175 <usage>
  4023fb:	48 83 3d 05 27 20 00 	cmpq   $0x0,0x202705(%rip)        # 604b08 <monitorend>
  402402:	00 
  402403:	75 0b                	jne    402410 <main+0x1e7>
  402405:	48 c7 05 f8 26 20 00 	movq   $0xffffffffffffffff,0x2026f8(%rip)        # 604b08 <monitorend>
  40240c:	ff ff ff ff 
  402410:	c7 05 82 27 20 00 01 	movl   $0x1,0x202782(%rip)        # 604b9c <debug>
  402417:	00 00 00 
  40241a:	c7 05 c4 26 20 00 00 	movl   $0x0,0x2026c4(%rip)        # 604ae8 <sizechecks>
  402421:	00 00 00 
  402424:	e9 83 02 00 00       	jmpq   4026ac <main+0x483>
  402429:	4c 89 ee             	mov    %r13,%rsi
  40242c:	48 8b 3d 1d 27 20 00 	mov    0x20271d(%rip),%rdi        # 604b50 <optarg>
  402433:	e8 66 ed ff ff       	callq  40119e <getnum>
  402438:	89 05 ae 26 20 00    	mov    %eax,0x2026ae(%rip)        # 604aec <maxoplen>
  40243e:	85 c0                	test   %eax,%eax
  402440:	0f 8f 66 02 00 00    	jg     4026ac <main+0x483>
  402446:	e8 2a ed ff ff       	callq  401175 <usage>
  40244b:	e9 5c 02 00 00       	jmpq   4026ac <main+0x483>
  402450:	4c 89 ee             	mov    %r13,%rsi
  402453:	48 8b 3d f6 26 20 00 	mov    0x2026f6(%rip),%rdi        # 604b50 <optarg>
  40245a:	e8 3f ed ff ff       	callq  40119e <getnum>
  40245f:	48 63 d0             	movslq %eax,%rdx
  402462:	48 89 15 47 27 20 00 	mov    %rdx,0x202747(%rip)        # 604bb0 <progressinterval>
  402469:	85 c0                	test   %eax,%eax
  40246b:	0f 89 3b 02 00 00    	jns    4026ac <main+0x483>
  402471:	e8 ff ec ff ff       	callq  401175 <usage>
  402476:	e9 31 02 00 00       	jmpq   4026ac <main+0x483>
  40247b:	c7 05 23 27 20 00 01 	movl   $0x1,0x202723(%rip)        # 604ba8 <quiet>
  402482:	00 00 00 
  402485:	e9 22 02 00 00       	jmpq   4026ac <main+0x483>
  40248a:	4c 89 ee             	mov    %r13,%rsi
  40248d:	48 8b 3d bc 26 20 00 	mov    0x2026bc(%rip),%rdi        # 604b50 <optarg>
  402494:	e8 05 ed ff ff       	callq  40119e <getnum>
  402499:	89 05 51 26 20 00    	mov    %eax,0x202651(%rip)        # 604af0 <readbdy>
  40249f:	85 c0                	test   %eax,%eax
  4024a1:	0f 8f 05 02 00 00    	jg     4026ac <main+0x483>
  4024a7:	e8 c9 ec ff ff       	callq  401175 <usage>
  4024ac:	e9 fb 01 00 00       	jmpq   4026ac <main+0x483>
  4024b1:	4c 89 ee             	mov    %r13,%rsi
  4024b4:	48 8b 3d 95 26 20 00 	mov    0x202695(%rip),%rdi        # 604b50 <optarg>
  4024bb:	e8 de ec ff ff       	callq  40119e <getnum>
  4024c0:	89 05 f2 26 20 00    	mov    %eax,0x2026f2(%rip)        # 604bb8 <style>
  4024c6:	83 f8 01             	cmp    $0x1,%eax
  4024c9:	0f 86 dd 01 00 00    	jbe    4026ac <main+0x483>
  4024cf:	e8 a1 ec ff ff       	callq  401175 <usage>
  4024d4:	e9 d3 01 00 00       	jmpq   4026ac <main+0x483>
  4024d9:	4c 89 ee             	mov    %r13,%rsi
  4024dc:	48 8b 3d 6d 26 20 00 	mov    0x20266d(%rip),%rdi        # 604b50 <optarg>
  4024e3:	e8 b6 ec ff ff       	callq  40119e <getnum>
  4024e8:	89 05 06 26 20 00    	mov    %eax,0x202606(%rip)        # 604af4 <truncbdy>
  4024ee:	85 c0                	test   %eax,%eax
  4024f0:	0f 8f b6 01 00 00    	jg     4026ac <main+0x483>
  4024f6:	e8 7a ec ff ff       	callq  401175 <usage>
  4024fb:	e9 ac 01 00 00       	jmpq   4026ac <main+0x483>
  402500:	4c 89 ee             	mov    %r13,%rsi
  402503:	48 8b 3d 46 26 20 00 	mov    0x202646(%rip),%rdi        # 604b50 <optarg>
  40250a:	e8 8f ec ff ff       	callq  40119e <getnum>
  40250f:	89 05 e3 25 20 00    	mov    %eax,0x2025e3(%rip)        # 604af8 <writebdy>
  402515:	85 c0                	test   %eax,%eax
  402517:	0f 8f 8f 01 00 00    	jg     4026ac <main+0x483>
  40251d:	e8 53 ec ff ff       	callq  401175 <usage>
  402522:	e9 85 01 00 00       	jmpq   4026ac <main+0x483>
  402527:	4c 89 ee             	mov    %r13,%rsi
  40252a:	48 8b 3d 1f 26 20 00 	mov    0x20261f(%rip),%rdi        # 604b50 <optarg>
  402531:	e8 68 ec ff ff       	callq  40119e <getnum>
  402536:	48 98                	cltq   
  402538:	48 89 05 61 26 20 00 	mov    %rax,0x202661(%rip)        # 604ba0 <debugstart>
  40253f:	48 85 c0             	test   %rax,%rax
  402542:	0f 85 64 01 00 00    	jne    4026ac <main+0x483>
  402548:	e8 28 ec ff ff       	callq  401175 <usage>
  40254d:	e9 5a 01 00 00       	jmpq   4026ac <main+0x483>
  402552:	c7 05 60 26 20 00 01 	movl   $0x1,0x202660(%rip)        # 604bbc <lite>
  402559:	00 00 00 
  40255c:	e9 4b 01 00 00       	jmpq   4026ac <main+0x483>
  402561:	4c 89 ee             	mov    %r13,%rsi
  402564:	48 8b 3d e5 25 20 00 	mov    0x2025e5(%rip),%rdi        # 604b50 <optarg>
  40256b:	e8 2e ec ff ff       	callq  40119e <getnum>
  402570:	48 98                	cltq   
  402572:	48 89 05 97 25 20 00 	mov    %rax,0x202597(%rip)        # 604b10 <numops>
  402579:	48 85 c0             	test   %rax,%rax
  40257c:	0f 89 2a 01 00 00    	jns    4026ac <main+0x483>
  402582:	e8 ee eb ff ff       	callq  401175 <usage>
  402587:	e9 20 01 00 00       	jmpq   4026ac <main+0x483>
  40258c:	c7 05 82 25 20 00 00 	movl   $0x0,0x202582(%rip)        # 604b18 <randomoplen>
  402593:	00 00 00 
  402596:	e9 11 01 00 00       	jmpq   4026ac <main+0x483>
  40259b:	ba 00 04 00 00       	mov    $0x400,%edx
  4025a0:	48 8b 35 a9 25 20 00 	mov    0x2025a9(%rip),%rsi        # 604b50 <optarg>
  4025a7:	4c 89 f7             	mov    %r14,%rdi
  4025aa:	e8 e1 e8 ff ff       	callq  400e90 <strncpy@plt>
  4025af:	be 52 40 40 00       	mov    $0x404052,%esi
  4025b4:	4c 89 f7             	mov    %r14,%rdi
  4025b7:	e8 64 e8 ff ff       	callq  400e20 <strcat@plt>
  4025bc:	ba 00 04 00 00       	mov    $0x400,%edx
  4025c1:	48 8b 35 88 25 20 00 	mov    0x202588(%rip),%rsi        # 604b50 <optarg>
  4025c8:	4c 89 ff             	mov    %r15,%rdi
  4025cb:	e8 c0 e8 ff ff       	callq  400e90 <strncpy@plt>
  4025d0:	be 52 40 40 00       	mov    $0x404052,%esi
  4025d5:	4c 89 ff             	mov    %r15,%rdi
  4025d8:	e8 43 e8 ff ff       	callq  400e20 <strcat@plt>
  4025dd:	e9 ca 00 00 00       	jmpq   4026ac <main+0x483>
  4025e2:	c7 05 38 25 20 00 00 	movl   $0x0,0x202538(%rip)        # 604b24 <mapped_reads>
  4025e9:	00 00 00 
  4025ec:	e9 bb 00 00 00       	jmpq   4026ac <main+0x483>
  4025f1:	4c 89 ee             	mov    %r13,%rsi
  4025f4:	48 8b 3d 55 25 20 00 	mov    0x202555(%rip),%rdi        # 604b50 <optarg>
  4025fb:	e8 9e eb ff ff       	callq  40119e <getnum>
  402600:	89 05 16 25 20 00    	mov    %eax,0x202516(%rip)        # 604b1c <seed>
  402606:	85 c0                	test   %eax,%eax
  402608:	75 38                	jne    402642 <main+0x419>
  40260a:	bf 00 00 00 00       	mov    $0x0,%edi
  40260f:	e8 cc e7 ff ff       	callq  400de0 <time@plt>
  402614:	48 89 c1             	mov    %rax,%rcx
  402617:	48 b8 4b 59 86 38 d6 	movabs $0x346dc5d63886594b,%rax
  40261e:	c5 6d 34 
  402621:	48 f7 e9             	imul   %rcx
  402624:	48 c1 fa 0b          	sar    $0xb,%rdx
  402628:	48 89 ce             	mov    %rcx,%rsi
  40262b:	48 c1 fe 3f          	sar    $0x3f,%rsi
  40262f:	48 29 f2             	sub    %rsi,%rdx
  402632:	48 69 c2 10 27 00 00 	imul   $0x2710,%rdx,%rax
  402639:	48 29 c1             	sub    %rax,%rcx
  40263c:	89 0d da 24 20 00    	mov    %ecx,0x2024da(%rip)        # 604b1c <seed>
  402642:	83 3d 5f 25 20 00 00 	cmpl   $0x0,0x20255f(%rip)        # 604ba8 <quiet>
  402649:	75 1c                	jne    402667 <main+0x43e>
  40264b:	8b 15 cb 24 20 00    	mov    0x2024cb(%rip),%edx        # 604b1c <seed>
  402651:	be 54 40 40 00       	mov    $0x404054,%esi
  402656:	48 8b 3d eb 24 20 00 	mov    0x2024eb(%rip),%rdi        # 604b48 <__stdoutp>
  40265d:	b8 00 00 00 00       	mov    $0x0,%eax
  402662:	e8 49 e8 ff ff       	callq  400eb0 <fprintf@plt>
  402667:	83 3d ae 24 20 00 00 	cmpl   $0x0,0x2024ae(%rip)        # 604b1c <seed>
  40266e:	79 3c                	jns    4026ac <main+0x483>
  402670:	e8 00 eb ff ff       	callq  401175 <usage>
  402675:	eb 35                	jmp    4026ac <main+0x483>
  402677:	c7 05 9f 24 20 00 00 	movl   $0x0,0x20249f(%rip)        # 604b20 <mapped_writes>
  40267e:	00 00 00 
  402681:	83 3d 20 25 20 00 00 	cmpl   $0x0,0x202520(%rip)        # 604ba8 <quiet>
  402688:	75 22                	jne    4026ac <main+0x483>
  40268a:	48 8b 0d b7 24 20 00 	mov    0x2024b7(%rip),%rcx        # 604b48 <__stdoutp>
  402691:	ba 17 00 00 00       	mov    $0x17,%edx
  402696:	be 01 00 00 00       	mov    $0x1,%esi
  40269b:	bf 64 40 40 00       	mov    $0x404064,%edi
  4026a0:	e8 db e7 ff ff       	callq  400e80 <fwrite@plt>
  4026a5:	eb 05                	jmp    4026ac <main+0x483>
  4026a7:	e8 c9 ea ff ff       	callq  401175 <usage>
  4026ac:	ba 10 3c 40 00       	mov    $0x403c10,%edx
  4026b1:	48 89 de             	mov    %rbx,%rsi
  4026b4:	89 ef                	mov    %ebp,%edi
  4026b6:	e8 95 e8 ff ff       	callq  400f50 <getopt@plt>
  4026bb:	83 f8 ff             	cmp    $0xffffffff,%eax
  4026be:	0f 85 dd fb ff ff    	jne    4022a1 <main+0x78>
  4026c4:	44 8b 25 8d 24 20 00 	mov    0x20248d(%rip),%r12d        # 604b58 <optind>
  4026cb:	44 29 e5             	sub    %r12d,%ebp
  4026ce:	83 fd 01             	cmp    $0x1,%ebp
  4026d1:	74 05                	je     4026d8 <main+0x4af>
  4026d3:	e8 9d ea ff ff       	callq  401175 <usage>
  4026d8:	4d 63 e4             	movslq %r12d,%r12
  4026db:	4a 8b 04 e3          	mov    (%rbx,%r12,8),%rax
  4026df:	48 89 05 2a 25 20 00 	mov    %rax,0x20252a(%rip)        # 604c10 <fname>
  4026e6:	be b9 12 40 00       	mov    $0x4012b9,%esi
  4026eb:	bf 01 00 00 00       	mov    $0x1,%edi
  4026f0:	e8 cb e6 ff ff       	callq  400dc0 <signal@plt>
  4026f5:	be b9 12 40 00       	mov    $0x4012b9,%esi
  4026fa:	bf 02 00 00 00       	mov    $0x2,%edi
  4026ff:	e8 bc e6 ff ff       	callq  400dc0 <signal@plt>
  402704:	be b9 12 40 00       	mov    $0x4012b9,%esi
  402709:	bf 0d 00 00 00       	mov    $0xd,%edi
  40270e:	e8 ad e6 ff ff       	callq  400dc0 <signal@plt>
  402713:	be b9 12 40 00       	mov    $0x4012b9,%esi
  402718:	bf 0e 00 00 00       	mov    $0xe,%edi
  40271d:	e8 9e e6 ff ff       	callq  400dc0 <signal@plt>
  402722:	be b9 12 40 00       	mov    $0x4012b9,%esi
  402727:	bf 0f 00 00 00       	mov    $0xf,%edi
  40272c:	e8 8f e6 ff ff       	callq  400dc0 <signal@plt>
  402731:	be b9 12 40 00       	mov    $0x4012b9,%esi
  402736:	bf 18 00 00 00       	mov    $0x18,%edi
  40273b:	e8 80 e6 ff ff       	callq  400dc0 <signal@plt>
  402740:	be b9 12 40 00       	mov    $0x4012b9,%esi
  402745:	bf 19 00 00 00       	mov    $0x19,%edi
  40274a:	e8 71 e6 ff ff       	callq  400dc0 <signal@plt>
  40274f:	be b9 12 40 00       	mov    $0x4012b9,%esi
  402754:	bf 1a 00 00 00       	mov    $0x1a,%edi
  402759:	e8 62 e6 ff ff       	callq  400dc0 <signal@plt>
  40275e:	be b9 12 40 00       	mov    $0x4012b9,%esi
  402763:	bf 1e 00 00 00       	mov    $0x1e,%edi
  402768:	e8 53 e6 ff ff       	callq  400dc0 <signal@plt>
  40276d:	be b9 12 40 00       	mov    $0x4012b9,%esi
  402772:	bf 1f 00 00 00       	mov    $0x1f,%edi
  402777:	e8 44 e6 ff ff       	callq  400dc0 <signal@plt>
  40277c:	be 34 32 40 00       	mov    $0x403234,%esi
  402781:	bf 0b 00 00 00       	mov    $0xb,%edi
  402786:	e8 35 e6 ff ff       	callq  400dc0 <signal@plt>
  40278b:	48 63 3d 8a 23 20 00 	movslq 0x20238a(%rip),%rdi        # 604b1c <seed>
  402792:	ba 00 01 00 00       	mov    $0x100,%edx
  402797:	be 20 8b 60 00       	mov    $0x608b20,%esi
  40279c:	e8 1f e8 ff ff       	callq  400fc0 <initstate@plt>
  4027a1:	bf 20 8b 60 00       	mov    $0x608b20,%edi
  4027a6:	e8 15 e7 ff ff       	callq  400ec0 <setstate@plt>
  4027ab:	83 3d 0a 24 20 00 01 	cmpl   $0x1,0x20240a(%rip)        # 604bbc <lite>
  4027b2:	19 f6                	sbb    %esi,%esi
  4027b4:	81 e6 00 06 00 00    	and    $0x600,%esi
  4027ba:	83 c6 02             	add    $0x2,%esi
  4027bd:	ba b6 01 00 00       	mov    $0x1b6,%edx
  4027c2:	48 8b 3d 47 24 20 00 	mov    0x202447(%rip),%rdi        # 604c10 <fname>
  4027c9:	b8 00 00 00 00       	mov    $0x0,%eax
  4027ce:	e8 7d e6 ff ff       	callq  400e50 <open@plt>
  4027d3:	89 05 4f 64 20 00    	mov    %eax,0x20644f(%rip)        # 608c28 <fd>
  4027d9:	85 c0                	test   %eax,%eax
  4027db:	79 16                	jns    4027f3 <main+0x5ca>
  4027dd:	48 8b 3d 2c 24 20 00 	mov    0x20242c(%rip),%rdi        # 604c10 <fname>
  4027e4:	e8 17 ec ff ff       	callq  401400 <prterr>
  4027e9:	bf 5b 00 00 00       	mov    $0x5b,%edi
  4027ee:	e8 ad e6 ff ff       	callq  400ea0 <exit@plt>
  4027f3:	48 8d 9c 24 90 04 00 	lea    0x490(%rsp),%rbx
  4027fa:	00 
  4027fb:	ba 00 01 00 00       	mov    $0x100,%edx
  402800:	48 8b 35 09 24 20 00 	mov    0x202409(%rip),%rsi        # 604c10 <fname>
  402807:	48 89 df             	mov    %rbx,%rdi
  40280a:	e8 c1 e6 ff ff       	callq  400ed0 <strncat@plt>
  40280f:	48 89 df             	mov    %rbx,%rdi
  402812:	b8 00 00 00 00       	mov    $0x0,%eax
  402817:	48 c7 c1 ff ff ff ff 	mov    $0xffffffffffffffff,%rcx
  40281e:	f2 ae                	repnz scas %es:(%rdi),%al
  402820:	48 f7 d1             	not    %rcx
  402823:	48 8d 44 0b ff       	lea    -0x1(%rbx,%rcx,1),%rax
  402828:	c7 00 2e 66 73 78    	movl   $0x7873662e,(%rax)
  40282e:	c7 40 04 67 6f 6f 64 	movl   $0x646f6f67,0x4(%rax)
  402835:	c6 40 08 00          	movb   $0x0,0x8(%rax)
  402839:	ba b6 01 00 00       	mov    $0x1b6,%edx
  40283e:	be 02 06 00 00       	mov    $0x602,%esi
  402843:	48 89 df             	mov    %rbx,%rdi
  402846:	b8 00 00 00 00       	mov    $0x0,%eax
  40284b:	e8 00 e6 ff ff       	callq  400e50 <open@plt>
  402850:	89 05 6a 23 20 00    	mov    %eax,0x20236a(%rip)        # 604bc0 <fsxgoodfd>
  402856:	85 c0                	test   %eax,%eax
  402858:	79 17                	jns    402871 <main+0x648>
  40285a:	48 8d bc 24 90 04 00 	lea    0x490(%rsp),%rdi
  402861:	00 
  402862:	e8 99 eb ff ff       	callq  401400 <prterr>
  402867:	bf 5c 00 00 00       	mov    $0x5c,%edi
  40286c:	e8 2f e6 ff ff       	callq  400ea0 <exit@plt>
  402871:	48 8d 9c 24 90 00 00 	lea    0x90(%rsp),%rbx
  402878:	00 
  402879:	ba 00 01 00 00       	mov    $0x100,%edx
  40287e:	48 8b 35 8b 23 20 00 	mov    0x20238b(%rip),%rsi        # 604c10 <fname>
  402885:	48 89 df             	mov    %rbx,%rdi
  402888:	e8 43 e6 ff ff       	callq  400ed0 <strncat@plt>
  40288d:	48 89 df             	mov    %rbx,%rdi
  402890:	b8 00 00 00 00       	mov    $0x0,%eax
  402895:	48 c7 c1 ff ff ff ff 	mov    $0xffffffffffffffff,%rcx
  40289c:	f2 ae                	repnz scas %es:(%rdi),%al
  40289e:	48 f7 d1             	not    %rcx
  4028a1:	c7 44 0b ff 2e 66 73 	movl   $0x7873662e,-0x1(%rbx,%rcx,1)
  4028a8:	78 
  4028a9:	c7 44 0b 03 6c 6f 67 	movl   $0x676f6c,0x3(%rbx,%rcx,1)
  4028b0:	00 
  4028b1:	be 7c 40 40 00       	mov    $0x40407c,%esi
  4028b6:	48 89 df             	mov    %rbx,%rdi
  4028b9:	e8 b2 e6 ff ff       	callq  400f70 <fopen@plt>
  4028be:	48 89 05 03 23 20 00 	mov    %rax,0x202303(%rip)        # 604bc8 <fsxlogf>
  4028c5:	48 85 c0             	test   %rax,%rax
  4028c8:	75 17                	jne    4028e1 <main+0x6b8>
  4028ca:	48 8d bc 24 90 00 00 	lea    0x90(%rsp),%rdi
  4028d1:	00 
  4028d2:	e8 29 eb ff ff       	callq  401400 <prterr>
  4028d7:	bf 5d 00 00 00       	mov    $0x5d,%edi
  4028dc:	e8 bf e5 ff ff       	callq  400ea0 <exit@plt>
  4028e1:	83 3d d4 22 20 00 00 	cmpl   $0x0,0x2022d4(%rip)        # 604bbc <lite>
  4028e8:	0f 84 8e 00 00 00    	je     40297c <main+0x753>
  4028ee:	ba 02 00 00 00       	mov    $0x2,%edx
  4028f3:	be 00 00 00 00       	mov    $0x0,%esi
  4028f8:	8b 3d 2a 63 20 00    	mov    0x20632a(%rip),%edi        # 608c28 <fd>
  4028fe:	e8 cd e4 ff ff       	callq  400dd0 <lseek@plt>
  402903:	48 89 05 d6 21 20 00 	mov    %rax,0x2021d6(%rip)        # 604ae0 <maxfilelen>
  40290a:	48 89 05 67 22 20 00 	mov    %rax,0x202267(%rip)        # 604b78 <file_size>
  402911:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  402915:	75 25                	jne    40293c <main+0x713>
  402917:	48 8b 3d f2 22 20 00 	mov    0x2022f2(%rip),%rdi        # 604c10 <fname>
  40291e:	e8 dd ea ff ff       	callq  401400 <prterr>
  402923:	bf 7e 40 40 00       	mov    $0x40407e,%edi
  402928:	b8 00 00 00 00       	mov    $0x0,%eax
  40292d:	e8 bc e9 ff ff       	callq  4012ee <warn>
  402932:	bf 5e 00 00 00       	mov    $0x5e,%edi
  402937:	e8 64 e5 ff ff       	callq  400ea0 <exit@plt>
  40293c:	ba 00 00 00 00       	mov    $0x0,%edx
  402941:	be 00 00 00 00       	mov    $0x0,%esi
  402946:	8b 3d dc 62 20 00    	mov    0x2062dc(%rip),%edi        # 608c28 <fd>
  40294c:	e8 7f e4 ff ff       	callq  400dd0 <lseek@plt>
  402951:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  402955:	75 25                	jne    40297c <main+0x753>
  402957:	48 8b 3d b2 22 20 00 	mov    0x2022b2(%rip),%rdi        # 604c10 <fname>
  40295e:	e8 9d ea ff ff       	callq  401400 <prterr>
  402963:	bf 8e 40 40 00       	mov    $0x40408e,%edi
  402968:	b8 00 00 00 00       	mov    $0x0,%eax
  40296d:	e8 7c e9 ff ff       	callq  4012ee <warn>
  402972:	bf 5f 00 00 00       	mov    $0x5f,%edi
  402977:	e8 24 e5 ff ff       	callq  400ea0 <exit@plt>
  40297c:	48 8b 3d 5d 21 20 00 	mov    0x20215d(%rip),%rdi        # 604ae0 <maxfilelen>
  402983:	e8 78 e4 ff ff       	callq  400e00 <malloc@plt>
  402988:	48 89 05 11 61 20 00 	mov    %rax,0x206111(%rip)        # 608aa0 <original_buf>
  40298f:	48 8b 3d 4a 21 20 00 	mov    0x20214a(%rip),%rdi        # 604ae0 <maxfilelen>
  402996:	48 85 ff             	test   %rdi,%rdi
  402999:	74 41                	je     4029dc <main+0x7b3>
  40299b:	bd 00 00 00 00       	mov    $0x0,%ebp
  4029a0:	bb 00 00 00 00       	mov    $0x0,%ebx
  4029a5:	48 03 2d f4 60 20 00 	add    0x2060f4(%rip),%rbp        # 608aa0 <original_buf>
  4029ac:	e8 5f e4 ff ff       	callq  400e10 <random@plt>
  4029b1:	48 89 c2             	mov    %rax,%rdx
  4029b4:	48 c1 fa 3f          	sar    $0x3f,%rdx
  4029b8:	48 c1 ea 38          	shr    $0x38,%rdx
  4029bc:	48 01 d0             	add    %rdx,%rax
  4029bf:	25 ff 00 00 00       	and    $0xff,%eax
  4029c4:	48 29 d0             	sub    %rdx,%rax
  4029c7:	88 45 00             	mov    %al,0x0(%rbp)
  4029ca:	83 c3 01             	add    $0x1,%ebx
  4029cd:	48 63 eb             	movslq %ebx,%rbp
  4029d0:	48 8b 3d 09 21 20 00 	mov    0x202109(%rip),%rdi        # 604ae0 <maxfilelen>
  4029d7:	48 39 fd             	cmp    %rdi,%rbp
  4029da:	72 c9                	jb     4029a5 <main+0x77c>
  4029dc:	e8 1f e4 ff ff       	callq  400e00 <malloc@plt>
  4029e1:	48 89 05 38 62 20 00 	mov    %rax,0x206238(%rip)        # 608c20 <good_buf>
  4029e8:	48 8b 15 f1 20 20 00 	mov    0x2020f1(%rip),%rdx        # 604ae0 <maxfilelen>
  4029ef:	be 00 00 00 00       	mov    $0x0,%esi
  4029f4:	48 89 c7             	mov    %rax,%rdi
  4029f7:	e8 f4 e3 ff ff       	callq  400df0 <memset@plt>
  4029fc:	48 63 3d e9 20 20 00 	movslq 0x2020e9(%rip),%rdi        # 604aec <maxoplen>
  402a03:	e8 f8 e3 ff ff       	callq  400e00 <malloc@plt>
  402a08:	48 89 05 f1 21 20 00 	mov    %rax,0x2021f1(%rip)        # 604c00 <temp_buf>
  402a0f:	48 63 15 d6 20 20 00 	movslq 0x2020d6(%rip),%rdx        # 604aec <maxoplen>
  402a16:	be 00 00 00 00       	mov    $0x0,%esi
  402a1b:	48 89 c7             	mov    %rax,%rdi
  402a1e:	e8 cd e3 ff ff       	callq  400df0 <memset@plt>
  402a23:	83 3d 92 21 20 00 00 	cmpl   $0x0,0x202192(%rip)        # 604bbc <lite>
  402a2a:	74 67                	je     402a93 <main+0x86a>
  402a2c:	48 8b 15 ad 20 20 00 	mov    0x2020ad(%rip),%rdx        # 604ae0 <maxfilelen>
  402a33:	48 8b 35 e6 61 20 00 	mov    0x2061e6(%rip),%rsi        # 608c20 <good_buf>
  402a3a:	8b 3d e8 61 20 00    	mov    0x2061e8(%rip),%edi        # 608c28 <fd>
  402a40:	e8 5b e3 ff ff       	callq  400da0 <write@plt>
  402a45:	48 8b 15 94 20 20 00 	mov    0x202094(%rip),%rdx        # 604ae0 <maxfilelen>
  402a4c:	48 39 d0             	cmp    %rdx,%rax
  402a4f:	0f 84 68 07 00 00    	je     4031bd <main+0xf94>
  402a55:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  402a59:	75 1d                	jne    402a78 <main+0x84f>
  402a5b:	48 8b 3d ae 21 20 00 	mov    0x2021ae(%rip),%rdi        # 604c10 <fname>
  402a62:	e8 99 e9 ff ff       	callq  401400 <prterr>
  402a67:	bf 9c 40 40 00       	mov    $0x40409c,%edi
  402a6c:	b8 00 00 00 00       	mov    $0x0,%eax
  402a71:	e8 78 e8 ff ff       	callq  4012ee <warn>
  402a76:	eb 11                	jmp    402a89 <main+0x860>
  402a78:	89 c6                	mov    %eax,%esi
  402a7a:	bf 38 3c 40 00       	mov    $0x403c38,%edi
  402a7f:	b8 00 00 00 00       	mov    $0x0,%eax
  402a84:	e8 65 e8 ff ff       	callq  4012ee <warn>
  402a89:	bf 62 00 00 00       	mov    $0x62,%edi
  402a8e:	e8 0d e4 ff ff       	callq  400ea0 <exit@plt>
  402a93:	be 00 00 00 00       	mov    $0x0,%esi
  402a98:	8b 3d 8a 61 20 00    	mov    0x20618a(%rip),%edi        # 608c28 <fd>
  402a9e:	e8 9d e4 ff ff       	callq  400f40 <ftruncate@plt>
  402aa3:	be a0 86 01 00       	mov    $0x186a0,%esi
  402aa8:	8b 3d 7a 61 20 00    	mov    0x20617a(%rip),%edi        # 608c28 <fd>
  402aae:	e8 8d e4 ff ff       	callq  400f40 <ftruncate@plt>
  402ab3:	48 8d 74 24 10       	lea    0x10(%rsp),%rsi
  402ab8:	8b 3d 6a 61 20 00    	mov    0x20616a(%rip),%edi        # 608c28 <fd>
  402abe:	e8 6d e3 ff ff       	callq  400e30 <fstat@plt>
  402ac3:	48 81 7c 24 60 a0 86 	cmpq   $0x186a0,0x60(%rsp)
  402aca:	01 00 
  402acc:	74 19                	je     402ae7 <main+0x8be>
  402ace:	bf 68 3c 40 00       	mov    $0x403c68,%edi
  402ad3:	b8 00 00 00 00       	mov    $0x0,%eax
  402ad8:	e8 23 e7 ff ff       	callq  401200 <prt>
  402add:	bf 82 00 00 00       	mov    $0x82,%edi
  402ae2:	e8 b9 e3 ff ff       	callq  400ea0 <exit@plt>
  402ae7:	be 00 00 00 00       	mov    $0x0,%esi
  402aec:	8b 3d 36 61 20 00    	mov    0x206136(%rip),%edi        # 608c28 <fd>
  402af2:	e8 49 e4 ff ff       	callq  400f40 <ftruncate@plt>
  402af7:	e9 c1 06 00 00       	jmpq   4031bd <main+0xf94>
  402afc:	44 8b 25 e9 1f 20 00 	mov    0x201fe9(%rip),%r12d        # 604aec <maxoplen>
  402b03:	e8 08 e3 ff ff       	callq  400e10 <random@plt>
  402b08:	48 89 c5             	mov    %rax,%rbp
  402b0b:	83 3d aa 20 20 00 01 	cmpl   $0x1,0x2020aa(%rip)        # 604bbc <lite>
  402b12:	19 d2                	sbb    %edx,%edx
  402b14:	f7 d2                	not    %edx
  402b16:	83 c2 04             	add    $0x4,%edx
  402b19:	03 15 01 20 20 00    	add    0x202001(%rip),%edx        # 604b20 <mapped_writes>
  402b1f:	48 63 ca             	movslq %edx,%rcx
  402b22:	ba 00 00 00 00       	mov    $0x0,%edx
  402b27:	48 f7 f1             	div    %rcx
  402b2a:	48 89 d3             	mov    %rdx,%rbx
  402b2d:	48 83 fa 02          	cmp    $0x2,%rdx
  402b31:	75 0b                	jne    402b3e <main+0x915>
  402b33:	83 3d ea 1f 20 00 00 	cmpl   $0x0,0x201fea(%rip)        # 604b24 <mapped_reads>
  402b3a:	49 0f 44 dd          	cmove  %r13,%rbx
  402b3e:	48 8b 05 4b 20 20 00 	mov    0x20204b(%rip),%rax        # 604b90 <simulatedopcount>
  402b45:	48 85 c0             	test   %rax,%rax
  402b48:	74 13                	je     402b5d <main+0x934>
  402b4a:	48 3b 05 37 20 20 00 	cmp    0x202037(%rip),%rax        # 604b88 <testcalls>
  402b51:	75 0a                	jne    402b5d <main+0x934>
  402b53:	b8 00 00 00 00       	mov    $0x0,%eax
  402b58:	e8 11 ef ff ff       	callq  401a6e <writefileimage>
  402b5d:	48 83 05 23 20 20 00 	addq   $0x1,0x202023(%rip)        # 604b88 <testcalls>
  402b64:	01 
  402b65:	8b 0d 2d 20 20 00    	mov    0x20202d(%rip),%ecx        # 604b98 <closeprob>
  402b6b:	85 c9                	test   %ecx,%ecx
  402b6d:	74 20                	je     402b8f <main+0x966>
  402b6f:	48 c1 ed 03          	shr    $0x3,%rbp
  402b73:	44 89 f2             	mov    %r14d,%edx
  402b76:	44 89 f0             	mov    %r14d,%eax
  402b79:	c1 fa 1f             	sar    $0x1f,%edx
  402b7c:	f7 f9                	idiv   %ecx
  402b7e:	48 98                	cltq   
  402b80:	48 39 c5             	cmp    %rax,%rbp
  402b83:	0f 92 c0             	setb   %al
  402b86:	0f b6 c0             	movzbl %al,%eax
  402b89:	89 05 41 20 20 00    	mov    %eax,0x202041(%rip)        # 604bd0 <closeopen>
  402b8f:	48 8b 05 0a 20 20 00 	mov    0x20200a(%rip),%rax        # 604ba0 <debugstart>
  402b96:	48 85 c0             	test   %rax,%rax
  402b99:	74 13                	je     402bae <main+0x985>
  402b9b:	48 3b 05 e6 1f 20 00 	cmp    0x201fe6(%rip),%rax        # 604b88 <testcalls>
  402ba2:	77 0a                	ja     402bae <main+0x985>
  402ba4:	c7 05 ee 1f 20 00 01 	movl   $0x1,0x201fee(%rip)        # 604b9c <debug>
  402bab:	00 00 00 
  402bae:	83 3d f3 1f 20 00 00 	cmpl   $0x0,0x201ff3(%rip)        # 604ba8 <quiet>
  402bb5:	75 3c                	jne    402bf3 <main+0x9ca>
  402bb7:	48 8b 35 ca 1f 20 00 	mov    0x201fca(%rip),%rsi        # 604b88 <testcalls>
  402bbe:	48 3b 35 cb 1f 20 00 	cmp    0x201fcb(%rip),%rsi        # 604b90 <simulatedopcount>
  402bc5:	73 2c                	jae    402bf3 <main+0x9ca>
  402bc7:	48 89 f2             	mov    %rsi,%rdx
  402bca:	48 c1 ea 05          	shr    $0x5,%rdx
  402bce:	48 89 d0             	mov    %rdx,%rax
  402bd1:	49 f7 e7             	mul    %r15
  402bd4:	48 c1 ea 07          	shr    $0x7,%rdx
  402bd8:	48 69 d2 a0 86 01 00 	imul   $0x186a0,%rdx,%rdx
  402bdf:	48 39 d6             	cmp    %rdx,%rsi
  402be2:	75 0f                	jne    402bf3 <main+0x9ca>
  402be4:	bf b1 40 40 00       	mov    $0x4040b1,%edi
  402be9:	b8 00 00 00 00       	mov    $0x0,%eax
  402bee:	e8 0d e6 ff ff       	callq  401200 <prt>
  402bf3:	83 3d c2 1f 20 00 00 	cmpl   $0x0,0x201fc2(%rip)        # 604bbc <lite>
  402bfa:	75 2c                	jne    402c28 <main+0x9ff>
  402bfc:	48 83 fb 03          	cmp    $0x3,%rbx
  402c00:	75 26                	jne    402c28 <main+0x9ff>
  402c02:	83 3d af 1f 20 00 00 	cmpl   $0x0,0x201faf(%rip)        # 604bb8 <style>
  402c09:	75 1d                	jne    402c28 <main+0x9ff>
  402c0b:	e8 00 e2 ff ff       	callq  400e10 <random@plt>
  402c10:	ba 00 00 00 00       	mov    $0x0,%edx
  402c15:	48 f7 35 c4 1e 20 00 	divq   0x201ec4(%rip)        # 604ae0 <maxfilelen>
  402c1c:	89 d7                	mov    %edx,%edi
  402c1e:	e8 ef ec ff ff       	callq  401912 <dotruncate>
  402c23:	e9 79 04 00 00       	jmpq   4030a1 <main+0xe78>
  402c28:	49 63 ec             	movslq %r12d,%rbp
  402c2b:	83 3d e6 1e 20 00 00 	cmpl   $0x0,0x201ee6(%rip)        # 604b18 <randomoplen>
  402c32:	74 1e                	je     402c52 <main+0xa29>
  402c34:	e8 d7 e1 ff ff       	callq  400e10 <random@plt>
  402c39:	8b 15 ad 1e 20 00    	mov    0x201ead(%rip),%edx        # 604aec <maxoplen>
  402c3f:	83 c2 01             	add    $0x1,%edx
  402c42:	48 63 ca             	movslq %edx,%rcx
  402c45:	48 89 c2             	mov    %rax,%rdx
  402c48:	48 c1 fa 3f          	sar    $0x3f,%rdx
  402c4c:	48 f7 f9             	idiv   %rcx
  402c4f:	48 89 d5             	mov    %rdx,%rbp
  402c52:	83 3d 63 1f 20 00 00 	cmpl   $0x0,0x201f63(%rip)        # 604bbc <lite>
  402c59:	75 12                	jne    402c6d <main+0xa44>
  402c5b:	48 83 fb 03          	cmp    $0x3,%rbx
  402c5f:	75 0c                	jne    402c6d <main+0xa44>
  402c61:	89 ef                	mov    %ebp,%edi
  402c63:	e8 aa ec ff ff       	callq  401912 <dotruncate>
  402c68:	e9 34 04 00 00       	jmpq   4030a1 <main+0xe78>
  402c6d:	0f 1f 00             	nopl   (%rax)
  402c70:	e8 9b e1 ff ff       	callq  400e10 <random@plt>
  402c75:	48 83 fb 01          	cmp    $0x1,%rbx
  402c79:	74 1a                	je     402c95 <main+0xa6c>
  402c7b:	83 3d 3a 1f 20 00 01 	cmpl   $0x1,0x201f3a(%rip)        # 604bbc <lite>
  402c82:	48 19 d2             	sbb    %rdx,%rdx
  402c85:	48 f7 d2             	not    %rdx
  402c88:	48 83 c2 04          	add    $0x4,%rdx
  402c8c:	48 39 d3             	cmp    %rdx,%rbx
  402c8f:	0f 85 18 02 00 00    	jne    402ead <main+0xc84>
  402c95:	48 8b 0d 44 1e 20 00 	mov    0x201e44(%rip),%rcx        # 604ae0 <maxfilelen>
  402c9c:	ba 00 00 00 00       	mov    $0x0,%edx
  402ca1:	48 f7 f1             	div    %rcx
  402ca4:	48 8d 34 2a          	lea    (%rdx,%rbp,1),%rsi
  402ca8:	48 89 c8             	mov    %rcx,%rax
  402cab:	48 29 d0             	sub    %rdx,%rax
  402cae:	48 39 f1             	cmp    %rsi,%rcx
  402cb1:	48 0f 42 e8          	cmovb  %rax,%rbp
  402cb5:	48 83 fb 01          	cmp    $0x1,%rbx
  402cb9:	74 0e                	je     402cc9 <main+0xaa0>
  402cbb:	89 ee                	mov    %ebp,%esi
  402cbd:	89 d7                	mov    %edx,%edi
  402cbf:	e8 7f ee ff ff       	callq  401b43 <domapwrite>
  402cc4:	e9 d8 03 00 00       	jmpq   4030a1 <main+0xe78>
  402cc9:	89 d3                	mov    %edx,%ebx
  402ccb:	89 d0                	mov    %edx,%eax
  402ccd:	ba 00 00 00 00       	mov    $0x0,%edx
  402cd2:	f7 35 20 1e 20 00    	divl   0x201e20(%rip)        # 604af8 <writebdy>
  402cd8:	29 d3                	sub    %edx,%ebx
  402cda:	85 ed                	test   %ebp,%ebp
  402cdc:	75 43                	jne    402d21 <main+0xaf8>
  402cde:	83 3d c3 1e 20 00 00 	cmpl   $0x0,0x201ec3(%rip)        # 604ba8 <quiet>
  402ce5:	75 1f                	jne    402d06 <main+0xadd>
  402ce7:	48 8b 05 a2 1e 20 00 	mov    0x201ea2(%rip),%rax        # 604b90 <simulatedopcount>
  402cee:	48 39 05 93 1e 20 00 	cmp    %rax,0x201e93(%rip)        # 604b88 <testcalls>
  402cf5:	76 0f                	jbe    402d06 <main+0xadd>
  402cf7:	bf 27 3f 40 00       	mov    $0x403f27,%edi
  402cfc:	b8 00 00 00 00       	mov    $0x0,%eax
  402d01:	e8 fa e4 ff ff       	callq  401200 <prt>
  402d06:	b9 00 00 00 00       	mov    $0x0,%ecx
  402d0b:	89 da                	mov    %ebx,%edx
  402d0d:	be 02 00 00 00       	mov    $0x2,%esi
  402d12:	bf 07 00 00 00       	mov    $0x7,%edi
  402d17:	e8 d4 e3 ff ff       	callq  4010f0 <log4>
  402d1c:	e9 80 03 00 00       	jmpq   4030a1 <main+0xe78>
  402d21:	8b 0d 51 1e 20 00    	mov    0x201e51(%rip),%ecx        # 604b78 <file_size>
  402d27:	89 ea                	mov    %ebp,%edx
  402d29:	89 de                	mov    %ebx,%esi
  402d2b:	bf 02 00 00 00       	mov    $0x2,%edi
  402d30:	e8 bb e3 ff ff       	callq  4010f0 <log4>
  402d35:	89 e9                	mov    %ebp,%ecx
  402d37:	89 da                	mov    %ebx,%edx
  402d39:	48 8b 35 e0 5e 20 00 	mov    0x205ee0(%rip),%rsi        # 608c20 <good_buf>
  402d40:	48 8b 3d 59 5d 20 00 	mov    0x205d59(%rip),%rdi        # 608aa0 <original_buf>
  402d47:	e8 f4 e3 ff ff       	callq  401140 <gendata>
  402d4c:	8d 54 1d 00          	lea    0x0(%rbp,%rbx,1),%edx
  402d50:	89 54 24 0c          	mov    %edx,0xc(%rsp)
  402d54:	41 89 d4             	mov    %edx,%r12d
  402d57:	48 8b 3d 1a 1e 20 00 	mov    0x201e1a(%rip),%rdi        # 604b78 <file_size>
  402d5e:	49 39 fc             	cmp    %rdi,%r12
  402d61:	7e 47                	jle    402daa <main+0xb81>
  402d63:	89 d8                	mov    %ebx,%eax
  402d65:	48 39 c7             	cmp    %rax,%rdi
  402d68:	7d 17                	jge    402d81 <main+0xb58>
  402d6a:	48 89 c2             	mov    %rax,%rdx
  402d6d:	48 29 fa             	sub    %rdi,%rdx
  402d70:	48 03 3d a9 5e 20 00 	add    0x205ea9(%rip),%rdi        # 608c20 <good_buf>
  402d77:	be 00 00 00 00       	mov    $0x0,%esi
  402d7c:	e8 6f e0 ff ff       	callq  400df0 <memset@plt>
  402d81:	4c 89 25 f0 1d 20 00 	mov    %r12,0x201df0(%rip)        # 604b78 <file_size>
  402d88:	83 3d 2d 1e 20 00 00 	cmpl   $0x0,0x201e2d(%rip)        # 604bbc <lite>
  402d8f:	74 19                	je     402daa <main+0xb81>
  402d91:	bf 41 3f 40 00       	mov    $0x403f41,%edi
  402d96:	b8 00 00 00 00       	mov    $0x0,%eax
  402d9b:	e8 4e e5 ff ff       	callq  4012ee <warn>
  402da0:	bf 95 00 00 00       	mov    $0x95,%edi
  402da5:	e8 9a e6 ff ff       	callq  401444 <report_failure>
  402daa:	48 8b 35 d7 1d 20 00 	mov    0x201dd7(%rip),%rsi        # 604b88 <testcalls>
  402db1:	48 3b 35 d8 1d 20 00 	cmp    0x201dd8(%rip),%rsi        # 604b90 <simulatedopcount>
  402db8:	0f 86 e3 02 00 00    	jbe    4030a1 <main+0xe78>
  402dbe:	83 3d e3 1d 20 00 00 	cmpl   $0x0,0x201de3(%rip)        # 604ba8 <quiet>
  402dc5:	75 66                	jne    402e2d <main+0xc04>
  402dc7:	48 8b 0d e2 1d 20 00 	mov    0x201de2(%rip),%rcx        # 604bb0 <progressinterval>
  402dce:	48 85 c9             	test   %rcx,%rcx
  402dd1:	74 10                	je     402de3 <main+0xbba>
  402dd3:	48 89 f0             	mov    %rsi,%rax
  402dd6:	ba 00 00 00 00       	mov    $0x0,%edx
  402ddb:	48 f7 f1             	div    %rcx
  402dde:	48 85 d2             	test   %rdx,%rdx
  402de1:	74 2f                	je     402e12 <main+0xbe9>
  402de3:	83 3d b2 1d 20 00 00 	cmpl   $0x0,0x201db2(%rip)        # 604b9c <debug>
  402dea:	74 41                	je     402e2d <main+0xc04>
  402dec:	48 8b 05 0d 1d 20 00 	mov    0x201d0d(%rip),%rax        # 604b00 <monitorstart>
  402df3:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  402df7:	74 19                	je     402e12 <main+0xbe9>
  402df9:	49 39 c4             	cmp    %rax,%r12
  402dfc:	7e 2f                	jle    402e2d <main+0xc04>
  402dfe:	48 8b 05 03 1d 20 00 	mov    0x201d03(%rip),%rax        # 604b08 <monitorend>
  402e05:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  402e09:	74 07                	je     402e12 <main+0xbe9>
  402e0b:	89 da                	mov    %ebx,%edx
  402e0d:	48 39 d0             	cmp    %rdx,%rax
  402e10:	7c 1b                	jl     402e2d <main+0xc04>
  402e12:	8b 4c 24 0c          	mov    0xc(%rsp),%ecx
  402e16:	83 e9 01             	sub    $0x1,%ecx
  402e19:	41 89 e8             	mov    %ebp,%r8d
  402e1c:	89 da                	mov    %ebx,%edx
  402e1e:	bf 90 3c 40 00       	mov    $0x403c90,%edi
  402e23:	b8 00 00 00 00       	mov    $0x0,%eax
  402e28:	e8 d3 e3 ff ff       	callq  401200 <prt>
  402e2d:	89 de                	mov    %ebx,%esi
  402e2f:	ba 00 00 00 00       	mov    $0x0,%edx
  402e34:	8b 3d ee 5d 20 00    	mov    0x205dee(%rip),%edi        # 608c28 <fd>
  402e3a:	e8 91 df ff ff       	callq  400dd0 <lseek@plt>
  402e3f:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  402e43:	75 14                	jne    402e59 <main+0xc30>
  402e45:	bf b9 40 40 00       	mov    $0x4040b9,%edi
  402e4a:	e8 b1 e5 ff ff       	callq  401400 <prterr>
  402e4f:	bf 96 00 00 00       	mov    $0x96,%edi
  402e54:	e8 eb e5 ff ff       	callq  401444 <report_failure>
  402e59:	89 ea                	mov    %ebp,%edx
  402e5b:	89 db                	mov    %ebx,%ebx
  402e5d:	48 89 de             	mov    %rbx,%rsi
  402e60:	48 03 35 b9 5d 20 00 	add    0x205db9(%rip),%rsi        # 608c20 <good_buf>
  402e67:	8b 3d bb 5d 20 00    	mov    0x205dbb(%rip),%edi        # 608c28 <fd>
  402e6d:	e8 2e df ff ff       	callq  400da0 <write@plt>
  402e72:	89 c6                	mov    %eax,%esi
  402e74:	39 c5                	cmp    %eax,%ebp
  402e76:	0f 84 25 02 00 00    	je     4030a1 <main+0xe78>
  402e7c:	83 f8 ff             	cmp    $0xffffffff,%eax
  402e7f:	75 0c                	jne    402e8d <main+0xc64>
  402e81:	bf c8 40 40 00       	mov    $0x4040c8,%edi
  402e86:	e8 75 e5 ff ff       	callq  401400 <prterr>
  402e8b:	eb 11                	jmp    402e9e <main+0xc75>
  402e8d:	89 ea                	mov    %ebp,%edx
  402e8f:	bf b8 3c 40 00       	mov    $0x403cb8,%edi
  402e94:	b8 00 00 00 00       	mov    $0x0,%eax
  402e99:	e8 62 e3 ff ff       	callq  401200 <prt>
  402e9e:	bf 97 00 00 00       	mov    $0x97,%edi
  402ea3:	e8 9c e5 ff ff       	callq  401444 <report_failure>
  402ea8:	e9 f4 01 00 00       	jmpq   4030a1 <main+0xe78>
  402ead:	48 8b 0d c4 1c 20 00 	mov    0x201cc4(%rip),%rcx        # 604b78 <file_size>
  402eb4:	4c 89 ea             	mov    %r13,%rdx
  402eb7:	48 85 c9             	test   %rcx,%rcx
  402eba:	74 08                	je     402ec4 <main+0xc9b>
  402ebc:	ba 00 00 00 00       	mov    $0x0,%edx
  402ec1:	48 f7 f1             	div    %rcx
  402ec4:	48 8d 34 2a          	lea    (%rdx,%rbp,1),%rsi
  402ec8:	48 89 c8             	mov    %rcx,%rax
  402ecb:	48 29 d0             	sub    %rdx,%rax
  402ece:	48 39 ce             	cmp    %rcx,%rsi
  402ed1:	48 0f 47 e8          	cmova  %rax,%rbp
  402ed5:	48 85 db             	test   %rbx,%rbx
  402ed8:	74 0e                	je     402ee8 <main+0xcbf>
  402eda:	89 ee                	mov    %ebp,%esi
  402edc:	89 d7                	mov    %edx,%edi
  402ede:	e8 f0 f0 ff ff       	callq  401fd3 <domapread>
  402ee3:	e9 b9 01 00 00       	jmpq   4030a1 <main+0xe78>
  402ee8:	89 d3                	mov    %edx,%ebx
  402eea:	89 d0                	mov    %edx,%eax
  402eec:	ba 00 00 00 00       	mov    $0x0,%edx
  402ef1:	f7 35 f9 1b 20 00    	divl   0x201bf9(%rip)        # 604af0 <readbdy>
  402ef7:	29 d3                	sub    %edx,%ebx
  402ef9:	85 ed                	test   %ebp,%ebp
  402efb:	75 43                	jne    402f40 <main+0xd17>
  402efd:	83 3d a4 1c 20 00 00 	cmpl   $0x0,0x201ca4(%rip)        # 604ba8 <quiet>
  402f04:	75 1f                	jne    402f25 <main+0xcfc>
  402f06:	48 8b 05 83 1c 20 00 	mov    0x201c83(%rip),%rax        # 604b90 <simulatedopcount>
  402f0d:	48 39 05 74 1c 20 00 	cmp    %rax,0x201c74(%rip)        # 604b88 <testcalls>
  402f14:	76 0f                	jbe    402f25 <main+0xcfc>
  402f16:	bf f5 3f 40 00       	mov    $0x403ff5,%edi
  402f1b:	b8 00 00 00 00       	mov    $0x0,%eax
  402f20:	e8 db e2 ff ff       	callq  401200 <prt>
  402f25:	b9 00 00 00 00       	mov    $0x0,%ecx
  402f2a:	89 da                	mov    %ebx,%edx
  402f2c:	be 01 00 00 00       	mov    $0x1,%esi
  402f31:	bf 07 00 00 00       	mov    $0x7,%edi
  402f36:	e8 b5 e1 ff ff       	callq  4010f0 <log4>
  402f3b:	e9 61 01 00 00       	jmpq   4030a1 <main+0xe78>
  402f40:	8d 54 1d 00          	lea    0x0(%rbp,%rbx,1),%edx
  402f44:	89 54 24 0c          	mov    %edx,0xc(%rsp)
  402f48:	41 89 d4             	mov    %edx,%r12d
  402f4b:	4c 39 e1             	cmp    %r12,%rcx
  402f4e:	7d 40                	jge    402f90 <main+0xd67>
  402f50:	83 3d 51 1c 20 00 00 	cmpl   $0x0,0x201c51(%rip)        # 604ba8 <quiet>
  402f57:	75 1f                	jne    402f78 <main+0xd4f>
  402f59:	48 8b 05 30 1c 20 00 	mov    0x201c30(%rip),%rax        # 604b90 <simulatedopcount>
  402f60:	48 39 05 21 1c 20 00 	cmp    %rax,0x201c21(%rip)        # 604b88 <testcalls>
  402f67:	76 0f                	jbe    402f78 <main+0xd4f>
  402f69:	bf 90 3b 40 00       	mov    $0x403b90,%edi
  402f6e:	b8 00 00 00 00       	mov    $0x0,%eax
  402f73:	e8 88 e2 ff ff       	callq  401200 <prt>
  402f78:	89 e9                	mov    %ebp,%ecx
  402f7a:	89 da                	mov    %ebx,%edx
  402f7c:	be 01 00 00 00       	mov    $0x1,%esi
  402f81:	bf 07 00 00 00       	mov    $0x7,%edi
  402f86:	e8 65 e1 ff ff       	callq  4010f0 <log4>
  402f8b:	e9 11 01 00 00       	jmpq   4030a1 <main+0xe78>
  402f90:	b9 00 00 00 00       	mov    $0x0,%ecx
  402f95:	89 ea                	mov    %ebp,%edx
  402f97:	89 de                	mov    %ebx,%esi
  402f99:	bf 01 00 00 00       	mov    $0x1,%edi
  402f9e:	e8 4d e1 ff ff       	callq  4010f0 <log4>
  402fa3:	48 8b 35 de 1b 20 00 	mov    0x201bde(%rip),%rsi        # 604b88 <testcalls>
  402faa:	48 3b 35 df 1b 20 00 	cmp    0x201bdf(%rip),%rsi        # 604b90 <simulatedopcount>
  402fb1:	0f 86 ea 00 00 00    	jbe    4030a1 <main+0xe78>
  402fb7:	83 3d ea 1b 20 00 00 	cmpl   $0x0,0x201bea(%rip)        # 604ba8 <quiet>
  402fbe:	75 66                	jne    403026 <main+0xdfd>
  402fc0:	48 8b 0d e9 1b 20 00 	mov    0x201be9(%rip),%rcx        # 604bb0 <progressinterval>
  402fc7:	48 85 c9             	test   %rcx,%rcx
  402fca:	74 10                	je     402fdc <main+0xdb3>
  402fcc:	48 89 f0             	mov    %rsi,%rax
  402fcf:	ba 00 00 00 00       	mov    $0x0,%edx
  402fd4:	48 f7 f1             	div    %rcx
  402fd7:	48 85 d2             	test   %rdx,%rdx
  402fda:	74 2f                	je     40300b <main+0xde2>
  402fdc:	83 3d b9 1b 20 00 00 	cmpl   $0x0,0x201bb9(%rip)        # 604b9c <debug>
  402fe3:	74 41                	je     403026 <main+0xdfd>
  402fe5:	48 8b 05 14 1b 20 00 	mov    0x201b14(%rip),%rax        # 604b00 <monitorstart>
  402fec:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  402ff0:	74 19                	je     40300b <main+0xde2>
  402ff2:	49 39 c4             	cmp    %rax,%r12
  402ff5:	7e 2f                	jle    403026 <main+0xdfd>
  402ff7:	48 8b 05 0a 1b 20 00 	mov    0x201b0a(%rip),%rax        # 604b08 <monitorend>
  402ffe:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  403002:	74 07                	je     40300b <main+0xde2>
  403004:	89 da                	mov    %ebx,%edx
  403006:	48 39 d0             	cmp    %rdx,%rax
  403009:	7c 1b                	jl     403026 <main+0xdfd>
  40300b:	8b 4c 24 0c          	mov    0xc(%rsp),%ecx
  40300f:	83 e9 01             	sub    $0x1,%ecx
  403012:	41 89 e8             	mov    %ebp,%r8d
  403015:	89 da                	mov    %ebx,%edx
  403017:	bf e8 3c 40 00       	mov    $0x403ce8,%edi
  40301c:	b8 00 00 00 00       	mov    $0x0,%eax
  403021:	e8 da e1 ff ff       	callq  401200 <prt>
  403026:	89 de                	mov    %ebx,%esi
  403028:	ba 00 00 00 00       	mov    $0x0,%edx
  40302d:	8b 3d f5 5b 20 00    	mov    0x205bf5(%rip),%edi        # 608c28 <fd>
  403033:	e8 98 dd ff ff       	callq  400dd0 <lseek@plt>
  403038:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  40303c:	75 14                	jne    403052 <main+0xe29>
  40303e:	bf d7 40 40 00       	mov    $0x4040d7,%edi
  403043:	e8 b8 e3 ff ff       	callq  401400 <prterr>
  403048:	bf 8c 00 00 00       	mov    $0x8c,%edi
  40304d:	e8 f2 e3 ff ff       	callq  401444 <report_failure>
  403052:	89 ea                	mov    %ebp,%edx
  403054:	48 8b 35 a5 1b 20 00 	mov    0x201ba5(%rip),%rsi        # 604c00 <temp_buf>
  40305b:	8b 3d c7 5b 20 00    	mov    0x205bc7(%rip),%edi        # 608c28 <fd>
  403061:	e8 8a de ff ff       	callq  400ef0 <read@plt>
  403066:	89 c6                	mov    %eax,%esi
  403068:	39 c5                	cmp    %eax,%ebp
  40306a:	74 2c                	je     403098 <main+0xe6f>
  40306c:	83 f8 ff             	cmp    $0xffffffff,%eax
  40306f:	75 0c                	jne    40307d <main+0xe54>
  403071:	bf e5 40 40 00       	mov    $0x4040e5,%edi
  403076:	e8 85 e3 ff ff       	callq  401400 <prterr>
  40307b:	eb 11                	jmp    40308e <main+0xe65>
  40307d:	89 ea                	mov    %ebp,%edx
  40307f:	bf 10 3d 40 00       	mov    $0x403d10,%edi
  403084:	b8 00 00 00 00       	mov    $0x0,%eax
  403089:	e8 72 e1 ff ff       	callq  401200 <prt>
  40308e:	bf 8d 00 00 00       	mov    $0x8d,%edi
  403093:	e8 ac e3 ff ff       	callq  401444 <report_failure>
  403098:	89 ee                	mov    %ebp,%esi
  40309a:	89 df                	mov    %ebx,%edi
  40309c:	e8 8c ed ff ff       	callq  401e2d <check_buffers>
  4030a1:	83 3d 40 1a 20 00 00 	cmpl   $0x0,0x201a40(%rip)        # 604ae8 <sizechecks>
  4030a8:	74 7c                	je     403126 <main+0xefd>
  4030aa:	48 8b 15 df 1a 20 00 	mov    0x201adf(%rip),%rdx        # 604b90 <simulatedopcount>
  4030b1:	48 39 15 d0 1a 20 00 	cmp    %rdx,0x201ad0(%rip)        # 604b88 <testcalls>
  4030b8:	76 6c                	jbe    403126 <main+0xefd>
  4030ba:	48 8d 74 24 10       	lea    0x10(%rsp),%rsi
  4030bf:	8b 3d 63 5b 20 00    	mov    0x205b63(%rip),%edi        # 608c28 <fd>
  4030c5:	e8 66 dd ff ff       	callq  400e30 <fstat@plt>
  4030ca:	85 c0                	test   %eax,%eax
  4030cc:	74 13                	je     4030e1 <main+0xeb8>
  4030ce:	bf f2 40 40 00       	mov    $0x4040f2,%edi
  4030d3:	e8 28 e3 ff ff       	callq  401400 <prterr>
  4030d8:	48 c7 44 24 60 ff ff 	movq   $0xffffffffffffffff,0x60(%rsp)
  4030df:	ff ff 
  4030e1:	ba 02 00 00 00       	mov    $0x2,%edx
  4030e6:	4c 89 ee             	mov    %r13,%rsi
  4030e9:	8b 3d 39 5b 20 00    	mov    0x205b39(%rip),%edi        # 608c28 <fd>
  4030ef:	e8 dc dc ff ff       	callq  400dd0 <lseek@plt>
  4030f4:	48 8b 54 24 60       	mov    0x60(%rsp),%rdx
  4030f9:	48 8b 35 78 1a 20 00 	mov    0x201a78(%rip),%rsi        # 604b78 <file_size>
  403100:	48 39 f2             	cmp    %rsi,%rdx
  403103:	75 05                	jne    40310a <main+0xee1>
  403105:	48 39 d0             	cmp    %rdx,%rax
  403108:	74 1c                	je     403126 <main+0xefd>
  40310a:	48 89 c1             	mov    %rax,%rcx
  40310d:	bf 38 3d 40 00       	mov    $0x403d38,%edi
  403112:	b8 00 00 00 00       	mov    $0x0,%eax
  403117:	e8 e4 e0 ff ff       	callq  401200 <prt>
  40311c:	bf 78 00 00 00       	mov    $0x78,%edi
  403121:	e8 1e e3 ff ff       	callq  401444 <report_failure>
  403126:	83 3d a3 1a 20 00 00 	cmpl   $0x0,0x201aa3(%rip)        # 604bd0 <closeopen>
  40312d:	0f 84 a0 00 00 00    	je     4031d3 <main+0xfaa>
  403133:	48 8b 35 4e 1a 20 00 	mov    0x201a4e(%rip),%rsi        # 604b88 <testcalls>
  40313a:	48 3b 35 4f 1a 20 00 	cmp    0x201a4f(%rip),%rsi        # 604b90 <simulatedopcount>
  403141:	0f 86 8c 00 00 00    	jbe    4031d3 <main+0xfaa>
  403147:	83 3d 4e 1a 20 00 00 	cmpl   $0x0,0x201a4e(%rip)        # 604b9c <debug>
  40314e:	74 0f                	je     40315f <main+0xf36>
  403150:	bf 04 41 40 00       	mov    $0x404104,%edi
  403155:	b8 00 00 00 00       	mov    $0x0,%eax
  40315a:	e8 a1 e0 ff ff       	callq  401200 <prt>
  40315f:	8b 3d c3 5a 20 00    	mov    0x205ac3(%rip),%edi        # 608c28 <fd>
  403165:	e8 76 dd ff ff       	callq  400ee0 <close@plt>
  40316a:	85 c0                	test   %eax,%eax
  40316c:	74 14                	je     403182 <main+0xf59>
  40316e:	bf 14 41 40 00       	mov    $0x404114,%edi
  403173:	e8 88 e2 ff ff       	callq  401400 <prterr>
  403178:	bf b4 00 00 00       	mov    $0xb4,%edi
  40317d:	e8 c2 e2 ff ff       	callq  401444 <report_failure>
  403182:	ba 00 00 00 00       	mov    $0x0,%edx
  403187:	be 02 00 00 00       	mov    $0x2,%esi
  40318c:	48 8b 3d 7d 1a 20 00 	mov    0x201a7d(%rip),%rdi        # 604c10 <fname>
  403193:	b8 00 00 00 00       	mov    $0x0,%eax
  403198:	e8 b3 dc ff ff       	callq  400e50 <open@plt>
  40319d:	89 05 85 5a 20 00    	mov    %eax,0x205a85(%rip)        # 608c28 <fd>
  4031a3:	85 c0                	test   %eax,%eax
  4031a5:	79 2c                	jns    4031d3 <main+0xfaa>
  4031a7:	bf 27 41 40 00       	mov    $0x404127,%edi
  4031ac:	e8 4f e2 ff ff       	callq  401400 <prterr>
  4031b1:	bf b5 00 00 00       	mov    $0xb5,%edi
  4031b6:	e8 89 e2 ff ff       	callq  401444 <report_failure>
  4031bb:	eb 16                	jmp    4031d3 <main+0xfaa>
  4031bd:	41 bd 00 00 00 00    	mov    $0x0,%r13d
  4031c3:	41 be 00 00 00 10    	mov    $0x10000000,%r14d
  4031c9:	49 bf 43 78 b4 71 c4 	movabs $0xa7c5ac471b47843,%r15
  4031d0:	5a 7c 0a 
  4031d3:	48 8b 05 36 19 20 00 	mov    0x201936(%rip),%rax        # 604b10 <numops>
  4031da:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  4031de:	0f 84 18 f9 ff ff    	je     402afc <main+0x8d3>
  4031e4:	48 8d 50 ff          	lea    -0x1(%rax),%rdx
  4031e8:	48 89 15 21 19 20 00 	mov    %rdx,0x201921(%rip)        # 604b10 <numops>
  4031ef:	48 85 c0             	test   %rax,%rax
  4031f2:	0f 85 04 f9 ff ff    	jne    402afc <main+0x8d3>
  4031f8:	8b 3d 2a 5a 20 00    	mov    0x205a2a(%rip),%edi        # 608c28 <fd>
  4031fe:	e8 dd dc ff ff       	callq  400ee0 <close@plt>
  403203:	85 c0                	test   %eax,%eax
  403205:	74 14                	je     40321b <main+0xff2>
  403207:	bf 21 41 40 00       	mov    $0x404121,%edi
  40320c:	e8 ef e1 ff ff       	callq  401400 <prterr>
  403211:	bf 63 00 00 00       	mov    $0x63,%edi
  403216:	e8 29 e2 ff ff       	callq  401444 <report_failure>
  40321b:	bf 70 3d 40 00       	mov    $0x403d70,%edi
  403220:	b8 00 00 00 00       	mov    $0x0,%eax
  403225:	e8 d6 df ff ff       	callq  401200 <prt>
  40322a:	bf 00 00 00 00       	mov    $0x0,%edi
  40322f:	e8 6c dc ff ff       	callq  400ea0 <exit@plt>

0000000000403234 <segv>:
  403234:	48 83 ec 08          	sub    $0x8,%rsp
  403238:	83 3d c9 19 20 00 00 	cmpl   $0x0,0x2019c9(%rip)        # 604c08 <jmpbuf_good>
  40323f:	74 19                	je     40325a <segv+0x26>
  403241:	c7 05 bd 19 20 00 00 	movl   $0x0,0x2019bd(%rip)        # 604c08 <jmpbuf_good>
  403248:	00 00 00 
  40324b:	be 01 00 00 00       	mov    $0x1,%esi
  403250:	bf c0 8a 60 00       	mov    $0x608ac0,%edi
  403255:	e8 26 dd ff ff       	callq  400f80 <longjmp@plt>
  40325a:	bf 0f 27 00 00       	mov    $0x270f,%edi
  40325f:	e8 e0 e1 ff ff       	callq  401444 <report_failure>
  403264:	48 83 c4 08          	add    $0x8,%rsp
  403268:	c3                   	retq   
  403269:	90                   	nop
  40326a:	90                   	nop
  40326b:	90                   	nop

000000000040326c <__do_global_ctors_aux>:
  40326c:	55                   	push   %rbp
  40326d:	48 89 e5             	mov    %rsp,%rbp
  403270:	53                   	push   %rbx
  403271:	48 83 ec 08          	sub    $0x8,%rsp
  403275:	48 8b 05 7c 15 20 00 	mov    0x20157c(%rip),%rax        # 6047f8 <__CTOR_LIST__>
  40327c:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  403280:	74 14                	je     403296 <__do_global_ctors_aux+0x2a>
  403282:	bb f8 47 60 00       	mov    $0x6047f8,%ebx
  403287:	ff d0                	callq  *%rax
  403289:	48 83 eb 08          	sub    $0x8,%rbx
  40328d:	48 8b 03             	mov    (%rbx),%rax
  403290:	48 83 f8 ff          	cmp    $0xffffffffffffffff,%rax
  403294:	75 f1                	jne    403287 <__do_global_ctors_aux+0x1b>
  403296:	48 83 c4 08          	add    $0x8,%rsp
  40329a:	5b                   	pop    %rbx
  40329b:	c9                   	leaveq 
  40329c:	c3                   	retq   
  40329d:	90                   	nop
  40329e:	90                   	nop
  40329f:	90                   	nop

Disassembly of section .fini:

00000000004032a0 <_fini>:
  4032a0:	48 83 ec 08          	sub    $0x8,%rsp
  4032a4:	e8 bf dd ff ff       	callq  401068 <__do_global_dtors_aux>
  4032a9:	48 83 c4 08          	add    $0x8,%rsp
  4032ad:	c3                   	retq