#objdump: -sr .*: file format elf64-mmix Contents of section \.text: 0000 00000000 00000000 .*