V "GNAT Lib v6"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=generic
A -march=i586
P SS ZX

RN
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U ada.strings.fixed%b	a-strfix.adb		e5480ede NE OL PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.maps%s	a-strmap.adb		a-strmap.ali
W ada.strings.search%s	a-strsea.adb		a-strsea.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U ada.strings.fixed%s	a-strfix.ads		a86b22b3 NE OL PR PK
W ada%s			ada.ads			ada.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.maps%s	a-strmap.adb		a-strmap.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-charac.ads		20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads		20140225151544 66457d31 ada.characters.latin_1%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-string.ads		20070406091342 90ac6797 ada.strings%s
D a-strfix.ads		20101008130255 d07c346e ada.strings.fixed%s
D a-strfix.adb		20121001094122 6433db40 ada.strings.fixed%b
D a-strmap.ads		20140611123156 e8bb714a ada.strings.maps%s
D a-strsea.ads		20101008130255 b9bc90ba ada.strings.search%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D system.ads		20151123113124 2da59038 system%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-secsta.ads		20140225151139 86a2856d system.secondary_stack%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
X 1 ada.ads
16K9*Ada 19e8 6|16r6 18r9 251r5 7|41r6 41r28 42r6 44r14 55r12 62r12 69r12
. 77r12 85r12 93r12 98r12 104r12 110r12 116r12 121r12 130r12 138r12 735r5
X 5 a-string.ads
16K13*Strings 1|16k9 5|35e16 6|16r10 18r13 214r30 251r9 7|41r10 41r32 42r10
. 44r18 55r16 62r16 69r16 77r16 85r16 93r16 98r16 104r16 110r16 116r16 121r16
. 130r16 138r16 648r18 656r18 664r18 725r30 735r9
19e4*Space{character} 6|30r31 155r31 189r30 203r30 215r30 220r29 226r30 231r29
. 237r30 7|218r30 234r29 263r30 321r31 518r32 531r29 560r30 679r30 726r30
27X4*Length_Error 7|367r31 374r31 378r28
27X33*Index_Error 7|195r16 287r16 432r16 479r16
29E9*Alignment 29e44 6|29r17 154r17 188r17 202r17 214r17 225r17 236r17 7|217r17
. 262r17 320r17 517r18 559r17 678r17 725r17
29n24*Left{29E9} 6|29r31 154r31 188r30 202r30 214r38 225r30 236r30 7|217r30
. 262r30 320r31 362r24 387r18 517r32 559r30 678r30 725r38
29n30*Right{29E9} 7|370r24 394r18
29n37*Center{29E9} 7|377r24 401r18
30E9*Truncation 30e43 6|28r17 153r17 166r18 177r18 7|304r18 319r17 459r18
. 516r18
30n24*Left{30E9} 7|354r18
30n30*Right{30E9} 6|177r32 7|357r18 459r32
30n37*Error{30E9} 6|28r31 153r31 166r32 7|268r24 304r32 319r31 360r18 516r32
. 565r24
31E9*Membership 31e40 6|51r16 74r17 106r16 114r16 7|67r16 91r17 127r16 135r16
31n24*Inside{31E9} 6|51r30 74r31 7|67r30 91r31
31n32*Outside{31E9} 7|696r51 705r47
32E9*Direction 32e42 6|39r17 45r17 52r16 58r17 66r17 75r17 80r16 85r16 7|53r17
. 60r17 68r16 75r17 83r17 92r17 97r16 103r16
32n24*Forward{32E9} 6|39r30 45r30 52r30 58r30 66r30 75r30 80r29 85r29 7|53r30
. 60r30 68r30 75r30 83r30 92r30 97r29 103r29 635r39 696r69
32n33*Backward{32E9} 7|645r43 705r65
33E9*Trim_End 33e42 6|197r16 201r17 7|630r16 677r17
33n24*Left{33E9} 7|648r26
33n30*Right{33E9} 7|656r26
33n37*Both{33E9} 7|664r26
X 6 a-strfix.ads
18K21*Fixed 5|16k13 6|251l17 251e22 7|44b26 735l17 735t22
25U14*Move 26>7 27<7 28>7 29>7 30>7 7|221s7 266s7 307s7 316b14 419l8 419t12
. 462s7 521s7 563s7 682s7 729s7
26a7 Source{string} 7|221r13 266r13 307r13 317b7 323r37 324r37 325r37 349r20
. 355r26 358r26 363r37 365r27 371r37 372r35 388r59 399r57 411r72 462r13 563r13
. 729r13
27a7 Target{string} 7|222r13 267r13 308r13 318b7 327r37 328r37 329r37 349m10
. 355m16 358m16 364m25 365r54 372m25 388m16 391m19 396m19 399m16 408m22 411m19
. 414m22 463r13 564r13 730r13
28e7 Drop{5|30E9} 7|268r13 309r13 319b7 353r15 464r13 565r13
29e7 Justify{5|29E9} 7|223r13 269r13 320b7 361r21 386r15 566r13 684r13 731r13
30e7 Pad{character} 7|224r13 270r13 321b7 337r28 391r33 396r33 408r36 414r36
. 567r13 685r13 732r13
36V13*Index{natural} 37>7 38>7 39>7 40>7 7|50b13
37a7 Source{string} 7|51b7
38a7 Pattern{string} 7|52b7
39e7 Going{5|32E9} 7|53b7
40a7 Mapping{8|107A9} 7|54b7
42V13*Index{natural} 43>7 44>7 45>7 46>7 7|57b13
43a7 Source{string} 7|58b7
44a7 Pattern{string} 7|59b7
45e7 Going{5|32E9} 7|60b7
46p7 Mapping{8|130P9} 7|61b7
48V13*Index{natural} 49>7 50>7 51>7 52>7 7|64b13 696s14 705s9
49a7 Source{string} 7|65b7
50a7 Set{8|46A9} 7|66b7 696r29 705r24
51e7 Test{5|31E9} 7|67b7 696r42 705r38
52e7 Going{5|32E9} 7|68b7 696r60 705r56
54V13*Index{natural} 55>7 56>7 57>7 58>7 59>7 7|71b13
55a7 Source{string} 7|72b7
56a7 Pattern{string} 7|73b7
57i7 From{positive} 7|74b7
58e7 Going{5|32E9} 7|75b7
59a7 Mapping{8|107A9} 7|76b7
62V13*Index{natural} 63>7 64>7 65>7 66>7 67>7 7|79b13
63a7 Source{string} 7|80b7
64a7 Pattern{string} 7|81b7
65i7 From{positive} 7|82b7
66e7 Going{5|32E9} 7|83b7
67p7 Mapping{8|130P9} 7|84b7
70V13*Index{natural} 71>7 72>7 73>7 74>7 75>7 7|87b13
71a7 Source{string} 7|88b7
72a7 Set{8|46A9} 7|89b7
73i7 From{positive} 7|90b7
74e7 Test{5|31E9} 7|91b7
75e7 Going{5|32E9} 7|92b7
78V13*Index_Non_Blank{natural} 79>7 80>7 7|95b13 635s14 645s18
79a7 Source{string} 7|96b7
80e7 Going{5|32E9} 7|97b7
82V13*Index_Non_Blank{natural} 83>7 84>7 85>7 7|100b13
83a7 Source{string} 7|101b7
84i7 From{positive} 7|102b7
85e7 Going{5|32E9} 7|103b7
88V13*Count{natural} 89>7 90>7 91>7 7|106b13
89a7 Source{string} 7|107b7
90a7 Pattern{string} 7|108b7
91a7 Mapping{8|107A9} 7|109b7
93V13*Count{natural} 94>7 95>7 96>7 7|112b13
94a7 Source{string} 7|113b7
95a7 Pattern{string} 7|114b7
96p7 Mapping{8|130P9} 7|115b7
98V13*Count{natural} 99>7 100>7 7|118b13
99a7 Source{string} 7|119b7
100a7 Set{8|46A9} 7|120b7
102U14*Find_Token 103>7 104>7 105>7 106>7 107<7 108<7 109r21 7|123b14
103a7 Source{string} 7|124b7
104a7 Set{8|46A9} 7|125b7
105i7 From{positive} 7|126b7
106e7 Test{5|31E9} 7|127b7
107i7 First{positive} 7|128b7
108i7 Last{natural} 7|129b7
111U14*Find_Token 112>7 113>7 114>7 115<7 116<7 7|132b14
112a7 Source{string} 7|133b7
113a7 Set{8|46A9} 7|134b7
114e7 Test{5|31E9} 7|135b7
115i7 First{positive} 7|136b7
116i7 Last{natural} 7|137b7
122V13*Translate{string} 123>7 124>7 7|574b13 586l8 586t17
123a7 Source{string} 7|575b7 578r29 581r16 582r23 582r61
124a7 Mapping{8|107A9} 7|576b7 582r52
126U14*Translate 127=7 128>7 7|588b14 596l8 596t17
127a7 Source{string} 7|589b7 593r16 594m10 594r40
128a7 Mapping{8|107A9} 7|590b7 594r31
130V13*Translate{string} 131>7 132>7 7|598b13 611l8 611t17
131a7 Source{string} 7|599b7 602r29 606r16 607r23 607r58
132p7 Mapping{8|130P9} 7|600b7 607r45
134U14*Translate 135=7 136>7 7|613b14 622l8 622t17
135a7 Source{string} 7|614b7 619r16 620m10 620r37
136p7 Mapping{8|130P9} 7|615b7 620r24
142V13*Replace_Slice{string} 143>7 144>7 145>7 146>7 7|471b13 509l8 509t21
. 521s13
143a7 Source{string} 7|472b7 478r16 478r47 485r37 489r31 499r40 499r48 502r15
. 502r35 507r25
144i7 Low{positive} 7|473b7 478r10 482r18 485r31 499r64 507r43
145i7 High{natural} 7|474b7 478r40 482r10 489r45 502r23
146a7 By{string} 7|475b7 493r27 500r50 500r64 501r33 507r60
148U14*Replace_Slice 149=7 150>7 151>7 152>7 153>7 154>7 155>7 7|511b14 522l8
. 522t21
149a7 Source{string} 7|512b7 521r28 521m52
150i7 Low{positive} 7|513b7 521r36
151i7 High{natural} 7|514b7 521r41
152a7 By{string} 7|515b7 521r47
153e7 Drop{5|30E9} 7|516b7 521r60
154e7 Justify{5|29E9} 7|517b7 521r66
155e7 Pad{character} 7|518b7 521r75
157V13*Insert{string} 158>7 159>7 160>7 7|277b13 298l8 298t14 307s23 507s17
158a7 Source{string} 7|278b7 282r29 283r45 286r24 286r40 291r9 291r17 295r9
. 295r27
159i7 Before{positive} 7|279b7 283r36 286r10 291r33 295r17 507r33
160a7 New_Item{string} 7|280b7 282r45 292r36 293r9 294r23 507r48
162U14*Insert 163=7 164>7 165>7 166>7 7|300b14 310l8 310t14
163a7 Source{string} 7|301b7 307r31 308m23
164i7 Before{positive} 7|302b7 307r39
165a7 New_Item{string} 7|303b7 307r47
166e7 Drop{5|30E9} 7|304b7 309r23
168V13*Overwrite{string} 169>7 170>7 171>7 7|425b13 453l8 453t17 462s23
169a7 Source{string} 7|426b7 431r26 431r42 438r15 439r26 442r50 446r12 446r20
. 450r12 450r50
170i7 Position{positive} 7|427b7 431r10 439r15 442r39 446r36 450r20
171a7 New_Item{string} 7|428b7 439r41 447r39 448r12 449r26 450r31
173U14*Overwrite 174=7 175>7 176>7 177>7 7|455b14 465l8 465t17
174a7 Source{string} 7|456b7 462r34 463m23
175i7 Position{positive} 7|457b7 462r42
176a7 New_Item{string} 7|458b7 462r52
177e7 Drop{5|30E9} 7|459b7 464r23
179V13*Delete{string} 180>7 181>7 182>7 7|178b13 211l8 211t14 221s24
180a7 Source{string} 7|179b7 186r49 189r33 192r25 193r27 199r49 200r35 204r15
. 204r23 206r15 206r38
181i7 From{positive} 7|180b7 184r10 192r13 199r42 200r62 204r39
182i7 Through{natural} 7|181b7 184r17 193r17 200r52 206r23
184U14*Delete 185=7 186>7 187>7 188>7 189>7 7|213b14 225l8 225t14
185a7 Source{string} 7|214b7 221r32 222m24
186i7 From{positive} 7|215b7 221r40
187i7 Through{natural} 7|216b7 221r46
188e7 Justify{5|29E9} 7|217b7 223r24
189e7 Pad{character} 7|218b7 224r24
195V13*Trim{string} 196>7 197>7 7|628b13 673l8 673t12 682s13
196a7 Source{string} 7|629b7 635r31 645r35 650r55 653r39 653r54 658r62 661r39
. 661r47 669r39
197e7 Side{5|33E9} 7|630b7 647r15
199U14*Trim 200=7 201>7 202>7 203>7 7|675b14 686l8 686t12
200a7 Source{string} 7|676b7 682r19 683m13
201e7 Side{5|33E9} 7|677b7 682r27
202e7 Justify{5|29E9} 7|678b7 684r24
203e7 Pad{character} 7|679b7 685r20
205V13*Trim{string} 206>7 207>7 208>7 7|688b13 719l8 719t12 729s24
206a7 Source{string} 7|689b7 696r21 705r16 717r30
207a7 Left{8|46A9} 7|690b7 696r36
208a7 Right{8|46A9} 7|691b7 705r31
210U14*Trim 211=7 212>7 213>7 214>7 215>7 7|721b14 733l8 733t12
211a7 Source{string} 7|722b7 729r30 730m24
212a7 Left{8|46A9} 7|723b7 729r38
213a7 Right{8|46A9} 7|724b7 729r44
214e7 Justify{5|29E9} 7|725b7 731r24
215e7 Pad{character} 7|726b7 732r24
217V13*Head{string} 218>7 219>7 220>7 7|231b13 257l8 257t12 266s24
218a7 Source{string} 7|232b7 239r18 241r25 241r33 241r49 248r26 248r44 250r22
219i7 Count{natural} 7|233b7 236r43 239r10 241r64 250r43
220e7 Pad{character} 7|234b7 251r30
222U14*Head 223=7 224>7 225>7 226>7 7|259b14 271l8 271t12
223a7 Source{string} 7|260b7 266r30 267m24
224i7 Count{natural} 7|261b7 266r38
225e7 Justify{5|29E9} 7|262b7 269r24
226e7 Pad{character} 7|263b7 266r45 270r24
228V13*Tail{string} 229>7 230>7 231>7 7|528b13 554l8 554t12 563s24
229a7 Source{string} 7|529b7 536r18 537r30 537r38 537r65 546r35 550r29 550r60
230i7 Count{natural} 7|530b7 533r43 536r10 537r52 546r27 550r21 550r50
231e7 Pad{character} 7|531b7 547r30
233U14*Tail 234=7 235>7 236>7 237>7 7|556b14 568l8 568t12
234a7 Source{string} 7|557b7 563r30 564m24
235i7 Count{natural} 7|558b7 563r38
236e7 Justify{5|29E9} 7|559b7 566r24
237e7 Pad{character} 7|560b7 563r45 567r24
243V14*"*"{string} 244>7 245>7 7|144b14 156l9 156t11
244i7 Left{natural} 7|145b7 148r29
245e7 Right{character} 7|146b7 152r24
247V14*"*"{string} 248>7 249>7 7|158b14 172l9 172t11
248i7 Left{natural} 7|159b7 162r29 166r21
249a7 Right{string} 7|160b7 162r36 167r31 167r52 168r23
X 7 a-strfix.adb
148a7 Result{string} 151r16 152m10 155r14
151i11 J{integer} 152r18
162a7 Result{string} 167m10 171r14
163i7 Ptr{integer} 167r18 167r25 168m10 168r17
166i11 J{integer}
186A21 Result_Type{string}<integer> 189r20
199i13 Front{integer} 203r26 205r21
200a13 Result{string} 203m13 205m13 205r34 208r20
236A15 Result_Type{string}<integer> 241r12 245r22
245a13 Result{236A15} 248m13 251m16 254r20
250i17 J{integer} 251r24
282a7 Result{string} 290m7 292m7 294m7 294r46 297r14
283i7 Front{integer} 290r20 292r15 292r28 294r15
323i7 Sfirst{integer} 358r34 358r44 363r45 365r35 365r45 371r45
324i7 Slast{integer} 355r34 355r57 363r65 371r55 372r43 372r66
325i7 Slength{integer} 348r10 351r13 388r43 390r34 395r43 399r32 403r64 411r56
. 413r42
327i7 Tfirst{integer} 388r24 388r34 390r25 395r25 404r53 407r28
328i7 Tlast{integer} 390r45 395r35 399r24 399r47 413r53
329i7 Tlength{integer} 348r20 351r23 355r42 358r53 363r54 371r63 372r51 403r54
331V16 Is_Padding{boolean} 331>28 334b16 343l11 343t21 363s25 371s25
331a28 Item{string} 334b28 336r19 337r16
336i14 J{integer} 337r22
390i20 I{integer} 391r27
395i20 I{integer} 396r27
403i19 Front_Pad{integer} 404r62
404i19 Tfirst_Fpad{integer} 407r38 411r27 411r42 413r28
407i23 I{integer} 408r30
413i23 I{integer} 414r30
436i10 Result_Length{natural} 441r32
441a10 Result{string} 445m10 447m10 449m10 449r49 451r17
442i10 Front{integer} 445r23 447r18 447r31 449r18
484i13 Front_Len{integer} 493r15 499r26 500r21 500r38 501r21
488i13 Back_Len{integer} 493r39
492i13 Result_Length{integer} 496r35
496a13 Result{string} 499m13 500m13 501m13 501r50 503r20
533A15 Result_Type{string}<integer> 537r17 543r22
543a13 Result{533A15} 547m16 550m13 551r20
546i17 J{integer} 547r24
578a7 Result{string} 582m10 585r14
581i11 J{integer} 582r18 582r69
593i11 J{integer} 594r18 594r48
602a7 Result{string} 607m10 610r14
606i11 J{integer} 607r18 607r66
619i11 J{integer} 620r18 620r45
632i7 Low{integer} 635m7 639r10 650r69 653r47 666r62 669r47
632i12 High{integer} 645m10 658r55 661r63 666r55 669r54
650A27 Result_Type{string}<integer> 653r26
658A27 Result_Type{string}<integer> 661r26
666A27 Result_Type{string}<integer> 669r26
693i7 High{integer} 704m7 709r10 714r46 717r45
693i13 Low{integer} 696m7 700r10 714r53 717r38
714A18 Result_Type{string}<integer> 717r17
X 8 a-strmap.ads
38K21*Maps 6|16w18 40r17 40r43 46r17 50r16 59r17 59r43 67r17 72r17 91r17
. 91r43 96r17 100r16 104r16 113r16 124r17 128r17 132r17 136r17 207r16 208r16
. 212r17 213r17 7|41w18 41r40 54r17 54r43 61r17 66r16 76r17 76r43 84r17 89r17
. 109r17 109r43 115r17 120r16 125r16 134r16 576r17 590r17 600r17 615r17 690r16
. 691r16 723r17 724r17 8|411e21
46A9*Character_Set<137A9> 6|50r21 72r22 100r21 104r21 113r21 207r21 208r21
. 212r22 213r22 7|66r21 89r22 120r21 125r21 134r21 690r21 691r21 723r22 724r22
107A9*Character_Mapping(character) 6|40r22 59r22 91r22 124r22 128r22 7|54r22
. 76r22 109r22 576r22 590r22
111V13*Value{character} 7|582s45 594s24
115a4*Identity{107A9} 6|40r48 59r48 91r48 7|54r48 76r48 109r48
130P9*Character_Mapping_Function(character) 6|46r22 67r22 96r22 132r22 136r22
. 7|61r22 84r22 115r22 600r22 615r22
137A9 Character_Set_Internal(boolean)<character>
X 9 a-strsea.ads
41K29*Search 7|42w18 55r24 62r24 69r24 77r24 85r24 93r24 98r24 104r24 110r24
. 116r24 121r24 130r24 138r24 9|121e23
44V13*Index{natural} 7|55r31
50V13*Index{natural} 7|62r31
56V13*Index{natural} 7|69r31
62V13*Index{natural} 7|77r31
69V13*Index{natural} 7|85r31
76V13*Index{natural} 7|93r31
83V13*Index_Non_Blank{natural} 7|98r31
87V13*Index_Non_Blank{natural} 7|104r31
92V13*Count{natural} 7|110r31
97V13*Count{natural} 7|116r31
102V13*Count{natural} 7|121r31
106U14*Find_Token 7|130r31
114U14*Find_Token 7|138r31