1V "GNAT Lib v5"
2A -gnatwa
3A -nostdinc
4A -O2
5A -Wextra
6A -Wall
7A -g
8A -gnatp
9A -gnatg
10A -mtune=generic
11A -march=x86-64
12P SS ZX
13
14RN
15RV NO_EXCEPTIONS
16RV NO_IMPLICIT_CONDITIONALS
17RV NO_SECONDARY_STACK
18RV NO_STANDARD_STORAGE_POOLS
19RV NO_IMPLEMENTATION_PRAGMAS
20RV SPARK_05
21
22U ada.strings.wide_fixed%b  a-stwifi.adb	bc438ed0 NE OL PK
23W ada%s			ada.ads			ada.ali
24W ada.exceptions%s	a-except.adb		a-except.ali
25W ada.strings%s		a-string.ads		a-string.ali
26W ada.strings.wide_maps%s  a-stwima.adb		a-stwima.ali
27W ada.strings.wide_search%s  a-stwise.adb	a-stwise.ali
28W ada.tags%s		a-tags.adb		a-tags.ali
29W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
30
31U ada.strings.wide_fixed%s  a-stwifi.ads	412537cd NE OL PR PK
32W ada%s			ada.ads			ada.ali
33W ada.strings%s		a-string.ads		a-string.ali
34W ada.strings.wide_maps%s  a-stwima.adb		a-stwima.ali
35
36D ada.ads		20070406091342 3ffc8e18 ada%s
37D a-except.ads		20140730140058 5250cb69 ada.exceptions%s
38D a-finali.ads		20140611123707 69f99942 ada.finalization%s
39D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
40D a-string.ads		20070406091342 90ac6797 ada.strings%s
41D a-stwifi.ads		20101008130255 d82fa5f6 ada.strings.wide_fixed%s
42D a-stwifi.adb		20121001094122 e388a21d ada.strings.wide_fixed%b
43D a-stwima.ads		20111222115200 09a6f5ac ada.strings.wide_maps%s
44D a-stwise.ads		20101008130255 8e427c97 ada.strings.wide_search%s
45D a-tags.ads		20140730140058 dc4d0634 ada.tags%s
46D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
47D system.ads		20150428105438 bf8979bc system%s
48D s-exctab.ads		20140225151139 54135002 system.exception_table%s
49D s-finmas.ads		20140225151139 814daec4 system.finalization_masters%s
50D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
51D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
52D s-secsta.ads		20140225151139 86a2856d system.secondary_stack%s
53D s-soflin.ads		20140801100131 aa763b52 system.soft_links%s
54D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
55D s-stalib.ads		20150220094550 fa0a3617 system.standard_library%s
56D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
57D s-stopoo.ads		20131010103753 b16154c2 system.storage_pools%s
58D s-stposu.ads		20140718101241 97a6219c system.storage_pools.subpools%s
59D s-stratt.ads		20131014135145 aedef97e system.stream_attributes%s
60D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
61D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
62X 1 ada.ads
6316K9*Ada 19e8 6|16r6 18r9 30r36 158r36 192r35 217r30 218r35 223r34 229r35
64. 234r34 240r35 254r5 7|32r6 32r35 33r6 35r14 47r12 54r12 61r12 70r12 78r12
65. 86r12 91r12 97r12 104r12 110r12 115r12 124r12 132r12 243r35 528r35 690r5
66X 5 a-string.ads
6716K13*Strings 1|16k9 5|35e16 6|16r10 18r13 30r40 158r40 192r39 217r34 218r39
68. 223r38 229r39 234r38 240r39 254r9 7|32r10 32r39 33r10 35r18 47r16 54r16
69. 61r16 70r16 78r16 86r16 91r16 97r16 104r16 110r16 115r16 124r16 132r16
70. 243r39 528r39 680r36 690r9
7120e4*Wide_Space{wide_character} 6|30r48 158r48 192r47 206r35 218r47 223r46
72. 229r47 234r46 240r47 7|204r35 220r34 243r47 295r36 490r37 503r34 528r47
73. 603r52 609r53 636r35 681r36
7427X4*Length_Error 7|345r31 352r31 356r28
7527X33*Index_Error 7|181r16 266r16 410r16 452r16
7629E9*Alignment 29e44 6|29r17 157r17 191r17 205r17 217r17 228r17 239r17 7|203r17
77. 242r17 294r17 489r18 527r17 635r17 680r18
7829n24*Left{29E9} 6|29r31 157r31 191r30 205r35 217r42 228r30 239r30 7|203r30
79. 242r30 294r31 340r24 365r18 489r32 527r30 635r35 680r44
8029n30*Right{29E9} 7|348r24 372r18
8129n37*Center{29E9} 7|355r24 379r18
8230E9*Truncation 30e43 6|28r17 156r17 169r18 180r18 7|278r18 293r17 432r18
83. 488r18
8430n24*Left{30E9} 7|332r18
8530n30*Right{30E9} 6|180r32 7|335r18 432r32
8630n37*Error{30E9} 6|28r31 156r31 169r32 7|248r24 278r32 293r31 338r18 488r32
87. 533r24
8831E9*Membership 31e40 6|52r16 76r17 109r16 117r16 7|59r16 84r17 121r16 129r16
8931n24*Inside{31E9} 6|52r30 76r31 7|59r30 84r31
9032E9*Direction 32e42 6|39r17 46r17 53r16 59r17 68r17 77r17 82r16 87r16 7|44r17
91. 52r17 60r16 67r17 76r17 85r17 90r16 96r16
9232n24*Forward{32E9} 6|39r30 46r30 53r30 59r30 68r30 77r30 82r29 87r29 7|44r30
93. 52r30 60r30 67r30 76r30 85r30 90r29 96r29
9433E9*Trim_End 33e42 6|200r16 204r17 7|596r16 634r17
9533n24*Left{33E9} 7|602r17
9633n30*Right{33E9} 7|608r17
9733n37*Both{33E9} 7|602r37 608r38
98X 6 a-stwifi.ads
9918K21*Wide_Fixed 5|16k13 6|254l17 254e27 7|35b26 690l17 690t27
10025U14*Move 26>7 27<7 28>7 29>7 30>7 7|207s7 246s7 281s7 290b14 397l8 397t12
101. 435s7 493s7 531s7 639s7 684s7
10226a7 Source{wide_string} 7|207r13 246r13 281r13 291b7 297r37 298r37 299r37
103. 327r20 333r26 336r26 341r37 343r27 349r37 350r35 366r59 377r57 389r72 435r13
104. 531r13 639r13 684r13
10527a7 Target{wide_string} 7|208r13 247r13 282r13 292b7 301r37 302r37 303r37
106. 327m10 333m16 336m16 342m25 343r54 350m25 366m16 369m19 374m19 377m16 386m22
107. 389m19 392m22 436r13 532r13 640r13 685r13
10828e7 Drop{5|30E9} 7|248r13 283r13 293b7 331r15 437r13 533r13
10929e7 Justify{5|29E9} 7|209r13 249r13 294b7 339r21 364r15 534r13 641r13 686r13
11030e7 Pad{wide_character} 7|210r13 250r13 295b7 315r28 369r33 374r33 386r36
111. 392r36 535r13 642r13 687r13
11236V13*Index{natural} 37>7 38>7 39>7 40>7 7|41b13
11337a7 Source{wide_string} 7|42b7
11438a7 Pattern{wide_string} 7|43b7
11539e7 Going{5|32E9} 7|44b7
11640r7 Mapping{8|123R9} 7|45b7
11743V13*Index{natural} 44>7 45>7 46>7 47>7 7|49b13
11844a7 Source{wide_string} 7|50b7
11945a7 Pattern{wide_string} 7|51b7
12046e7 Going{5|32E9} 7|52b7
12147p7 Mapping{8|146P9} 7|53b7
12249V13*Index{natural} 50>7 51>7 52>7 53>7 7|56b13
12350a7 Source{wide_string} 7|57b7
12451r7 Set{8|45R9} 7|58b7
12552e7 Test{5|31E9} 7|59b7
12653e7 Going{5|32E9} 7|60b7
12755V13*Index{natural} 56>7 57>7 58>7 59>7 60>7 7|63b13
12856a7 Source{wide_string} 7|64b7
12957a7 Pattern{wide_string} 7|65b7
13058i7 From{positive} 7|66b7
13159e7 Going{5|32E9} 7|67b7
13260r7 Mapping{8|123R9} 7|68b7
13364V13*Index{natural} 65>7 66>7 67>7 68>7 69>7 7|72b13
13465a7 Source{wide_string} 7|73b7
13566a7 Pattern{wide_string} 7|74b7
13667i7 From{positive} 7|75b7
13768e7 Going{5|32E9} 7|76b7
13869p7 Mapping{8|146P9} 7|77b7
13972V13*Index{natural} 73>7 74>7 75>7 76>7 77>7 7|80b13
14073a7 Source{wide_string} 7|81b7
14174r7 Set{8|45R9} 7|82b7
14275i7 From{positive} 7|83b7
14376e7 Test{5|31E9} 7|84b7
14477e7 Going{5|32E9} 7|85b7
14580V13*Index_Non_Blank{natural} 81>7 82>7 7|88b13
14681a7 Source{wide_string} 7|89b7
14782e7 Going{5|32E9} 7|90b7
14884V13*Index_Non_Blank{natural} 85>7 86>7 87>7 7|93b13
14985a7 Source{wide_string} 7|94b7
15086i7 From{positive} 7|95b7
15187e7 Going{5|32E9} 7|96b7
15290V13*Count{natural} 91>7 92>7 93>7 7|99b13
15391a7 Source{wide_string} 7|100b7
15492a7 Pattern{wide_string} 7|101b7
15593r7 Mapping{8|123R9} 7|102b7
15696V13*Count{natural} 97>7 98>7 99>7 7|106b13
15797a7 Source{wide_string} 7|107b7
15898a7 Pattern{wide_string} 7|108b7
15999p7 Mapping{8|146P9} 7|109b7
160101V13*Count{natural} 102>7 103>7 7|112b13
161102a7 Source{wide_string} 7|113b7
162103r7 Set{8|45R9} 7|114b7
163105U14*Find_Token 106>7 107>7 108>7 109>7 110<7 111<7 112r21 7|117b14
164106a7 Source{wide_string} 7|118b7
165107r7 Set{8|45R9} 7|119b7
166108i7 From{positive} 7|120b7
167109e7 Test{5|31E9} 7|121b7
168110i7 First{positive} 7|122b7
169111i7 Last{natural} 7|123b7
170114U14*Find_Token 115>7 116>7 117>7 118<7 119<7 7|126b14
171115a7 Source{wide_string} 7|127b7
172116r7 Set{8|45R9} 7|128b7
173117e7 Test{5|31E9} 7|129b7
174118i7 First{positive} 7|130b7
175119i7 Last{natural} 7|131b7
176125V13*Translate{wide_string} 126>7 127>7 7|542b13 554l8 554t17
177126a7 Source{wide_string} 7|543b7 546r34 549r16 550r23 550r61
178127r7 Mapping{8|123R9} 7|544b7 550r52
179129U14*Translate 130=7 131>7 7|556b14 564l8 564t17
180130a7 Source{wide_string} 7|557b7 561r16 562m10 562r40
181131r7 Mapping{8|123R9} 7|558b7 562r31
182133V13*Translate{wide_string} 134>7 135>7 7|566b13 578l8 578t17
183134a7 Source{wide_string} 7|567b7 570r34 573r16 574r23 574r54
184135p7 Mapping{8|146P9} 7|568b7 574r45
185137U14*Translate 138=7 139>7 7|580b14 588l8 588t17
186138a7 Source{wide_string} 7|581b7 585r16 586m10 586r33
187139p7 Mapping{8|146P9} 7|582b7 586r24
188145V13*Replace_Slice{wide_string} 146>7 147>7 148>7 149>7 7|444b13 481l8
189. 481t21 493s13
190146a7 Source{wide_string} 7|445b7 451r16 451r47 458r37 461r60 471r40 471r48
191. 474r15 474r35 479r25
192147i7 Low{positive} 7|446b7 451r10 455r18 458r31 471r64 479r43
193148i7 High{natural} 7|447b7 451r40 455r10 461r74 474r23
194149a7 By{wide_string} 7|448b7 465r27 472r50 472r64 473r33 479r60
195151U14*Replace_Slice 152=7 153>7 154>7 155>7 156>7 157>7 158>7 7|483b14 494l8
196. 494t21
197152a7 Source{wide_string} 7|484b7 493r28 493m52
198153i7 Low{positive} 7|485b7 493r36
199154i7 High{natural} 7|486b7 493r41
200155a7 By{wide_string} 7|487b7 493r47
201156e7 Drop{5|30E9} 7|488b7 493r60
202157e7 Justify{5|29E9} 7|489b7 493r66
203158e7 Pad{wide_character} 7|490b7 493r75
204160V13*Insert{wide_string} 161>7 162>7 163>7 7|257b13 272l8 272t14 281s23
205. 479s17
206161a7 Source{wide_string} 7|258b7 262r34 265r19 265r49 269r17 269r25 270r17
207. 270r35
208162i7 Before{positive} 7|259b7 265r10 265r40 269r41 270r25 479r33
209163a7 New_Item{wide_string} 7|260b7 262r50 269r55 479r48
210165U14*Insert 166=7 167>7 168>7 169>7 7|274b14 284l8 284t14
211166a7 Source{wide_string} 7|275b7 281r31 282m23
212167i7 Before{positive} 7|276b7 281r39
213168a7 New_Item{wide_string} 7|277b7 281r47
214169e7 Drop{5|30E9} 7|278b7 283r23
215171V13*Overwrite{wide_string} 172>7 173>7 174>7 7|403b13 426l8 426t17 435s23
216172a7 Source{wide_string} 7|404b7 409r26 409r42 415r18 416r29 421r23 421r31
217. 422r25 422r63
218173i7 Position{positive} 7|405b7 409r10 416r18 421r47 422r33
219174a7 New_Item{wide_string} 7|406b7 416r44 421r63 422r44
220176U14*Overwrite 177=7 178>7 179>7 180>7 7|428b14 438l8 438t17
221177a7 Source{wide_string} 7|429b7 435r34 436m23
222178i7 Position{positive} 7|430b7 435r42
223179a7 New_Item{wide_string} 7|431b7 435r52
224180e7 Drop{5|30E9} 7|432b7 437r23
225182V13*Delete{wide_string} 183>7 184>7 185>7 7|172b13 197l8 197t14 207s24
226183a7 Source{wide_string} 7|173b7 178r22 179r27 184r17 188r42 190r37 190r53
227. 191r26 191r34 192r26 192r49
228184i7 From{positive} 7|174b7 178r10 183r13 188r69 191r50
229185i7 Through{natural} 7|175b7 179r17 183r20 188r59 192r34
230187U14*Delete 188=7 189>7 190>7 191>7 192>7 7|199b14 211l8 211t14
231188a7 Source{wide_string} 7|200b7 207r32 208m24
232189i7 From{positive} 7|201b7 207r40
233190i7 Through{natural} 7|202b7 207r46
234191e7 Justify{5|29E9} 7|203b7 209r24
235192e7 Pad{wide_character} 7|204b7 210r24
236198V13*Trim{wide_string} 199>7 200>7 7|594b13 630l8 630t12 639s24
237199a7 Source{wide_string} 7|595b7 598r25 599r25 603r37 609r37 624r15
238200e7 Side{5|33E9} 7|596b7 602r10 602r30 608r10 608r31
239202U14*Trim 203=7 204>7 205>7 206>7 7|632b14 643l8 643t12
240203a7 Source{wide_string} 7|633b7 639r30 640m24
241204e7 Side{5|33E9} 7|634b7 639r38
242205e7 Justify{5|29E9} 7|635b7 641r24
243206e7 Pad{wide_character} 7|636b7 642r24
244208V13*Trim{wide_string} 209>7 210>7 211>7 7|645b13 674l8 674t12 684s24
245209a7 Source{wide_string} 7|646b8 650r25 651r25 654r41 658r41 671r24
246210r7 Left{8|45R9} 7|647b8 654r55
247211r7 Right{8|45R9} 7|648b8 658r56
248213U14*Trim 214=7 215>7 216>7 217>7 218>7 7|676b14 688l8 688t12
249214a7 Source{wide_string} 7|677b8 684r30 685m24
250215r7 Left{8|45R9} 7|678b8 684r38
251216r7 Right{8|45R9} 7|679b8 684r44
252217e7 Justify{5|29E9} 7|680b8 686r24
253218e7 Pad{wide_character} 7|681b8 687r24
254220V13*Head{wide_string} 221>7 222>7 223>7 7|217b13 237l8 237t12 246s24
255221a7 Source{wide_string} 7|218b7 225r19 226r20 226r28 226r44 229r23 229r41
256. 231r19
257222i7 Count{natural} 7|219b7 222r34 225r10 226r59 231r40
258223e7 Pad{wide_character} 7|220b7 232r27
259225U14*Head 226=7 227>7 228>7 229>7 7|239b14 251l8 251t12
260226a7 Source{wide_string} 7|240b7 246r30 247m24
261227i7 Count{natural} 7|241b7 246r38
262228e7 Justify{5|29E9} 7|242b7 249r24
263229e7 Pad{wide_character} 7|243b7 246r45 250r24
264231V13*Tail{wide_string} 232>7 233>7 234>7 7|500b13 522l8 522t12 531s24
265232a7 Source{wide_string} 7|501b7 508r18 509r20 509r28 509r55 514r32 518r26
266. 518r57
267233i7 Count{natural} 7|502b7 505r34 508r10 509r42 514r24 518r18 518r47
268234e7 Pad{wide_character} 7|503b7 515r27
269236U14*Tail 237=7 238>7 239>7 240>7 7|524b14 536l8 536t12
270237a7 Source{wide_string} 7|525b7 531r30 532m24
271238i7 Count{natural} 7|526b7 531r38
272239e7 Justify{5|29E9} 7|527b7 534r24
273240e7 Pad{wide_character} 7|528b7 531r45 535r24
274246V14*"*"{wide_string} 247>7 248>7 7|138b14 150l9 150t11
275247i7 Left{natural} 7|139b7 142r34
276248e7 Right{wide_character} 7|140b7 146r24
277250V14*"*"{wide_string} 251>7 252>7 7|152b14 166l9 166t11
278251i7 Left{natural} 7|153b7 156r34 160r21
279252a7 Right{wide_string} 7|154b7 156r41 161r31 161r52 162r23
280X 7 a-stwifi.adb
281142a7 Result{wide_string} 145r16 146m10 149r14
282145i11 J{integer} 146r18
283156a7 Result{wide_string} 161m10 165r14
284157i7 Ptr{integer} 161r18 161r25 162m10 162r17
285160i11 J{integer}
286188i13 Len{integer} 190r68
287189a13 Result{wide_string} 194r20
288222a7 Result{wide_string} 226m10 229m10 232m13 236r14
289231i14 J{integer} 232r21
290262a7 Result{wide_string} 269m7 271r14
291297i7 Sfirst{integer} 336r34 336r44 341r45 343r35 343r45 349r45
292298i7 Slast{integer} 333r34 333r57 341r65 349r55 350r43 350r66
293299i7 Slength{integer} 326r10 329r13 366r43 368r34 373r43 377r32 381r64 389r56
294. 391r42
295301i7 Tfirst{integer} 366r24 366r34 368r25 373r25 382r53 385r28
296302i7 Tlast{integer} 368r45 373r35 377r24 377r47 391r53
297303i7 Tlength{integer} 326r20 329r23 333r42 336r53 341r54 349r63 350r51 381r54
298305V16 Is_Padding{boolean} 305>28 312b16 321l11 321t21 341s25 349s25
299305a28 Item{wide_string} 312b28 314r19 315r16
300314i14 J{integer} 315r22
301368i20 J{integer} 369r27
302373i20 J{integer} 374r27
303381i19 Front_Pad{integer} 382r62
304382i19 Tfirst_Fpad{integer} 385r38 389r27 389r42 391r28
305385i23 J{integer} 386r30
306391i23 J{integer} 392r30
307413i13 Result_Length{natural} 418r40
308418a13 Result{wide_string} 421m13 423r20
309457i13 Front_Len{integer} 465r15 471r26 472r21 472r38 473r21
310461i13 Back_Len{integer} 465r39
311464i13 Result_Length{integer} 468r40
312468a13 Result{wide_string} 471m13 472m13 473m13 473r50 475r20
313505a7 Result{wide_string} 509m10 515m13 518m10 521r14
314514i14 J{integer} 515r21
315546a7 Result{wide_string} 550m10 553r14
316549i11 J{integer} 550r18 550r69
317561i11 J{integer} 562r18 562r48
318570a7 Result{wide_string} 574m10 577r14
319573i11 J{integer} 574r18 574r62
320585i11 J{integer} 586r18 586r41
321598i7 Low{natural} 603r16 603r45 604m13 604r20 609r24 616r10 623r56 624r23
322599i7 High{natural} 603r23 609r16 609r45 610m13 610r21 616r16 623r49 624r30
323623a13 Result{wide_string} 627r20
324650i7 Low{natural} 654r13 654r49 655m10 655r17 658r21 664r10 668r52 671r32
325651i7 High{natural} 654r20 658r13 658r49 659m10 659r18 664r16 668r45 671r39
326668A21 WS{wide_string}<integer> 671r20
327X 8 a-stwima.ads
32838K21*Wide_Maps 6|16w18 40r17 40r53 47r17 51r16 60r17 60r53 69r17 74r17 93r17
329. 93r53 99r17 103r16 107r16 116r16 127r17 131r17 135r17 139r17 210r16 211r16
330. 215r17 216r17 7|32w18 32r47 45r17 45r53 53r17 58r16 68r17 68r53 77r17 82r17
331. 102r17 102r53 109r17 114r16 119r16 128r16 544r17 558r17 568r17 582r17 647r17
332. 648r17 678r18 679r18 8|240e26
33345R9*Wide_Character_Set<3|43R9> 6|51r26 74r27 103r26 107r26 116r26 210r26
334. 211r26 215r27 216r27 7|58r26 82r27 114r26 119r26 128r26 647r27 648r27 678r28
335. 679r28 8|173e14
33694V13*Is_In{boolean} 7|654s34 658s34
337123R9*Wide_Character_Mapping<3|43R9> 6|40r27 60r27 93r27 127r27 131r27 7|45r27
338. 68r27 102r27 544r27 558r27 8|220e14
339127V13*Value{wide_character} 7|550s45 562s24
340131r4*Identity{123R9} 6|40r63 60r63 93r63 7|45r63 68r63 102r63
341146P9*Wide_Character_Mapping_Function(wide_character) 6|47r27 69r27 99r27
342. 135r27 139r27 7|53r27 77r27 109r27 568r27 582r27
343X 9 a-stwise.ads
34441K29*Wide_Search 7|33w18 47r24 54r24 61r24 70r24 78r24 86r24 91r24 97r24
345. 104r24 110r24 115r24 124r24 132r24 9|125e28
34644V13*Index{natural} 7|47r36
34751V13*Index{natural} 7|54r36
34857V13*Index{natural} 7|61r36
34963V13*Index{natural} 7|70r36
35071V13*Index{natural} 7|78r36
35178V13*Index{natural} 7|86r36
35285V13*Index_Non_Blank{natural} 7|91r36
35389V13*Index_Non_Blank{natural} 7|97r36
35494V13*Count{natural} 7|104r36
355100V13*Count{natural} 7|110r36
356105V13*Count{natural} 7|115r36
357109U14*Find_Token 7|124r36
358118U14*Find_Token 7|132r36
359
360