
/tmp/segments-exec:	file format elf64-x86-64

Disassembly of section .text:

0000000000403000 <correct>:
  403000: 48 85 ff                     	testq	%rdi, %rdi
  403003: 7e 0b                        	jle	0x403010 <correct+0x10>
  403005: ff 05 c5 42 0b 00            	incl	737989(%rip)            # 0x4b72d0 <n>
  40300b: 48 ff cf                     	decq	%rdi
  40300e: 75 f5                        	jne	0x403005 <correct+0x5>
  403010: c3                           	retq
  403011: 66 2e 0f 1f 84 00 00 00 00 00	nopw	%cs:(%rax,%rax)
  40301b: 0f 1f 44 00 00               	nopl	(%rax,%rax)