1 
2 .*:     file format.*
3 
4 
5 Disassembly of section destsect:
6 
7 00008002 <[^>]*>:
8     8002:	f7ff fffe 	bl	8002 <dest>
9 
10 Disassembly of section .text:
11 
12 001080.. <[^>]*>:
13   1080..:	f040 8002 	bne.w	108008 <__dest_veneer>
14   1080..:	0000      	movs	r0, r0
15 	...
16 
17 001080.. <[^>]*>:
18   1080..:	b401      	push	{r0}
19   1080..:	4802      	ldr	r0, \[pc, #8\]	; \(108014 <__dest_veneer\+0xc>\)
20   1080..:	4684      	mov	ip, r0
21   1080..:	bc01      	pop	{r0}
22   1080..:	4760      	bx	ip
23   1080..:	bf00      	nop
24   1080..:	00008003 	.word	0x00008003
25