| # objdump: -dr | |
| .*: file format elf64-mmix | |
| Disassembly of section \.text: | |
| 0000000000000000 <Main>: | |
| 0: f604007b put rJ,\$123 | |
| 4: f613002d put rG,\$45 | |
| 8: f61f00f5 put rZZ,\$245 | |
| c: f604006f put rJ,\$111 | |
| 10: f713002d put rG,45 | |
| 14: f71f00f5 put rZZ,245 | |
| 18: f7040000 put rJ,0 | |
| 1c: f7130000 put rG,0 | |
| 20: f71f0000 put rZZ,0 |