| # objdump: -dr | |
| .*: file format elf64-mmix | |
| Disassembly of section \.text: | |
| 0+ <x>: | |
| [ ]+0:[ ]+fd000000[ ]+swym 0,0,0 | |
| [ ]+4:[ ]+e309001f[ ]+setl \$9,0x1f | |
| [ ]+8:[ ]+e3081b2f[ ]+setl \$8,0x1b2f | |
| [ ]+c:[ ]+e307ff9f[ ]+setl \$7,0xff9f | |
| [ ]+10:[ ]+e3061f3a[ ]+setl \$6,0x1f3a | |
| [ ]+14:[ ]+e305001b[ ]+setl \$5,0x1b | |
| [ ]+18:[ ]+e3041a1b[ ]+setl \$4,0x1a1b | |
| [ ]+1c:[ ]+e303009f[ ]+setl \$3,0x9f | |
| [ ]+20:[ ]+e302009b[ ]+setl \$2,0x9b | |
| [ ]+24:[ ]+e301001f[ ]+setl \$1,0x1f | |
| [ ]+28:[ ]+e300001b[ ]+setl \$0,0x1b |