.*:     file format.*


Disassembly of section destsect:

09000000 <[^>]*>:
 9000000:	e7fe      	b.n	9000000 <dest>

Disassembly of section .text:

000080.. <[^>]*>:
    80..:	f000 b802 	b.w	8008 <__dest_veneer>
    80..:	0000      	movs	r0, r0
	...

000080.. <[^>]*>:
    80..:	4778      	bx	pc
    80..:	e7fd      	b.n	.+ <.+>
    80..:	e59fc000 	ldr	ip, \[pc\]	@ 80.. <__dest_veneer\+0xc>
    80..:	e12fff1c 	bx	ip
    80..:	09000001 	.word	0x09000001