1V "GNAT Lib v9"
2A -gnatwa
3A -nostdinc
4A -O2
5A -Wextra
6A -Wall
7A -g
8A -gnatp
9A -gnatg
10A -mtune=generic
11A -march=x86-64
12P ZX
13
14RN
15RV NO_EXCEPTIONS
16RV NO_IMPLICIT_CONDITIONALS
17RV NO_SECONDARY_STACK
18RV NO_STANDARD_STORAGE_POOLS
19RV NO_DYNAMIC_SIZED_OBJECTS
20RV NO_IMPLEMENTATION_PRAGMAS
21RV SPARK_05
22
23U ada.strings.wide_fixed%b  a-stwifi.adb	bc438ed0 NE OL PK
24W ada%s			ada.ads			ada.ali
25Z ada.exceptions%s	a-except.adb		a-except.ali
26W ada.strings%s		a-string.ads		a-string.ali
27W ada.strings.wide_maps%s  a-stwima.adb		a-stwima.ali
28W ada.strings.wide_search%s  a-stwise.adb	a-stwise.ali
29Z ada.tags%s		a-tags.adb		a-tags.ali
30Z system.secondary_stack%s  s-secsta.adb	s-secsta.ali
31
32U ada.strings.wide_fixed%s  a-stwifi.ads	412537cd NE OL PR PK
33W ada%s			ada.ads			ada.ali
34W ada.strings%s		a-string.ads		a-string.ali
35W ada.strings.wide_maps%s  a-stwima.adb		a-stwima.ali
36
37D ada.ads		20170911084841 76789da1 ada%s
38D a-except.ads		20190108095404 291912d5 ada.exceptions%s
39D a-finali.ads		20190108095404 bf4f806b ada.finalization%s
40D a-stream.ads		20190108095404 119b8fb3 ada.streams%s
41D a-string.ads		20170908151217 90ac6797 ada.strings%s
42D a-stwifi.ads		20170908151217 d82fa5f6 ada.strings.wide_fixed%s
43D a-stwifi.adb		20190108095404 e388a21d ada.strings.wide_fixed%b
44D a-stwima.ads		20190108095404 09a6f5ac ada.strings.wide_maps%s
45D a-stwise.ads		20190108095404 8e427c97 ada.strings.wide_search%s
46D a-tags.ads		20190108095404 491b781d ada.tags%s
47D a-unccon.ads		20170908151217 0e9b276f ada.unchecked_conversion%s
48D system.ads		20190108095404 c631886f system%s
49D s-exctab.ads		20190108095404 54135002 system.exception_table%s
50D s-finmas.ads		20190108095404 7811a767 system.finalization_masters%s
51D s-finroo.ads		20190108095404 4ff27390 system.finalization_root%s
52D s-parame.ads		20190108095404 48ec542b system.parameters%s
53D s-secsta.ads		20190108095404 20bbe636 system.secondary_stack%s
54D s-soflin.ads		20190108095404 a7318a92 system.soft_links%s
55D s-stache.ads		20190108095404 a37c21ec system.stack_checking%s
56D s-stalib.ads		20190108095404 09bd3940 system.standard_library%s
57D s-stoele.ads		20190108095404 2dc34a04 system.storage_elements%s
58D s-stopoo.ads		20190108095404 b16154c2 system.storage_pools%s
59D s-stposu.ads		20190108095404 97a6219c system.storage_pools.subpools%s
60D s-stratt.ads		20190108095404 aedef97e system.stream_attributes%s
61D s-traent.ads		20190108095404 005bf670 system.traceback_entries%s
62D s-unstyp.ads		20190108095404 34867c83 system.unsigned_types%s
63X 1 ada.ads
6416K9*Ada 20e8 6|16r6 18r9 30r36 158r36 192r35 217r30 218r35 223r34 229r35
65. 234r34 240r35 254r5 7|32r6 32r35 33r6 35r14 47r12 54r12 61r12 70r12 78r12
66. 86r12 91r12 97r12 104r12 110r12 115r12 124r12 132r12 243r35 526r35 688r5
67X 5 a-string.ads
6816K13*Strings 1|16k9 5|35e16 6|16r10 18r13 30r40 158r40 192r39 217r34 218r39
69. 223r38 229r39 234r38 240r39 254r9 7|32r10 32r39 33r10 35r18 47r16 54r16
70. 61r16 70r16 78r16 86r16 91r16 97r16 104r16 110r16 115r16 124r16 132r16
71. 243r39 526r39 678r36 688r9
7220e4*Wide_Space{wide_character} 6|30r48 158r48 192r47 206r35 218r47 223r46
73. 229r47 234r46 240r47 7|204r35 220r34 243r47 295r36 488r37 501r34 526r47
74. 601r52 607r53 634r35 679r36
7527X4*Length_Error 7|344r31 351r31 355r28
7627X33*Index_Error 7|181r16 266r16 408r16 450r16
7729E9*Alignment 29e44 6|29r17 157r17 191r17 205r17 217r17 228r17 239r17 7|203r17
78. 242r17 294r17 487r18 525r17 633r17 678r18
7929n24*Left{29E9} 6|29r31 157r31 191r30 205r35 217r42 228r30 239r30 7|203r30
80. 242r30 294r31 339r24 363r18 487r32 525r30 633r35 678r44
8129n30*Right{29E9} 7|347r24 370r18
8229n37*Center{29E9} 7|354r24 377r18
8330E9*Truncation 30e43 6|28r17 156r17 169r18 180r18 7|278r18 293r17 430r18
84. 486r18
8530n24*Left{30E9} 7|331r18
8630n30*Right{30E9} 6|180r32 7|334r18 430r32
8730n37*Error{30E9} 6|28r31 156r31 169r32 7|248r24 278r32 293r31 337r18 486r32
88. 531r24
8931E9*Membership 31e40 6|52r16 76r17 109r16 117r16 7|59r16 84r17 121r16 129r16
9031n24*Inside{31E9} 6|52r30 76r31 7|59r30 84r31
9132E9*Direction 32e42 6|39r17 46r17 53r16 59r17 68r17 77r17 82r16 87r16 7|44r17
92. 52r17 60r16 67r17 76r17 85r17 90r16 96r16
9332n24*Forward{32E9} 6|39r30 46r30 53r30 59r30 68r30 77r30 82r29 87r29 7|44r30
94. 52r30 60r30 67r30 76r30 85r30 90r29 96r29
9533E9*Trim_End 33e42 6|200r16 204r17 7|594r16 632r17
9633n24*Left{33E9} 7|600r17
9733n30*Right{33E9} 7|606r17
9833n37*Both{33E9} 7|600r37 606r38
99X 6 a-stwifi.ads
10018K21*Wide_Fixed 5|16k13 6|254l17 254e27 7|35b26 688l17 688t27
10125U14*Move 26>7 27<7 28>7 29>7 30>7 7|207s7 246s7 281s7 290b14 395l8 395t12
102. 433s7 491s7 529s7 637s7 682s7
10326a7 Source{wide_string} 7|207r13 246r13 281r13 291b7 297r37 298r37 299r37
104. 327r20 332r26 335r26 340r37 342r27 348r37 349r35 364r59 375r57 387r72 433r13
105. 529r13 637r13 682r13
10627a7 Target{wide_string} 7|208r13 247r13 282r13 292b7 301r37 302r37 303r37
107. 327m10 332m16 335m16 341m25 342r54 349m25 364m16 367m19 372m19 375m16 384m22
108. 387m19 390m22 434r13 530r13 638r13 683r13
10928e7 Drop{5|30E9} 7|248r13 283r13 293b7 330r15 435r13 531r13
11029e7 Justify{5|29E9} 7|209r13 249r13 294b7 338r21 362r15 532r13 639r13 684r13
11130e7 Pad{wide_character} 7|210r13 250r13 295b7 315r28 367r33 372r33 384r36
112. 390r36 533r13 640r13 685r13
11336V13*Index{natural} 37>7 38>7 39>7 40>7 7|41b13
11437a7 Source{wide_string} 7|42b7
11538a7 Pattern{wide_string} 7|43b7
11639e7 Going{5|32E9} 7|44b7
11740r7 Mapping{8|123R9} 7|45b7
11843V13*Index{natural} 44>7 45>7 46>7 47>7 7|49b13
11944a7 Source{wide_string} 7|50b7
12045a7 Pattern{wide_string} 7|51b7
12146e7 Going{5|32E9} 7|52b7
12247p7 Mapping{8|146P9} 7|53b7
12349V13*Index{natural} 50>7 51>7 52>7 53>7 7|56b13
12450a7 Source{wide_string} 7|57b7
12551r7 Set{8|45R9} 7|58b7
12652e7 Test{5|31E9} 7|59b7
12753e7 Going{5|32E9} 7|60b7
12855V13*Index{natural} 56>7 57>7 58>7 59>7 60>7 7|63b13
12956a7 Source{wide_string} 7|64b7
13057a7 Pattern{wide_string} 7|65b7
13158i7 From{positive} 7|66b7
13259e7 Going{5|32E9} 7|67b7
13360r7 Mapping{8|123R9} 7|68b7
13464V13*Index{natural} 65>7 66>7 67>7 68>7 69>7 7|72b13
13565a7 Source{wide_string} 7|73b7
13666a7 Pattern{wide_string} 7|74b7
13767i7 From{positive} 7|75b7
13868e7 Going{5|32E9} 7|76b7
13969p7 Mapping{8|146P9} 7|77b7
14072V13*Index{natural} 73>7 74>7 75>7 76>7 77>7 7|80b13
14173a7 Source{wide_string} 7|81b7
14274r7 Set{8|45R9} 7|82b7
14375i7 From{positive} 7|83b7
14476e7 Test{5|31E9} 7|84b7
14577e7 Going{5|32E9} 7|85b7
14680V13*Index_Non_Blank{natural} 81>7 82>7 7|88b13
14781a7 Source{wide_string} 7|89b7
14882e7 Going{5|32E9} 7|90b7
14984V13*Index_Non_Blank{natural} 85>7 86>7 87>7 7|93b13
15085a7 Source{wide_string} 7|94b7
15186i7 From{positive} 7|95b7
15287e7 Going{5|32E9} 7|96b7
15390V13*Count{natural} 91>7 92>7 93>7 7|99b13
15491a7 Source{wide_string} 7|100b7
15592a7 Pattern{wide_string} 7|101b7
15693r7 Mapping{8|123R9} 7|102b7
15796V13*Count{natural} 97>7 98>7 99>7 7|106b13
15897a7 Source{wide_string} 7|107b7
15998a7 Pattern{wide_string} 7|108b7
16099p7 Mapping{8|146P9} 7|109b7
161101V13*Count{natural} 102>7 103>7 7|112b13
162102a7 Source{wide_string} 7|113b7
163103r7 Set{8|45R9} 7|114b7
164105U14*Find_Token 106>7 107>7 108>7 109>7 110<7 111<7 112r21 7|117b14
165106a7 Source{wide_string} 7|118b7
166107r7 Set{8|45R9} 7|119b7
167108i7 From{positive} 7|120b7
168109e7 Test{5|31E9} 7|121b7
169110i7 First{positive} 7|122b7
170111i7 Last{natural} 7|123b7
171114U14*Find_Token 115>7 116>7 117>7 118<7 119<7 7|126b14
172115a7 Source{wide_string} 7|127b7
173116r7 Set{8|45R9} 7|128b7
174117e7 Test{5|31E9} 7|129b7
175118i7 First{positive} 7|130b7
176119i7 Last{natural} 7|131b7
177125V13*Translate{wide_string} 126>7 127>7 7|540b13 552l8 552t17
178126a7 Source{wide_string} 7|541b7 544r34 547r16 548r23 548r61
179127r7 Mapping{8|123R9} 7|542b7 548r52
180129U14*Translate 130=7 131>7 7|554b14 562l8 562t17
181130a7 Source{wide_string} 7|555b7 559r16 560m10 560r40
182131r7 Mapping{8|123R9} 7|556b7 560r31
183133V13*Translate{wide_string} 134>7 135>7 7|564b13 576l8 576t17
184134a7 Source{wide_string} 7|565b7 568r34 571r16 572r23 572r54
185135p7 Mapping{8|146P9} 7|566b7 572r45
186137U14*Translate 138=7 139>7 7|578b14 586l8 586t17
187138a7 Source{wide_string} 7|579b7 583r16 584m10 584r33
188139p7 Mapping{8|146P9} 7|580b7 584r24
189145V13*Replace_Slice{wide_string} 146>7 147>7 148>7 149>7 7|442b13 479l8
190. 479t21 491s13
191146a7 Source{wide_string} 7|443b7 449r16 449r47 456r37 459r60 469r40 469r48
192. 472r15 472r35 477r25
193147i7 Low{positive} 7|444b7 449r10 453r18 456r31 469r64 477r43
194148i7 High{natural} 7|445b7 449r40 453r10 459r74 472r23
195149a7 By{wide_string} 7|446b7 463r27 470r50 470r64 471r33 477r60
196151U14*Replace_Slice 152=7 153>7 154>7 155>7 156>7 157>7 158>7 7|481b14 492l8
197. 492t21
198152a7 Source{wide_string} 7|482b7 491r28 491m52
199153i7 Low{positive} 7|483b7 491r36
200154i7 High{natural} 7|484b7 491r41
201155a7 By{wide_string} 7|485b7 491r47
202156e7 Drop{5|30E9} 7|486b7 491r60
203157e7 Justify{5|29E9} 7|487b7 491r66
204158e7 Pad{wide_character} 7|488b7 491r75
205160V13*Insert{wide_string} 161>7 162>7 163>7 7|257b13 272l8 272t14 281s23
206. 477s17
207161a7 Source{wide_string} 7|258b7 262r34 265r19 265r49 269r17 269r25 270r17
208. 270r35
209162i7 Before{positive} 7|259b7 265r10 265r40 269r41 270r25 477r33
210163a7 New_Item{wide_string} 7|260b7 262r50 269r55 477r48
211165U14*Insert 166=7 167>7 168>7 169>7 7|274b14 284l8 284t14
212166a7 Source{wide_string} 7|275b7 281r31 282m23
213167i7 Before{positive} 7|276b7 281r39
214168a7 New_Item{wide_string} 7|277b7 281r47
215169e7 Drop{5|30E9} 7|278b7 283r23
216171V13*Overwrite{wide_string} 172>7 173>7 174>7 7|401b13 424l8 424t17 433s23
217172a7 Source{wide_string} 7|402b7 407r26 407r42 413r18 414r29 419r23 419r31
218. 420r25 420r63
219173i7 Position{positive} 7|403b7 407r10 414r18 419r47 420r33
220174a7 New_Item{wide_string} 7|404b7 414r44 419r63 420r44
221176U14*Overwrite 177=7 178>7 179>7 180>7 7|426b14 436l8 436t17
222177a7 Source{wide_string} 7|427b7 433r34 434m23
223178i7 Position{positive} 7|428b7 433r42
224179a7 New_Item{wide_string} 7|429b7 433r52
225180e7 Drop{5|30E9} 7|430b7 435r23
226182V13*Delete{wide_string} 183>7 184>7 185>7 7|172b13 197l8 197t14 207s24
227183a7 Source{wide_string} 7|173b7 178r22 179r27 184r17 188r42 190r37 190r53
228. 191r26 191r34 192r26 192r49
229184i7 From{positive} 7|174b7 178r10 183r13 188r69 191r50
230185i7 Through{natural} 7|175b7 179r17 183r20 188r59 192r34
231187U14*Delete 188=7 189>7 190>7 191>7 192>7 7|199b14 211l8 211t14
232188a7 Source{wide_string} 7|200b7 207r32 208m24
233189i7 From{positive} 7|201b7 207r40
234190i7 Through{natural} 7|202b7 207r46
235191e7 Justify{5|29E9} 7|203b7 209r24
236192e7 Pad{wide_character} 7|204b7 210r24
237198V13*Trim{wide_string} 199>7 200>7 7|592b13 628l8 628t12 637s24
238199a7 Source{wide_string} 7|593b7 596r25 597r25 601r37 607r37 622r15
239200e7 Side{5|33E9} 7|594b7 600r10 600r30 606r10 606r31
240202U14*Trim 203=7 204>7 205>7 206>7 7|630b14 641l8 641t12
241203a7 Source{wide_string} 7|631b7 637r30 638m24
242204e7 Side{5|33E9} 7|632b7 637r38
243205e7 Justify{5|29E9} 7|633b7 639r24
244206e7 Pad{wide_character} 7|634b7 640r24
245208V13*Trim{wide_string} 209>7 210>7 211>7 7|643b13 672l8 672t12 682s24
246209a7 Source{wide_string} 7|644b8 648r25 649r25 652r41 656r41 669r24
247210r7 Left{8|45R9} 7|645b8 652r55
248211r7 Right{8|45R9} 7|646b8 656r56
249213U14*Trim 214=7 215>7 216>7 217>7 218>7 7|674b14 686l8 686t12
250214a7 Source{wide_string} 7|675b8 682r30 683m24
251215r7 Left{8|45R9} 7|676b8 682r38
252216r7 Right{8|45R9} 7|677b8 682r44
253217e7 Justify{5|29E9} 7|678b8 684r24
254218e7 Pad{wide_character} 7|679b8 685r24
255220V13*Head{wide_string} 221>7 222>7 223>7 7|217b13 237l8 237t12 246s24
256221a7 Source{wide_string} 7|218b7 225r19 226r20 226r28 226r44 229r23 229r41
257. 231r19
258222i7 Count{natural} 7|219b7 222r34 225r10 226r59 231r40
259223e7 Pad{wide_character} 7|220b7 232r27
260225U14*Head 226=7 227>7 228>7 229>7 7|239b14 251l8 251t12
261226a7 Source{wide_string} 7|240b7 246r30 247m24
262227i7 Count{natural} 7|241b7 246r38
263228e7 Justify{5|29E9} 7|242b7 249r24
264229e7 Pad{wide_character} 7|243b7 246r45 250r24
265231V13*Tail{wide_string} 232>7 233>7 234>7 7|498b13 520l8 520t12 529s24
266232a7 Source{wide_string} 7|499b7 506r18 507r20 507r28 507r55 512r32 516r26
267. 516r57
268233i7 Count{natural} 7|500b7 503r34 506r10 507r42 512r24 516r18 516r47
269234e7 Pad{wide_character} 7|501b7 513r27
270236U14*Tail 237=7 238>7 239>7 240>7 7|522b14 534l8 534t12
271237a7 Source{wide_string} 7|523b7 529r30 530m24
272238i7 Count{natural} 7|524b7 529r38
273239e7 Justify{5|29E9} 7|525b7 532r24
274240e7 Pad{wide_character} 7|526b7 529r45 533r24
275246V14*"*"{wide_string} 247>7 248>7 7|138b14 150l9 150t11
276247i7 Left{natural} 7|139b7 142r34
277248e7 Right{wide_character} 7|140b7 146r24
278250V14*"*"{wide_string} 251>7 252>7 7|152b14 166l9 166t11
279251i7 Left{natural} 7|153b7 156r34 160r21
280252a7 Right{wide_string} 7|154b7 156r41 161r31 161r52 162r23
281X 7 a-stwifi.adb
282142a7 Result{wide_string} 145r16 146m10 149r14
283145i11 J{integer} 146r18
284156a7 Result{wide_string} 161m10 165r14
285157i7 Ptr{integer} 161r18 161r25 162m10 162r17
286160i11 J{integer}
287188i13 Len{integer} 190r68
288189a13 Result{wide_string} 194r20
289222a7 Result{wide_string} 226m10 229m10 232m13 236r14
290231i14 J{integer} 232r21
291262a7 Result{wide_string} 269m7 271r14
292297i7 Sfirst{integer} 335r34 335r44 340r45 342r35 342r45 348r45
293298i7 Slast{integer} 332r34 332r57 340r65 348r55 349r43 349r66
294299i7 Slength{integer} 326r10 329r13 364r43 366r34 371r43 375r32 379r64 387r56
295. 389r42
296301i7 Tfirst{integer} 364r24 364r34 366r25 371r25 380r53 383r28
297302i7 Tlast{integer} 366r45 371r35 375r24 375r47 389r53
298303i7 Tlength{integer} 326r20 329r23 332r42 335r53 340r54 348r63 349r51 379r54
299305V16 Is_Padding{boolean} 305>28 312b16 321l11 321t21 340s25 348s25
300305a28 Item{wide_string} 312b28 314r19 315r16
301314i14 J{integer} 315r22
302366i20 J{integer} 367r27
303371i20 J{integer} 372r27
304379i19 Front_Pad{integer} 380r62
305380i19 Tfirst_Fpad{integer} 383r38 387r27 387r42 389r28
306383i23 J{integer} 384r30
307389i23 J{integer} 390r30
308411i13 Result_Length{natural} 416r40
309416a13 Result{wide_string} 419m13 421r20
310455i13 Front_Len{integer} 463r15 469r26 470r21 470r38 471r21
311459i13 Back_Len{integer} 463r39
312462i13 Result_Length{integer} 466r40
313466a13 Result{wide_string} 469m13 470m13 471m13 471r50 473r20
314503a7 Result{wide_string} 507m10 513m13 516m10 519r14
315512i14 J{integer} 513r21
316544a7 Result{wide_string} 548m10 551r14
317547i11 J{integer} 548r18 548r69
318559i11 J{integer} 560r18 560r48
319568a7 Result{wide_string} 572m10 575r14
320571i11 J{integer} 572r18 572r62
321583i11 J{integer} 584r18 584r41
322596i7 Low{natural} 601r16 601r45 602m13 602r20 607r24 614r10 621r56 622r23
323597i7 High{natural} 601r23 607r16 607r45 608m13 608r21 614r16 621r49 622r30
324621a13 Result{wide_string} 625r20
325648i7 Low{natural} 652r13 652r49 653m10 653r17 656r21 662r10 666r52 669r32
326649i7 High{natural} 652r20 656r13 656r49 657m10 657r18 662r16 666r45 669r39
327666A21 WS{wide_string}<integer> 669r20
328X 8 a-stwima.ads
32938K21*Wide_Maps 6|16w18 40r17 40r53 47r17 51r16 60r17 60r53 69r17 74r17 93r17
330. 93r53 99r17 103r16 107r16 116r16 127r17 131r17 135r17 139r17 210r16 211r16
331. 215r17 216r17 7|32w18 32r47 45r17 45r53 53r17 58r16 68r17 68r53 77r17 82r17
332. 102r17 102r53 109r17 114r16 119r16 128r16 542r17 556r17 566r17 580r17 645r17
333. 646r17 676r18 677r18 8|240e26
33445R9*Wide_Character_Set<3|43R9> 6|51r26 74r27 103r26 107r26 116r26 210r26
335. 211r26 215r27 216r27 7|58r26 82r27 114r26 119r26 128r26 645r27 646r27 676r28
336. 677r28 8|173e14
33794V13*Is_In{boolean} 7|652s34 656s34
338123R9*Wide_Character_Mapping<3|43R9> 6|40r27 60r27 93r27 127r27 131r27 7|45r27
339. 68r27 102r27 542r27 556r27 8|220e14
340127V13*Value{wide_character} 7|548s45 560s24
341131r4*Identity{123R9} 6|40r63 60r63 93r63 7|45r63 68r63 102r63
342146P9*Wide_Character_Mapping_Function(wide_character) 6|47r27 69r27 99r27
343. 135r27 139r27 7|53r27 77r27 109r27 566r27 580r27
344X 9 a-stwise.ads
34541K29*Wide_Search 7|33w18 47r24 54r24 61r24 70r24 78r24 86r24 91r24 97r24
346. 104r24 110r24 115r24 124r24 132r24 9|125e28
34744V13*Index{natural} 7|47r36
34851V13*Index{natural} 7|54r36
34957V13*Index{natural} 7|61r36
35063V13*Index{natural} 7|70r36
35171V13*Index{natural} 7|78r36
35278V13*Index{natural} 7|86r36
35385V13*Index_Non_Blank{natural} 7|91r36
35489V13*Index_Non_Blank{natural} 7|97r36
35594V13*Count{natural} 7|104r36
356100V13*Count{natural} 7|110r36
357105V13*Count{natural} 7|115r36
358109U14*Find_Token 7|124r36
359118U14*Find_Token 7|132r36
360
361