1#source: reginfo-1.s
2#as: -32 -EL -mips4
3#objdump: -sj.reginfo
4
5.*
6
7Contents of section \.reginfo:
8 0000 10000000 00000000 30040300 00000000  .*
9 0010 00000000 00000000                    .*
10