# objdump: -dr
.*:     file format elf64-mmix

Disassembly of section \.text:

0000000000000000 <Main>:
   0:	18170c43 	mul \$23,\$12,\$67
   4:	20200c43 	add \$32,\$12,\$67
   8:	2a0c2043 	4addu \$12,\$32,\$67
   c:	2ce88543 	8addu \$232,\$133,\$67
  10:	2e170c49 	16addu \$23,\$12,\$73
  14:	3e1f0ce9 	sru \$31,\$12,\$233
  18:	601726d4 	csn \$23,\$38,\$212
  1c:	7c04afb5 	zsnp \$4,\$175,\$181
  20:	1b170cb0 	mulu \$23,\$12,176
  24:	39200cb0 	sl \$32,\$12,176
  28:	330c20b0 	cmpu \$12,\$32,176
  2c:	29e885b0 	2addu \$232,\$133,176
  30:	df170ccb 	mxor \$23,\$12,203
  34:	c11f0cd5 	or \$31,\$12,213
  38:	cd1726d3 	nand \$23,\$38,211
  3c:	d304afa1 	wdif \$4,\$175,161
  40:	db170c00 	sadd \$23,\$12,0
  44:	df200c00 	mxor \$32,\$12,0
  48:	c30c2000 	orn \$12,\$32,0
  4c:	cbe88500 	andn \$232,\$133,0
  50:	2f170c00 	16addu \$23,\$12,0
  54:	391f0c00 	sl \$31,\$12,0
  58:	23172600 	addu \$23,\$38,0
  5c:	3104af00 	cmp \$4,\$175,0