# 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