#source: pr23372a.s
#source: pr23372c.s
#as: --x32
#ld: -r -m elf32_x86_64
#readelf: -n
