7 .*: file format elf64
-mmix
10 0+ l d \
.text
0+ (|\
.text
)
11 0+7f0 l d \
.MMIX\
.reg_contents
0+ (|\
.MMIX\
.reg_contents
)
14 0+fe g \
*REG\
* 0+ areg
17 Contents of section \
.text
:
18 0+ e3fd0001
8f03fe
10 8e0307fe
8f05fe
04 .*
19 0+10 8c0c20fe
8d7bfe
22 8dfeea
38 .*
20 Contents of section \
.MMIX\
.reg_contents
:
21 07f0 00000000 00000004 .*