.*:     file format .*

Disassembly of section .text:

00001000 <__bar_from_arm>:
    1000:	e51ff004 	ldr	pc, \[pc, #-4\]	; 1004 <__bar_from_arm\+0x4>
    1004:	02001015 	.word	0x02001015

00001008 <_start>:
    1008:	ebfffffc 	bl	1000 <__bar_from_arm>
Disassembly of section .foo:

02001014 <bar>:
 2001014:	4770      	bx	lr