.*:     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:	02000009 	.word	0x02000009
    100c:	00000000 	.word	0x00000000

00001010 <_start>:
    1010:	ebfffffa 	bl	1000 <__bar_from_arm>
Disassembly of section .foo:

02001014 <bar>:
 2001014:	4770      	bx	lr