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