# objdump: -dr .*: file format elf64-mmix Disassembly of section \.text: 0000000000000000
: 0: f9000001 resume 1 4: f9000000 resume 0 8: f9000001 resume 1 c: f9000000 resume 0