MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV SPARK

U system.pack_22%b	s-pack22.adb		2ffe4d0a NE OL PK
W ada%s			ada.ads			ada.ali
W ada.unchecked_conversion%s
W system%s		system.ads		system.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.unsigned_types%s  s-unstyp.ads		s-unstyp.ali

U system.pack_22%s	s-pack22.ads		60bef74b NE OL PR PK
W system%s		system.ads		system.ali

D ada.ads		20121213103024 3ffc8e18
D a-unccon.ads		20121213103024 f9eb8f06
D system.ads		20121213103024 90249111
D s-pack22.ads		20121213103024 f09a665a
D s-pack22.adb		20121213103024 b6a385b8
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-unstyp.ads		20121213103024 6ae15c76
X 1 ada.ads
16K9*Ada 19e8 5|34r6 72r6 85r6
X 2 a-unccon.ads
20v14*Unchecked_Conversion 5|34w10 72r10 85r10
X 3 system.ads
37K9*System 152e11 4|34r9 42r27 46r28 50r28 55r29 60r5 5|32r6 33r6 36r14
. 38r19 39r19 40r19 42r13 43r13 72r32 85r32 91r27 110r28 129r28 148r29 163r5
64M9*Address 4|42r34 46r35 50r35 55r36 5|72r39 85r39 91r34 110r35 129r35
. 148r36
78V14*"="{boolean} 5|64r34 65r34
X 4 s-pack22.ads
34K16*Pack_22 3|37k9 4|60l12 60e19 5|36b21 163l12 163t19
37N4*Bits 39r29 40r25 5|50r25 50r37 50r44 51r25 51r37 51r44 52r25 52r37 52r44
. 53r25 53r37 53r44 54r25 54r37 54r44 55r25 55r37 55r44 56r25 56r37 56r44
. 57r25 57r37 57r44 60r25 64r23 65r23 92r49 111r50 130r49 149r50
39M9*Bits_22 40r8 42r63 46r61 50r64 55r62 5|46r40 91r63 110r64 129r61 148r62
42V13*Get_22{39M9} 42>21 42>43 5|91b13 104l8 104t14
42m21 Arr{3|64M9} 5|91b21 92r43
42i43 N{natural} 5|91b43 92r66 94r22
46U14*Set_22 46>22 46>44 46>57 5|129b14 142l8 142t14
46m22 Arr{3|64M9} 5|129b22 130r43
46i44 N{natural} 5|129b44 130r66 132r22
46m57 E{39M9} 5|129b57 133r28 134r28 135r28 136r28 137r28 138r28 139r28 140r28
50V13*GetU_22{39M9} 50>22 50>44 5|110b13 123l8 123t15
50m22 Arr{3|64M9} 5|110b22 111r44
50i44 N{natural} 5|110b44 111r67 113r22
55U14*SetU_22 55>23 55>45 55>58 5|148b14 161l8 161t15
55m23 Arr{3|64M9} 5|148b23 149r44
55i45 N{natural} 5|148b45 149r67 151r22
55m58 E{39M9} 5|148b58 152r28 153r28 154r28 155r28 156r28 157r28 158r28 159r28
X 5 s-pack22.adb
38I12 Ofs{6|54I9} 92r56 111r57 130r56 149r57
39M12 Uns{8|47M9} 92r61 94r17 111r62 113r17 130r61 132r17 149r62 151r17
40M12 N07{8|47M9} 94r12 113r12 132r12 151r12
45R9 Cluster 47e14 49r8 60r8 62r8 69r31 79r25
46m7*E0{4|39M9} 50r7 95r29 114r29 133m22 152m22
46m11*E1{4|39M9} 51r7 96r29 115r29 134m22 153m22
46m15*E2{4|39M9} 52r7 97r29 116r29 135m22 154m22
46m19*E3{4|39M9} 53r7 98r29 117r29 136m22 155m22
46m23*E4{4|39M9} 54r7 99r29 118r29 137m22 156m22
46m27*E5{4|39M9} 55r7 100r29 119r29 138m22 157m22
46m31*E6{4|39M9} 56r7 101r29 120r29 139m22 158m22
46m35*E7{4|39M9} 57r7 102r29 121r29 140m22 159m22
69P9 Cluster_Ref(45R9) 72r48 92r20 130r20
71V13 To_Ref[2|20]{69P9} 92s35 130s35
79R9 ClusterU<45R9> 80r8 82r32
82P9 ClusterU_Ref(79R9) 85r48 111r20 149r20
84V13 To_Ref[2|20]{82P9} 111s36 149s36
92p7 C{69P9} 95r27 96r27 97r27 98r27 99r27 100r27 101r27 102r27
111p7 C{82P9} 114r27 115r27 116r27 117r27 118r27 119r27 120r27 121r27
130p7 C{69P9} 133m20 133r20 134m20 134r20 135m20 135r20 136m20 136r20 137m20
. 137r20 138m20 138r20 139m20 139r20 140m20 140r20
149p7 C{82P9} 152m20 152r20 153m20 153r20 154m20 154r20 155m20 155r20 156m20
. 156r20 157m20 157r20 158m20 158r20 159m20 159r20
X 6 s-stoele.ads
42K16*Storage_Elements 5|32w13 38r26 42r20 6|117e28
54I9*Storage_Offset<long_integer> 5|38r43 42r37
76V14*"+"{3|64M9} 5|92s47 111s48 130s47 149s48
86V14*"-"{3|64M9} 5|50r49 51r49 52r49 53r49 54r49 55r49 56r49 57r49
X 8 s-unstyp.ads
42K16*Unsigned_Types 5|33w13 39r26 40r26 43r20 8|210e26
47M9*Unsigned 5|39r41 40r41 43r35