| # objdump: -dr | |
| .*: file format elf64-mmix | |
| Disassembly of section \.text: | |
| 0000000000000000 <Main>: | |
| 0: e32d0463 setl \$45,0x463 | |
| 4: c1394300 set \$57,\$67 | |
| 8: c14e1f00 set \$78,\$31 | |
| c: e3750463 setl \$117,0x463 | |
| 10: c1754300 set \$117,\$67 | |
| 14: c1751f00 set \$117,\$31 |