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