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..: f85f f000 ldr.w pc, \[pc\] ; 10800c <__dest_veneer\+0x4> 19 1080..: 00008003 .word 0x00008003 20