1 .*:     file format .*
2 
3 Disassembly of section .text:
4 
5 0+8000 <_start>:
6 \s*8000:\s+ea000002\s+b\s+8010 <__far_veneer>
7 #...
8 
9 0+8010 <__far_veneer>:
10 \s*8010:\s+e59fc00c\s+ldr\s+ip, \[pc, #12\]\s+; 8024 <__far_veneer\+0x14>
11 \s*8014:\s+e3ccc13f\s+bic\s+ip, ip, #-1073741809\s+; 0xc000000f
12 \s*8018:\s+e12fff1c\s+bx\s+ip
13 \s*801c:\s+e320f000\s+nop\s+\{0\}
14 \s*8020:\s+e125be70\s+bkpt\s+0x5be0
15 \s*8024:\s+12340000\s+.word\s+0x12340000
16 #...
17 
18 0+8030 <after>:
19 \s*8030:\s+11111111\s+\.word\s+0x11111111
20 
21 Disassembly of section \.far:
22 
23 12340000 <far>:
24 12340000:\s+e12fff1e\s+bx\s+lr
25