4 #as
: -linker
-allocated
-gregs
8 # Just two BPO relocs merged as one linker
-allocated GREG
.
10 .*: file format elf64
-mmix
14 2000000000000000 l d \
.data
0+
15 2000000000000000 l d \
.sbss
0+
16 2000000000000000 l d \
.bss
0+
17 0+7f0 l d \
.MMIX\
.reg_contents
0+
27 Contents of section \
.text
:
28 0000 e3fd0001
232afe1e
2321fe
00 .*
29 Contents of section \
.MMIX\
.reg_contents
:
30 07f0 00000000 00000010 .*