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