# objdump: -dr .*: file format elf64-mmix Disassembly of section \.text: 0000000000000000
: 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