3 .*: file format elf64-mmix
9 0+ l d \.MMIX\.reg_contents 0+
12 RELOCATION RECORDS FOR \[\.text\]:
14 0+2 R_MMIX_REG \.MMIX\.reg_contents
17 Contents of section \.text:
19 Contents of section \.data:
20 Contents of section \.MMIX\.reg_contents:
21 0+ 00000000 aabbccdd 00000000 00112233 .*