1
2.*:     file format.*
3
4Disassembly of section .text:
5
600008000 <_start>:
7    8000:	eb00000d 	bl	803c <arm>
8    8004:	fa00000d 	blx	8040 <t1>
9    8008:	fb00000c 	blx	8042 <t2>
10    800c:	fb00000d 	blx	804a <t5>
11    8010:	fa00000a 	blx	8040 <t1>
12    8014:	fb000009 	blx	8042 <t2>
13    8018:	ea00000f 	b	805c <__t1_from_arm>
14    801c:	ea000011 	b	8068 <__t2_from_arm>
15    8020:	1b00000d 	blne	805c <__t1_from_arm>
16    8024:	1b00000f 	blne	8068 <__t2_from_arm>
17    8028:	1b000003 	blne	803c <arm>
18    802c:	eb000002 	bl	803c <arm>
19    8030:	faffffff 	blx	8034 <thumblocal>
20
2100008034 <thumblocal>:
22    8034:	4770      	bx	lr
23
2400008036 <t3>:
25    8036:	4770      	bx	lr
26
2700008038 <t4>:
28    8038:	4770      	bx	lr
29    803a:	46c0      	nop			\(mov r8, r8\)
30
310000803c <arm>:
32    803c:	e12fff1e 	bx	lr
33
3400008040 <t1>:
35    8040:	4770      	bx	lr
36
3700008042 <t2>:
38    8042:	f7ff fff8 	bl	8036 <t3>
39    8046:	f7ff fff7 	bl	8038 <t4>
40
410000804a <t5>:
42    804a:	f000 f801 	bl	8050 <local_thumb>
43    804e:	46c0      	nop			\(mov r8, r8\)
44
4500008050 <local_thumb>:
46    8050:	f7ff fff1 	bl	8036 <t3>
47    8054:	f7ff efd4 	blx	8000 <_start>
48    8058:	f7ff efd2 	blx	8000 <_start>
49
500000805c <__t1_from_arm>:
51    805c:	e59fc000 	ldr	ip, \[pc, #0\]	; 8064 <__t1_from_arm\+0x8>
52    8060:	e12fff1c 	bx	ip
53    8064:	00008041 	andeq	r8, r0, r1, asr #32
54
5500008068 <__t2_from_arm>:
56    8068:	e59fc000 	ldr	ip, \[pc, #0\]	; 8070 <__t2_from_arm\+0x8>
57    806c:	e12fff1c 	bx	ip
58    8070:	00008043 	andeq	r8, r0, r3, asr #32
59