# objdump: -s .*: file format elf64-mmix Contents of section \.text: 0000 000000ab 00000100 .*