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.subscript%b  strings_edit-utf8-subscript.adb  8d9880c3 NE OO PK
W strings_edit.utf8%s	strings_edit-utf8.adb	strings_edit-utf8.ali

U strings_edit.utf8.subscript%s  strings_edit-utf8-subscript.ads  420f63d4 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-subscript.ads  20260805193057 d14ded9a strings_edit.utf8.subscript%s
D strings_edit-utf8-subscript.adb  20260805193057 5cd56d59 strings_edit.utf8.subscript%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__subscript 43 14 none]
G c Z s b [get_sign strings_edit__utf8__subscript 60 14 none]
G c Z s b [put_digit strings_edit__utf8__subscript 80 14 none]
G c Z s b [put_sign strings_edit__utf8__subscript 100 14 none]
G r c none [get_sign strings_edit__utf8__subscript 60 14 none] [get strings_edit 163 14 none]
G r c none [put_digit strings_edit__utf8__subscript 80 14 none] [reverse_put strings_edit__utf8 221 14 none]
G r c none [put_sign strings_edit__utf8__subscript 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 119r5
163U14*Get 11|53s16 57s16
X 9 strings_edit-utf8.ads
31K22*UTF8 7|132k9 9|232e22 10|28r22 106r18 11|28r27 119r18
49I9*Script_Digit<short_short_integer> 10|83r31 11|92r31
50E9*Sign 50e36 10|63r31 103r31 11|36r31 106r31
50n18*Minus{50E9} 11|55r27 110r15
50n25*None{50E9} 11|39r18 112r15
50n31*Plus{50E9} 11|51r27 114r15
221U14 Reverse_Put 11|95s7 111s13 115s13
X 10 strings_edit-utf8-subscript.ads
28K27*Subscript 9|31k22 10|43E14 106l23 106e32 11|28b32 119l23 119t32
43U14 Get_Digit 44>17 45=17 46<17 11|64b14 87l8 87t17
44a17 Source{string} 11|65b17 71r22 73r13 75r13 77r26 79r28 84r36
45i17 Pointer{integer} 11|66b17 69r35 85m10
46i17 Digit{natural} 11|67b17 82m10 84m10
60U14 Get_Sign 61>17 62=17 63<17 11|33b14 62l8 62t16
61a17 Source{string} 11|34b17 40r23 42r13 44r13 46r27 49r15 53r21 57r21
62i17 Pointer{integer} 11|35b17 40r13 42r21 44r21 46r13 49r23 52m16 52r27
. 53m29 56m16 56r27 57m29
63e17 Sign_Of{9|50E9} 11|36b17 39m7 51m16 55m16
80U14 Put_Digit 81=17 82=17 83>17 11|89b14 101l8 101t17
81a17 Destination{string} 11|90b17 96m10
82i17 Pointer{integer} 11|91b17 97m10
83i17 Digit{9|49I9} 11|92b17 99r25
100U14 Put_Sign 101=17 102=17 103>17 11|103b14 117l8 117t16
101a17 Destination{string} 11|104b17 111m26 115m26
102i17 Pointer{integer} 11|105b17 111m39 115m39
103e17 Sign_Of{9|50E9} 11|106b17 109r12
X 11 strings_edit-utf8-subscript.adb
30a4 Page_32{string} 98r10 111r48 115r48
69i7 Index{integer} 71r13 73r21 75r21 77r13 79r36 84r44 85r21

