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_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV SPARK

U gnat.decode_string%b	g-decstr.adb		4343bc84 NE OL PK GE
W gnat%s		gnat.ads		gnat.ali
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W system.wch_cnv%s	s-wchcnv.adb		s-wchcnv.ali
W system.wch_con%s	s-wchcon.adb		s-wchcon.ali

U gnat.decode_string%s	g-decstr.ads		d6134552 BN NE OL PU PK GE
W gnat%s		gnat.ads		gnat.ali
W system%s		system.ads		system.ali
W system.wch_con%s	s-wchcon.adb		s-wchcon.ali

D gnat.ads		20121213103024 fd2ad2f1
D g-decstr.ads		20121213103024 94d2b99e
D g-decstr.adb		20121213103024 641d8e1b
D interfac.ads		20121213103024 129923ea
D system.ads		20121213103024 90249111
D s-wchcnv.ads		20121213103024 1efe86d6
D s-wchcon.ads		20121213103024 bfeb2e3d
X 1 gnat.ads
34K9*GNAT 37e9 2|66r9 161r5 3|40r14 970r5
X 2 g-decstr.ads
64i4 Encoding_Method{7|94I9} 3|152r10 253r16 264r46 314r10 411r10 535r10
. 625r13 731r10 836r13
66k14*Decode_String 1|34k9 2|64z4 161l10 161e23 3|40b19 970l10 970t23
69V13*Decode_Wide_String{wide_string} 69>33 70r19 3|88b13 94l8 94t26
69s33 S{string} 3|88b33 89r34 92r27
76U14*Decode_Wide_String 77>7 78<7 79<7 3|92s7 96b14 114l8 114t26
77s7 S{string} 3|97b7 104r14 106r20 112r33
78s7 Result{wide_string} 3|98b7 107r23 112m41 112r41
79i7 Length{natural} 3|99b7 105m7 107r13 111m10 111r20 112r49
88V13*Decode_Wide_Wide_String{wide_wide_string} 88>38 89r19 3|274b13 280l8
. 280t31
88s38 S{string} 3|274b38 275r39 278r32
92U14*Decode_Wide_Wide_String 93>7 94<7 95<7 3|278s7 282b14 300l8 300t31
93s7 S{string} 3|283b7 290r14 292r20 298r38
94s7 Result{wide_wide_string} 3|284b7 293r23 298m46 298r46
95i7 Length{natural} 3|285b7 291m7 293r13 297m10 297r20 298r54
98V13*Validate_Wide_String{boolean} 98>35 3|934b13 948l8 948t28
98s35 S{string} 3|934b35 938r14 939r20 940r31
106V13*Validate_Wide_Wide_String{boolean} 106>40 3|954b13 968l8 968t33
106s40 S{string} 3|954b40 958r14 959r20 960r36
110U14*Decode_Wide_Character 111>7 112=7 113<7 114r19 3|68b14 82l8 82t29
. 112s10 398s13 701s16
111s7 Input{string} 3|69b7 75r35
112i7 Ptr{natural} 3|70b7 75m42
113e7 Result{wide_character} 3|71b7 80m10
123U14*Decode_Wide_Wide_Character 124>7 125=7 126<7 3|75s7 120b14 268l8 268t34
. 298s10 509s13 912s16
124s7 Input{string} 3|121b7 137r20 139r20 255r31 255r50
125i7 Ptr{natural} 3|122b7 137r13 138m13 138r20 139r27 255r25 255r57
126e7 Result{wide_wide_character} 3|123b7 188m16 195m16 203m16 214m16 226m16
. 257m16 262m16
129U14*Next_Wide_Character 129>35 129=51 3|306b14 401l8 401t27 652s22 940s10
129s35 Input{string} 3|306b35 308r16 333r25 336r52 398r36
129i51 Ptr{natural} 3|306b51 308r10 333r19 336r59 337m19 337r26 398m43
138U14*Prev_Wide_Character 138>35 138=51 3|527b14 717l8 717t27
138s35 Input{string} 3|527b35 529r16 554r26 558r52 633r22 634r24 635r24 642r27
. 645r25 646r30 652r43 675r25 693r21 701r39
138i51 Ptr{natural} 3|527b51 529r10 554r19 557m19 557r26 558r59 633r16 634r31
. 635r31 637r21 641r27 656r29 657m25 675r19 678m19 678r26 695r16 703r26 704m19
. 707r29
153U14*Next_Wide_Wide_Character 153>40 153=56 3|407b14 512l8 512t32 863s22
. 960s10
153s40 Input{string} 3|407b40 430r25 433r52 454r22 509r41
153i56 Ptr{natural} 3|407b56 430r19 433r59 434m19 434r26 454r16 509m48
157U14*Prev_Wide_Wide_Character 157>40 157=56 3|723b14 928l8 928t32
157s40 Input{string} 3|723b40 725r16 750r26 754r52 844r22 845r24 846r24 853r27
. 856r25 857r30 863r48 886r25 904r21 912r44
157i56 Ptr{natural} 3|723b56 725r10 750r19 753m19 753r26 754r59 844r16 845r31
. 846r31 848r21 852r27 867r29 868m25 886r19 889m19 889r26 906r16 914r26 915m19
. 918r29
X 3 g-decstr.adb
46U14 Bad 47r22 58b14 62l8 62t11 78s10 172s19 237s16 350s19 388s16 447s19
. 499s16 571s19 617s22 643s22 660s25 670s16 708s19 714s16 767s19 826s28 854s22
. 871s25 881s16 919s19 925s16
50U14 Past_End 51r22 108s13 141s13 294s13 309s10 334s19 431s19 455s16 518b14
. 521l8 521t16 530s10 555s19 676s19 696s16 726s10 751s19 887s19 907s16
73e7 Char{wide_wide_character} 75m47 77r35 80r65
89a7 Result{wide_string} 92m30 93r14
90i7 Length{natural} 92m38 93r27
101i7 Ptr{natural} 104m7 106r13 112m36 112r36
125e7 C{character} 148m7 183r46 188r66 254r24 264r43
127V16 In_Char{character} 128r22 135b16 143l11 143t18 148s12 169s49 246r44
153q10 UTF8 239l14 239e18
154m13 U{4|61M9} 169m16 171r20 175r43 183m13 187r17 192r20 193r21 199r20
. 200r21 207r20 208r21 219r20 220r21
155m13 W{4|61M9} 175m16 175r33 193m16 195r51 200m16 203r51 208m16 214r51
. 220m16 226r51
157U23 Get_UTF_Byte 158r28 167b23 176l17 176t29 194s16 201s16 202s16 211s19
. 223s19
210i20 K{integer}
222i20 K{integer}
244q10 Non_UTF8 266l14 266e22
245V22 Char_Sequence_To_UTF[6|83]{6|53I9} 264s21
275a7 Result{wide_wide_string} 278m35 279r14
276i7 Length{natural} 278m43 279r27
287i7 Ptr{natural} 290m7 292r13 298m41 298r41
315q10 UTF8 390l14 390e18
316m13 U{4|61M9} 336m19 349r20 361r17 366r20 371r20
318U23 Getc 319r28 331b23 339l17 339t21 347s16 359s13
323U23 Skip_UTF_Byte 324r28 345b23 352l17 352t30 367s16 372s16 373s16
396e13 Discard{wide_character} 398m48
412q10 UTF8 501l14 501e18
413m13 U{4|61M9} 433m19 446r20 462r17 467r20 472r20 478r20 486r20
415U23 Getc 416r28 428b23 436l17 436t21 444s16 460s13
420U23 Skip_UTF_Byte 421r28 442b23 449l17 449t30 468s16 473s16 474s16 480s19
. 488s19
479i20 K{integer}
487i20 K{integer}
507e13 Discard{wide_wide_character} 509m53
536q10 UTF8 621l14 621e18
537m13 U{4|61M9} 558m19 568r20 582r17 590r20 598r23
539U23 Getc 540r28 552b23 560l17 560t21 569s19 580s13
544U23 Skip_UTF_Byte 545r28 566b23 573l17 573t30 588s16 596s19
626q10 Brackets 681l14 681e22
627i13 P{natural} 637m16 641r22 642r22 645r32 646r37 650r27 651m22 652m50
. 652r50 656r25 664m19 664r24
628i13 S{natural} 650m22 651r27 657r32
687q10 Non_UTF_Brackets 715l14 715e30
688e13 Discard{wide_character} 701m52
689i13 PtrS{natural} 693m13 695r23 700r24 701m46 701r46 703r19 707r22
690i13 PtrP{natural} 700m16 704r26
732q10 UTF8 832l14 832e18
733m13 U{4|61M9} 754m19 764r20 778r17 786r20 794r23 803r26 813r29
735U23 Getc 736r28 748b23 756l17 756t21 765s19 776s13
740U23 Skip_UTF_Byte 741r28 762b23 769l17 769t30 784s16 792s19 801s22 811s25
837q10 Brackets 892l14 892e22
838i13 P{natural} 848m16 852r22 853r22 856r32 857r37 861r27 862m22 863m55
. 863r55 867r25 875m19 875r24
839i13 S{natural} 861m22 862r27 868r32
898q10 Non_UTF8_Brackets 926l14 926e31
899e13 Discard{wide_wide_character} 912m57
900i13 PtrS{natural} 904m13 906r23 911r24 912m51 912r51 914r19 918r22
901i13 PtrP{natural} 911m16 915r26
935i7 Ptr{natural} 938m7 939r13 940m34 940r34
955i7 Ptr{natural} 958m7 959r13 960m39 960r39
X 4 interfac.ads
36K9*Interfaces 3|35w6 35r22 4|175e15
61M9*Unsigned_32 3|154r17 155r17 169r21 183r18 316r17 336r24 413r17 433r24
. 537r17 558r24 733r17 754r24
107V13*Shift_Left{61M9} 3|175s21
X 5 system.ads
37K9*System 2|61r6 64r22 3|37r6 37r26 38r6 38r26 5|152e11
X 6 s-wchcnv.ads
50K16*WCh_Cnv 3|37w13 37r33 6|116e19
53I9*UTF_32_Code<integer>
83v13*Char_Sequence_To_UTF_32 3|246r19
X 7 s-wchcon.ads
41K16*WCh_Con 2|61w13 64r29 3|38w13 38r33 7|220e19
94I9*WC_Encoding_Method<short_short_integer> 2|64r37
134i4*WCEM_UTF8{94I9} 3|152r28 314r28 411r28 535r28 731r28
156i4*WCEM_Brackets{94I9} 3|253r34 625r31 836r31