4 #as
: -linker
-allocated
-gregs
8 # A BPO against an external symbol
.
10 .*: file format elf64
-mmix
13 0+ l d \
.text
0+ (|\
.text
)
14 0+7f0 l d \
.MMIX\
.reg_contents
0+ (|\
.MMIX\
.reg_contents
)
20 Contents of section \
.text
:
21 0000 e3fd0001
234dfe
00 fd040810
.*
22 Contents of section \
.MMIX\
.reg_contents
:
23 07f0 00000000 00000003 .*