1 
2 .*:     file format.*
3 
4 Disassembly of section .text:
5 
6 00008000 <[^>]*>:
7     8000:	3012      	adds	r0, #18
8     8002:	3134      	adds	r1, #52	; 0x34
9     8004:	3280      	adds	r2, #128	; 0x80
10     8006:	3301      	adds	r3, #1
11     8008:	3401      	adds	r4, #1
12     800a:	3500      	adds	r5, #0
13     800c:	3600      	adds	r6, #0
14     800e:	3700      	adds	r7, #0
15 
16 00008010 <[^>]*>:
17     8010:	3012      	adds	r0, #18
18     8012:	3100      	adds	r1, #0
19     8014:	3200      	adds	r2, #0
20     8016:	33ca      	adds	r3, #202	; 0xca
21     8018:	3700      	adds	r7, #0
22     801a:	3634      	adds	r6, #52	; 0x34
23     801c:	3581      	adds	r5, #129	; 0x81
24     801e:	3423      	adds	r4, #35	; 0x23
25 
26 00008020 <[^>]*>:
27     8020:	01          	.byte	0x01
28 
29 00008021 <[^>]*>:
30     8021:	02          	.byte	0x02
31 
32 Disassembly of section .far:
33 
34 12340000 <[^>]*>:
35 12340000:	3000      	adds	r0, #0
36 12340002:	3100      	adds	r1, #0
37 12340004:	3200      	adds	r2, #0
38 12340006:	3301      	adds	r3, #1
39