1 
2 .*:     file format.*
3 
4 
5 Disassembly of section destsect:
6 
7 00108004 <[^>]*>:
8   108004:	f7ff fffe 	bl	108004 <dest>
9 
10 Disassembly of section .text:
11 
12 000080.. <[^>]*>:
13     80..:	(8002f040|f0408002) 	.word	0x(8002f040|f0408002)
14     80..:	0000      	movs	r0, r0
15 	...
16 
17 000080.. <[^>]*>:
18     80..:	f85f f000 	ldr.w	pc, \[pc\]	; 800c <__dest_veneer\+0x4>
19     80..:	00108005 	.word	0x00108005
20