| /tmp/segments-shifted: file format elf64-x86-64 | |
| Disassembly of section .text: | |
| 0000000000002000 <correct>: | |
| 2000: 48 85 ff testq %rdi, %rdi | |
| 2003: 7e 0b jle 0x2010 <correct+0x10> | |
| 2005: ff 05 11 40 00 00 incl 16401(%rip) # 0x601c <n> | |
| 200b: 48 ff cf decq %rdi | |
| 200e: 75 f5 jne 0x2005 <correct+0x5> | |
| 2010: c3 retq |