.*: file format .*
Disassembly of section .text:
00001000 <__bar_from_arm>:
1000: e59fc000 ldr ip, \[pc, #0\] ; 1008 <__bar_from_arm\+0x8>
1004: e08ff00c add pc, pc, ip
1008: 0200000d .word 0x0200000d
100c: 00000000 .word 0x00000000
00001010 <_start>:
1010: ebfffffa bl 1000 <__bar_from_arm>
Disassembly of section .foo:
02001014 <bar>:
2001014: 4770 bx lr