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_ALLOCATORS
RV NO_IO
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV SPARK

U ada.text_io.bounded_io%b  a-tiboio.adb	243a7f2b NE OL PK GE
W ada%s			ada.ads			ada.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W ada.unchecked_deallocation%s

U ada.text_io.bounded_io%s  a-tiboio.ads	9baf91ef BN NE OL PK GE
W ada%s			ada.ads			ada.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.bounded%s	a-strbou.adb		a-strbou.ali
W ada.text_io%s		a-textio.adb		a-textio.ali

D ada.ads		20121213103024 3ffc8e18
D a-charac.ads		20121213103029 2d3ec45b
D a-chlat1.ads		20121213103024 2825df20
D a-except.ads		20121213103024 10fcae55
D a-finali.ads		20121213103024 52ecdc1b
D a-ioexce.ads		20121213103029 8b9de6cd
D a-stream.ads		20121213103024 2ca4ee37
D a-string.ads		20121213103024 90ac6797
D a-strbou.ads		20121213103024 9806fe84
D a-strmap.ads		20121213103029 9cb836fb
D a-strsup.ads		20121213103024 a27dcb33
D a-tags.ads		20121213103024 6c0509d0
D a-textio.ads		20130106093217 386df5d4
D a-tiboio.ads		20121213103029 3bc49abf
D a-tiboio.adb		20121213103029 d6c94e91
D a-unccon.ads		20121213103024 f9eb8f06
D a-uncdea.ads		20121213103024 f15a5ed1
D interfac.ads		20121213103024 129923ea
D i-cstrea.ads		20130106093208 3286f6aa
D system.ads		20121213103024 90249111
D s-crtl.ads		20130106093200 1ea48bce
D s-exctab.ads		20121213103029 66e51330
D s-ficobl.ads		20121213103029 55a71d43
D s-finmas.ads		20121213103024 b95bb341
D s-finroo.ads		20121213103024 4ff27390
D s-parame.ads		20121213103024 b6e20cc0
D s-pooglo.ads		20121213103024 542f33d0
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-stopoo.ads		20121213103024 7b8fbeee
D s-traent.ads		20121213103024 5221ee41
D s-unstyp.ads		20121213103024 6ae15c76
D s-wchcon.ads		20121213103024 bfeb2e3d
X 1 ada.ads
16K9*Ada 19e8 14|16r6 20r10 22r9 50r5 15|32r6 32r23 33r6 35r14 50r13 179r5
X 8 a-string.ads
16K13*Strings 35e16 14|16r10 20r14
X 9 a-strbou.ads
39K21*Bounded 914e24 14|16w18 20r22
46k12*Generic_Bounded_Length 912e30 14|20r30
50R12 Bounded_String 14|24r37[19] 27r40[19] 30r26[19] 34r26[19] 37r22[19]
. 41r22[19] 44r22[19] 48r22[19] 15|64r37[14|19] 74r40[14|19] 85r26[14|19]
. 112r26[14|19] 138r22[14|19] 150r22[14|19] 161r22[14|19] 173r22[14|19]
63V16 To_Bounded_String{50R12[14|19]} 15|66s22[14|19] 77s22[14|19] 103s23[14|19]
. 130s23[14|19]
67V16 To_String{string} 15|141s20[14|19] 153s26[14|19] 164s25[14|19] 176s31[14|19]
X 13 a-textio.ads
49K13*Text_IO 1|16k9 13|471e16 14|22r13 50r9 15|32w10 32r27 35r18 179r9
52P9*File_Type(369R9) 14|27r14 33r14 40r14 47r14 15|74r14 111r14 149r14 172r14
241U14*Put 15|153s7
242U14*Put 15|141s7
244U14*Get_Line 15|120s7 124s10
249U14*Get_Line 15|93s7 97s10
253V13*Get_Line{string} 15|77s41
256V13*Get_Line{string} 15|66s41
259U14*Put_Line 15|176s7
263U14*Put_Line 15|164s7
X 14 a-tiboio.ads
19K17 Bounded[9|46] 24r29 27r32 30r18 34r18 37r14 41r14 44r14 48r14 15|64r29
. 66r14 74r32 77r14 85r18 103r15 112r18 130r15 138r14 141r12 150r14 153r18
. 161r14 164r17 173r14 176r23
22k21*Bounded_IO 13|49k13 14|19z17 50l17 50e27 15|35b26 179l17 179t27
24V13*Get_Line{9|50R12[19]} 15|64b13 67l8 67t16
26V13*Get_Line{9|50R12[19]} 27>7 15|73b13 78l8 78t16
27p7 File{13|52P9} 15|74b7 77r51
29U14*Get_Line 30<7 15|84b14 104l8 104t16
30r7 Item{9|50R12[19]} 15|85b7 103m7
32U14*Get_Line 33>7 34<7 15|110b14 131l8 131t16
33p7 File{13|52P9} 15|111b7 120r17 124r20
34r7 Item{9|50R12[19]} 15|112b7 130m7
36U14*Put 37>7 15|137b14 142l8 142t11
37r7 Item{9|50R12[19]} 15|138b7 141r31
39U14*Put 40>7 41>7 15|148b14 154l8 154t11
40p7 File{13|52P9} 15|149b7 153r12
41r7 Item{9|50R12[19]} 15|150b7 153r37
43U14*Put_Line 44>7 15|160b14 165l8 165t16
44r7 Item{9|50R12[19]} 15|161b7 164r36
46U14*Put_Line 47>7 48>7 15|171b14 177l8 177t16
47p7 File{13|52P9} 15|172b7 176r17
48r7 Item{9|50R12[19]} 15|173b7 176r42
X 15 a-tiboio.adb
37P9 String_Access(string) 39r32 46r32 50r49 89r16 90r16 116r16 117r16
39U14 Free 39=20 46b14 58l8 58t12 99s10 126s10
39p20 SA{37P9} 46b20 55r10 56m22
47a7 Null_String{string} 55r20
49U17 Deallocate[17|20] 56s10
87a7 Buffer{string} 93m17 94r27 96r20 97m20 98r41
88i7 Last{natural} 93m25 94r40 96r13 97m28 98r54
89p7 Str1{37P9} 94m7 98r30 99m16 99r16 100m10 103r42
90p7 Str2{37P9} 98m10 100r18
114a7 Buffer{string} 120m23 121r27 123r20 124m26 125r41
115i7 Last{natural} 120m31 121r40 123r13 124m34 125r54
116p7 Str1{37P9} 121m7 125r30 126m16 126r16 127m10 130r42
117p7 Str2{37P9} 125m10 127r18
X 17 a-uncdea.ads
20u15*Unchecked_Deallocation 15|33w10 50r17