1 
2 .*:     file format.*
3 
4 
5 Disassembly of section destsect:
6 
7 09000000 <[^>]*>:
8  9000000:	e7fe      	b.n	9000000 <dest>
9 
10 Disassembly of section .text:
11 
12 000080.. <[^>]*>:
13     80..:	(b802f000|f000b802) 	.word	0x(b802f000|f000b802)
14     80..:	00000000 	andeq	r0, r0, r0
15 
16 000080.. <[^>]*>:
17     80..:	4778      	bx	pc
18     80..:	46c0      	nop			; \(mov r8, r8\)
19     80..:	e59fc000 	ldr	ip, \[pc\]	; 80.. <__dest_veneer\+0xc>
20     80..:	e12fff1c 	bx	ip
21     80..:	09000001 	.word	0x09000001
22