| /tmp/segments-dyn: file format elf64-x86-64 | |
| Disassembly of section .text: | |
| 0000000000003000 <correct>: | |
| 3000: 48 85 ff testq %rdi, %rdi | |
| 3003: 7e 0b jle 0x3010 <correct+0x10> | |
| 3005: ff 05 11 30 00 00 incl 12305(%rip) # 0x601c <n> | |
| 300b: 48 ff cf decq %rdi | |
| 300e: 75 f5 jne 0x3005 <correct+0x5> | |
| 3010: c3 retq |