# 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