3 .*: file format elf64-mmix
6 0+ l d \.text 0+ (|\.text)
7 0+ l d \.data 0+ (|\.data)
8 0+ l d \.bss 0+ (|\.bss)
9 0+8 l \.text 0+ someplace
11 0+8 l \.MMIX\.reg_contents 0+ a1
12 0+ l \.MMIX\.reg_contents 0+ ba2
13 0+ l d \.MMIX\.reg_contents 0+ (|\.MMIX\.reg_contents)
14 0+4 g F \.text 0+ Main
17 RELOCATION RECORDS FOR \[\.text\]:
19 0+2 R_MMIX_REG \.MMIX\.reg_contents\+0x0+8
20 0+6 R_MMIX_REG \.MMIX\.reg_contents
23 RELOCATION RECORDS FOR \[\.MMIX\.reg_contents\]:
25 0+8 R_MMIX_64 \.text\+0x0+8
28 Contents of section \.text:
29 0000 81ff0000 81fe0000 .*
30 Contents of section \.MMIX\.reg_contents:
31 0000 00000000 0008aa52 00000000 00000000 .*