.*:     file format.*


Disassembly of section destsect:

00008002 <[^>]*>:
    8002:	f7ff fffe 	bl	8002 <dest>

Disassembly of section .text:

001080.. <[^>]*>:
  1080..:	f040 8002 	bne.w	108008 <__dest_veneer>
  1080..:	0000      	movs	r0, r0
	...

001080.. <[^>]*>:
  1080..:	f85f f000 	ldr.w	pc, \[pc\]	@ 10800c <__dest_veneer\+0x4>
  1080..:	00008003 	.word	0x00008003