.*:     file format .*

Disassembly of section .text:

00008000 <_start>:
    8000:	ea000000 	b	8008 <__far_veneer>
    8004:	00000000 	andeq	r0, r0, r0

00008008 <__far_veneer>:
    8008:	e51ff004 	ldr	pc, \[pc, #-4\]	; 800c <__far_veneer\+0x4>
    800c:	12340000 	\.word	0x12340000

00008010 <after>:
    8010:	11111111 	\.word	0x11111111

Disassembly of section \.far:

12340000 <far>:
12340000:	e12fff1e 	bx	lr