#source: reginfo-1.s
#as: -32 -EL -mips4
#objdump: -sj.reginfo

.*

Contents of section \.reginfo:
 0000 10000000 00000000 30040300 00000000  .*
 0010 00000000 00000000                    .*