5 .*: file format elf64-mmix
8 0+ l d \.text 0+ (|\.text)
9 0+ l d \.data 0+ (|\.data)
10 0+ l d \.bss 0+ (|\.bss)
13 0+ l \.MMIX\.reg_contents 0+ H9
14 0+8 l \.MMIX\.reg_contents 0+ G8
15 0+18 l \.MMIX\.reg_contents 0+ F7
16 0+28 l \.MMIX\.reg_contents 0+ D5
17 0+30 l \.MMIX\.reg_contents 0+ C3
18 0+38 l \.MMIX\.reg_contents 0+ B1
19 0+40 l \.MMIX\.reg_contents 0+ A0
20 0+0 l d \.MMIX\.reg_contents 0+ (|\.MMIX\.reg_contents)
21 0+c g F \.text 0+ Main
24 RELOCATION RECORDS FOR \[\.MMIX\.reg_contents\]:
26 0+ R_MMIX_64 \.text\+0x0+8
27 0+10 R_MMIX_64 \.text\+0x0+8
28 0+18 R_MMIX_64 \.text\+0x0+8
29 0+20 R_MMIX_64 \.text\+0x0+1c
32 Contents of section \.text:
33 0000 e37b01c8 e3ea1edb fd020304 fd010203 .*
34 Contents of section \.MMIX\.reg_contents:
35 0000 00000000 00000000 00000000 000000f7 .*
36 0010 00000000 00000000 00000000 00000000 .*
37 0020 00000000 00000000 00000000 00000000 .*
38 0030 00000000 00000000 00000000 00000001 .*
39 0040 00000000 00000000 .*