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..: b401 push {r0} 19 1080..: 4802 ldr r0, \[pc, #8\] ; \(108014 <__dest_veneer\+0xc>\) 20 1080..: 4684 mov ip, r0 21 1080..: bc01 pop {r0} 22 1080..: 4760 bx ip 23 1080..: bf00 nop 24 1080..: 00008003 .word 0x00008003 25