#as: -x --no-pushj-stubs
#objdump: -str

# Relaxation thought a weak symbol was within reach.

.*:     file format elf64-mmix

SYMBOL TABLE:
0+ l    d  \.text	0+ 
0+ l    d  \.data	0+ 
0+ l    d  \.bss	0+ 
0+  w      \.text	0+ foo
0+4 g       \.text	0+ main

RELOCATION RECORDS FOR \[\.text\]:
OFFSET           TYPE              VALUE 
0+18 R_MMIX_64         foo
0+4 R_MMIX_PUSHJ      foo

Contents of section \.text:
 0000 f8010000 f20f0000 fd000000 fd000000  .*
 0010 fd000000 fd000000 00000000 00000000  .*