3 .*: file format elf64-mmix
11 0+ l \.MMIX\.reg_contents 0+ H9
12 0+8 l \.MMIX\.reg_contents 0+ G8
13 0+ l \.MMIX\.reg_contents 0+ F7
14 0+18 l \.MMIX\.reg_contents 0+ D5
15 0+20 l \.MMIX\.reg_contents 0+ C3
16 0+28 l \.MMIX\.reg_contents 0+ B1
17 0+30 l \.MMIX\.reg_contents 0+ A0
18 0+0 l d \.MMIX\.reg_contents 0+
19 0+c g F \.text 0+ Main
22 RELOCATION RECORDS FOR \[\.MMIX\.reg_contents\]:
24 0+ R_MMIX_64 \.text\+0x0+8
25 0+10 R_MMIX_64 \.text\+0x0+1c
29 Contents of section \.text:
30 0000 e37b01c8 e3ea1edb fd020304 fd010203 .*
31 Contents of section \.data:
32 Contents of section \.MMIX\.reg_contents:
33 0000 00000000 00000000 00000000 000000f7 .*
34 0010 00000000 00000000 00000000 00000000 .*
35 0020 00000000 00000000 00000000 00000001 .*
36 0030 00000000 00000000 .*