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

Disassembly of section \.text:

0000000000000000 <Main>:
   0:	fd840def 	swym 132,13,239
   4:	ff840def 	trip 132,13,239
   8:	00845678 	trap 132,86,120
   c:	00170def 	trap 23,13,239
  10:	0023cace 	trap 35,202,206
  14:	ff170c43 	trip 23,12,67
  18:	ff175678 	trip 23,86,120
  1c:	fd12d687 	swym 18,214,135