1# objdump: -dr
2.*:     file format elf64-mmix
3
4Disassembly of section \.text:
5
60000000000000000 <Main>:
7   0:	e3362009 	setl \$54,0x2009
8   4:	e320125e 	setl \$32,0x125e
9   8:	e31f00b1 	setl \$31,0xb1
10