V "GNAT Lib v16"
A -O2
A -gnatA
A -g
A -gnato
A -gnatf
A -gnatn
A -fstack-check=specific
A -fPIC
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_IMPLEMENTATION_PRAGMAS

U strings_edit.utf8.superscript.integer_edit%s  strings_edit-utf8-superscript-integer_edit.ads  6b68b34e NE OO PK GE
W strings_edit%s	strings_edit.adb	strings_edit.ali
W strings_edit.utf8%s	strings_edit-utf8.adb	strings_edit-utf8.ali
W strings_edit.utf8.integer_edit%s  strings_edit-utf8-integer_edit.adb  strings_edit-utf8-integer_edit.ali
W strings_edit.utf8.superscript%s  strings_edit-utf8-superscript.adb  strings_edit-utf8-superscript.ali

D ada.ads		20260713161458 76789da1 ada%s
D a-charac.ads		20260713161458 2d3ec45b ada.characters%s
D a-chlat1.ads		20260713161458 e0d72e76 ada.characters.latin_1%s
D a-string.ads		20260713161458 90ac6797 ada.strings%s
D a-strmap.ads		20260713161458 f7e6ca10 ada.strings.maps%s
D strings_edit.ads	20260805193057 7d801be5 strings_edit%s
D strings_edit-lexicographical_order.ads  20260805193057 8d7febff strings_edit.lexicographical_order%s
D strings_edit-utf8.ads	20260805193057 93428e4e strings_edit.utf8%s
D strings_edit-utf8-integer_edit.ads  20260805193057 d50bf695 strings_edit.utf8.integer_edit%s
D strings_edit-utf8-superscript.ads  20260805193057 4498a136 strings_edit.utf8.superscript%s
D strings_edit-utf8-superscript-integer_edit.ads  20260805193057 fafbe4ed strings_edit.utf8.superscript.integer_edit%s
D system.ads		20260713161458 e2b7c99d system%s
D s-unstyp.ads		20260713161458 fa2a7f59 system.unsigned_types%s
G a e
X 6 strings_edit.ads
132K9*Strings_Edit 335e17 11|28r6 32r9 147r24 179r5
145I12*NumberBase{integer}
X 8 strings_edit-utf8.ads
31K22*UTF8 6|132k9 8|232e22 11|28r19 32r22 147r37 179r18
45I12*Script_Base{6|145I12} 11|59r27 92r26 122r31 142r26 152r27 160r26 170r31
. 175r26
X 9 strings_edit-utf8-integer_edit.ads
53k27*Integer_Edit 167e35 11|28w24 147r42
76U14 Get 11|157r30[147]
111V13 Value 11|165r48[147]
139U14 Put 11|172r30[147]
161V13 Image{string} 11|177r43[147]
X 10 strings_edit-utf8-superscript.ads
28K27*Superscript 8|31k22 10|106e34 11|32r27 179r23
43U14 Get_Digit 9|33i19
60U14 Get_Sign 9|38i19
80U14 Put_Digit 9|43i19
100U14 Put_Sign 9|48i19
X 11 strings_edit-utf8-superscript-integer_edit.ads
31I9 Number 58r31 60r27 60r42 61r27 61r42 93r29 93r44 94r26 94r44 97r23 121r31
. 141r26 147r56 151r31 153r27 153r42 154r27 154r42 161r29 161r44 162r26 162r44
. 165r23 169r31 174r26
32k39*Integer_Edit 10|28k27 11|31z9 147E12 179l35 179e47
55U14*Get 56>17 57=17 58<17 59>17 60>17 61>17 62>17 63>17 148b14
56a17 Source{string} 149b17
57i17 Pointer{integer} 150b17
58*17 Value 151b17
59i17 Base{8|45I12} 152b17
60*17 First 153b17
61*17 Last 154b17
62b17 ToFirst{boolean} 155b17
63b17 ToLast{boolean} 156b17
90V13*Value 91>16 92>16 93>16 94>16 95>16 96>16 158b13
91a16 Source{string} 159b16
92i16 Base{8|45I12} 160b16
93*16 First 161b16
94*16 Last 162b16
95b16 ToFirst{boolean} 163b16
96b16 ToLast{boolean} 164b16
118U14*Put 119=17 120=17 121>17 122>17 123>17 166b14
119a17 Destination{string} 167b17
120i17 Pointer{integer} 168b17
121*17 Value 169b17
122i17 Base{8|45I12} 170b17
123b17 PutPlus{boolean} 171b17
140V13*Image{string} 141>16 142>16 143>16 173b13
141*16 Value 174b16
142i16 Base{8|45I12} 175b16
143b16 PutPlus{boolean} 176b16
147K12 Edit[9|53] 157r25 165r43 172r25 177r38

