7 .*: file format elf64
-mmix
11 2000000000000000 l d \
.data
0+
12 2000000000000000 l d \
.sbss
0+
13 2000000000000000 l d \
.bss
0+
14 0+7f0 l d \
.MMIX\
.reg_contents
0+
20 0+fe g \
*REG\
* 0+ areg
23 Contents of section \
.text
:
24 0+ e3fd0001
8f03fe
10 8e0307fe
8f05fe
04 .*
25 0+10 8c0c20fe
8d7bfe
22 8dfeea
38 .*
26 Contents of section \
.MMIX\
.reg_contents
:
27 07f0 00000000 00000004 .*