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