#objdump: -str # Branches can have base-plus-offset operands too. .*: file format elf64-mmix SYMBOL TABLE: 0+ l d \.text 0+ (|\.text) 0+ l d \.data 0+ (|\.data) 0+ l d \.bss 0+ (|\.bss) 0+4 l \.text 0+ x 0+ l d \.MMIX\.reg_contents 0+ (|\.MMIX\.reg_contents) RELOCATION RECORDS FOR \[\.text\]: OFFSET TYPE VALUE 0+a R_MMIX_REG \.MMIX\.reg_contents RELOCATION RECORDS FOR \[\.MMIX\.reg_contents\]: OFFSET TYPE VALUE 0+ R_MMIX_64 \.text Contents of section \.text: 0000 fd000000 fd000001 9f000004 .* Contents of section \.MMIX\.reg_contents: 0000 00000000 00000000 .*