| #objdump: -drt | |
| .*: file format elf64-mmix | |
| SYMBOL TABLE: | |
| 0+ l d \.text 0+ | |
| 0+ l d \.data 0+ | |
| 0+ l d \.bss 0+ | |
| 0+ g F \.text 0+ Main | |
| Disassembly of section \.text: | |
| 0+ <Main>: | |
| 0: 00000000 trap 0,0,0 | |
| 4: fd000000 swym 0,0,0 | |
| 8: ff000000 trip 0,0,0 | |
| c: f0000000 jmp c <Main\+0xc> | |
| 10: f801e240 pop 1,57920 | |
| 14: f8000000 pop 0,0 |