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_25%b	s-pack25.adb		0d699a84 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_25%s	s-pack25.ads		b6e6db47 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-pack25.ads		20121213103024 26c24a56
D s-pack25.adb		20121213103024 426c7e3a
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
X 2 a-unccon.ads
20v14*Unchecked_Conversion 5|34w10 72r10
X 3 system.ads
37K9*System 152e11 4|34r9 42r27 46r28 50r5 5|32r6 33r6 36r14 38r19 39r19
. 40r19 42r13 43r13 72r32 78r27 98r28 114r5
64M9*Address 4|42r34 46r35 5|72r39 78r34 98r35
78V14*"="{boolean} 5|64r34 65r34
X 4 s-pack25.ads
34K16*Pack_25 3|37k9 4|50l12 50e19 5|36b21 114l12 114t19
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 79r49 99r49
39M9*Bits_25 40r8 42r63 46r61 5|46r40 78r63 98r61
42V13*Get_25{39M9} 42>21 42>43 5|78b13 92l8 92t14
42m21 Arr{3|64M9} 5|78b21 79r43
42i43 N{natural} 5|78b43 79r66 82r22
46U14*Set_25 46>22 46>44 46>57 5|98b14 112l8 112t14
46m22 Arr{3|64M9} 5|98b22 99r43
46i44 N{natural} 5|98b44 99r66 102r22
46m57 E{39M9} 5|98b57 103r28 104r28 105r28 106r28 107r28 108r28 109r28 110r28
X 5 s-pack25.adb
38I12 Ofs{6|54I9} 79r56 99r56
39M12 Uns{8|47M9} 79r61 82r17 99r61 102r17
40M12 N07{8|47M9} 82r12 102r12
45R9 Cluster 47e14 49r8 60r8 62r8 69r31
46m7*E0{4|39M9} 50r7 83r29 103m22
46m11*E1{4|39M9} 51r7 84r29 104m22
46m15*E2{4|39M9} 52r7 85r29 105m22
46m19*E3{4|39M9} 53r7 86r29 106m22
46m23*E4{4|39M9} 54r7 87r29 107m22
46m27*E5{4|39M9} 55r7 88r29 108m22
46m31*E6{4|39M9} 56r7 89r29 109m22
46m35*E7{4|39M9} 57r7 90r29 110m22
69P9 Cluster_Ref(45R9) 72r48 79r20 99r20
71V13 To_Ref[2|20]{69P9} 79s35 99s35
79p7 C{69P9} 83r27 84r27 85r27 86r27 87r27 88r27 89r27 90r27
99p7 C{69P9} 103m20 103r20 104m20 104r20 105m20 105r20 106m20 106r20 107m20
. 107r20 108m20 108r20 109m20 109r20 110m20 110r20
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|79s47 99s47
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