
.*:     file format.*


Disassembly of section destsect:

00009000 <[^>]*>:
    9000:	e7fe      	b.n	9000 <dest>

Disassembly of section .text:

000080.. <[^>]*>:
    80..:	f000 bf.. 	b.w	9000 <dest>