#as: -linker-allocated-gregs
#objdump: -srt

.*:     file format elf64-mmix

SYMBOL TABLE:
0+ l    d  \.text	0+ 
0+ l    d  \.data	0+ 
0+ l    d  \.bss	0+ 
0+4 l       \.text	0+ w4
0+10 l       \.text	0+ w2
0+ l    d  \.MMIX\.reg_contents	0+ 
0+c  w      \.text	0+ w1
0+8  w      \.text	0+ w3


RELOCATION RECORDS FOR \[\.text\]:
OFFSET           TYPE              VALUE 
0+6 R_MMIX_BASE_PLUS_OFFSET  w1
0+a R_MMIX_REG        \.MMIX\.reg_contents
0+e R_MMIX_REG        \.MMIX\.reg_contents\+0x0+8
0+12 R_MMIX_REG        \.MMIX\.reg_contents\+0x0+8

RELOCATION RECORDS FOR \[\.MMIX\.reg_contents\]:
OFFSET           TYPE              VALUE 
0+ R_MMIX_64         w3
0+8 R_MMIX_64         \.text\+0x0+4

Contents of section \.text:
 0000 fd000000 232a0000 232b0000 232c000c  .*
 0010 232d0000                             .*
Contents of section \.MMIX\.reg_contents:
 0000 00000000 00000000 00000000 00000000  .*