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

RN
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS

U strings_edit.utf8.superscript%b  strings_edit-utf8-superscript.adb  3f33c37a NE OO PK
W strings_edit.utf8%s	strings_edit-utf8.adb	strings_edit-utf8.ali

U strings_edit.utf8.superscript%s  strings_edit-utf8-superscript.ads  d7da2f78 EE NE OO PK
W strings_edit.utf8%s	strings_edit-utf8.adb	strings_edit-utf8.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 a-unccon.ads		20260713161458 0e9b276f ada.unchecked_conversion%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-superscript.ads  20260805193057 4498a136 strings_edit.utf8.superscript%s
D strings_edit-utf8-superscript.adb  20260805193057 7bab624c strings_edit.utf8.superscript%b
D system.ads		20260713161458 e2b7c99d system%s
D s-exctab.ads		20260713161458 91bef6ef system.exception_table%s
D s-stalib.ads		20260713161458 1c9580f6 system.standard_library%s
D s-unstyp.ads		20260713161458 fa2a7f59 system.unsigned_types%s
G a e
G c Z s b [get_digit strings_edit__utf8__superscript 43 14 none]
G c Z s b [get_sign strings_edit__utf8__superscript 60 14 none]
G c Z s b [put_digit strings_edit__utf8__superscript 80 14 none]
G c Z s b [put_sign strings_edit__utf8__superscript 100 14 none]
G r c none [get_sign strings_edit__utf8__superscript 60 14 none] [get strings_edit 163 14 none]
G r c none [put_digit strings_edit__utf8__superscript 80 14 none] [reverse_put strings_edit__utf8 221 14 none]
G r c none [put_sign strings_edit__utf8__superscript 100 14 none] [reverse_put strings_edit__utf8 221 14 none]
X 7 strings_edit.ads
132K9*Strings_Edit 335e17 10|28r9 106r5 11|28r14 154r5
163U14*Get 11|54s16 58s16
X 9 strings_edit-utf8.ads
31K22*UTF8 7|132k9 9|232e22 10|28r22 106r18 11|28r27 154r18
49I9*Script_Digit<short_short_integer> 10|83r31 11|121r31
50E9*Sign 50e36 10|63r31 103r31 11|37r31 141r31
50n18*Minus{50E9} 11|56r27 145r15
50n25*None{50E9} 11|40r18 147r15
50n31*Plus{50E9} 11|52r27 149r15
221U14 Reverse_Put 11|125s20 126s20 127s20 128s20 129s20 130s20 131s20 132s20
. 133s20 134s20 146s13 150s13
X 10 strings_edit-utf8-superscript.ads
28K27*Superscript 9|31k22 10|43E14 106l23 106e34 11|28b32 154l23 154t34
43U14 Get_Digit 44>17 45=17 46<17 11|65b14 116l8 116t17
44a17 Source{string} 11|66b17 72r19 76r12 81r18 91r28 93r19 99r18
45i17 Pointer{integer} 11|67b17 70r26 115m7
46i17 Digit{natural} 11|68b17 73m10 82m44 83m44 84m44 86m19 96m16 100m44
. 101m44 102m44 103m44 104m44 105m44 106m44 108m19 112m13
60U14 Get_Sign 61>17 62=17 63<17 11|34b14 63l8 63t16
61a17 Source{string} 11|35b17 41r23 43r13 45r13 47r27 50r15 54r21 58r21
62i17 Pointer{integer} 11|36b17 41r13 43r21 45r21 47r13 50r23 53m16 53r27
. 54m29 57m16 57r27 58m29
63e17 Sign_Of{9|50E9} 11|37b17 40m7 52m16 56m16
80U14 Put_Digit 81=17 82=17 83>17 11|118b14 136l8 136t17
81a17 Destination{string} 11|119b17 125m33 126m33 127m33 128m33 129m33 130m33
. 131m33 132m33 133m33 134m33
82i17 Pointer{integer} 11|120b17 125m46 126m46 127m46 128m46 129m46 130m46
. 131m46 132m46 133m46 134m46
83i17 Digit{9|49I9} 11|121b17 124r12
100U14 Put_Sign 101=17 102=17 103>17 11|138b14 152l8 152t16
101a17 Destination{string} 11|139b17 146m26 150m26
102i17 Pointer{integer} 11|140b17 146m39 150m39
103e17 Sign_Of{9|50E9} 11|141b17 144r12
X 11 strings_edit-utf8-superscript.adb
30a4 Page_00{string} 126r55 127r55 128r55
31a4 Page_32{string} 125r55 129r55 130r55 131r55 132r55 133r55 134r55 146r48
. 150r48
70i7 Index{integer} 72r10 76r20 81r26 90m13 90r22 91r19 93r27 99r26 115r18

