.*: 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 |