.*:     file format.*


Disassembly of section destsect:

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

Disassembly of section .text:

000080.. <[^>]*>:
    80..:	(b802f000|f000b802) 	.word	0x(b802f000|f000b802)
    80..:	00000000 	andeq	r0, r0, r0

000080.. <[^>]*>:
    80..:	4778      	bx	pc
    80..:	46c0      	nop			; \(mov r8, r8\)
    80..:	e59fc000 	ldr	ip, \[pc\]	; 80.. <__dest_veneer\+0xc>
    80..:	e12fff1c 	bx	ip
    80..:	09000001 	.word	0x09000001