5 .*: file format elf64-mmix
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+
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 \.data:
35 Contents of section \.MMIX\.reg_contents:
36 0000 00000000 00000000 00000000 000000f7 .*
37 0010 00000000 00000000 00000000 00000000 .*
38 0020 00000000 00000000 00000000 00000000 .*
39 0030 00000000 00000000 00000000 00000001 .*
40 0040 00000000 00000000 .*