| .*: 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 |