1 
2 .*:     file format.*
3 
4 
5 Disassembly of section destsect:
6 
7 00009000 <[^>]*>:
8     9000:	e7fe      	b.n	9000 <dest>
9 
10 Disassembly of section .text:
11 
12 000080.. <[^>]*>:
13     80..:	f000 bf.. 	b.w	9000 <dest>
14