V "GNAT Lib v15"
A -nostdinc
A -O2
A -Wextra
A -Wall
A -gnatwa
A -fno-checking
A -g
A -gnatp
A -gnatg
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS
RV NO_IMPLEMENTATION_PRAGMAS

U system.wid_llu%s	s-widllu.ads		36976ffe NE OL PK
W ada%s			ada.ads			ada.ali
W ada.numerics%s	a-numeri.ads		a-numeri.ali
W ada.numerics.big_numbers%s  a-nubinu.ads	a-nubinu.ali
W system%s		system.ads		system.ali
W system.unsigned_types%s  s-unstyp.ads		s-unstyp.ali
W system.width_u%s

D ada.ads		20250808065140 76789da1 ada%s
D a-assert.ads		20250808065140 ba465f5c ada.assertions%s
D a-except.ads		20250808065140 e7970cd9 ada.exceptions%s
D a-numeri.ads		20250808065140 84bea7a3 ada.numerics%s
D a-nubinu.ads		20250808065140 93f1f3d1 ada.numerics.big_numbers%s
D a-nbnbig.ads		20250808065140 31ff4aa1 ada.numerics.big_numbers.big_integers_ghost%s
D a-nbnbig.adb		20250808065140 e7f9abf0 ada.numerics.big_numbers.big_integers_ghost%b
D a-unccon.ads		20250808065140 0e9b276f ada.unchecked_conversion%s
D system.ads		20260718125311 d9f00e5c system%s
D s-assert.ads		20250808065140 9c4520c7 system.assertions%s
D s-exctab.ads		20250808065140 91bef6ef system.exception_table%s
D s-parame.ads		20250808065140 3597fc11 system.parameters%s
D s-stalib.ads		20250808065140 1c9580f6 system.standard_library%s
D s-traent.ads		20250808065140 c81cbf8c system.traceback_entries%s
D s-unstyp.ads		20250808065140 fa2a7f59 system.unsigned_types%s
D s-widllu.ads		20250808065140 a6620b19 system.wid_llu%s
D s-widthu.ads		20250808065140 b32f15e2 system.width_u%s
D s-widthu.adb		20250808065140 6d87d7d1 system.width_u%b
G a e
G c Z s s [to_big_integer system__wid_llu__width_uns__unsigned_conversion 140 16 62_4_53_4]
G c Z s s [from_big_integer system__wid_llu__width_uns__unsigned_conversion 145 16 62_4_53_4]
G c Z s s [max_log10 system__wid_llu__width_uns 71 13 53_4]
G c Z s s [width system__wid_llu__width_uns 81 13 53_4]
X 9 system.ads
37K9*System 148e11 16|45r6 46r6 48r9 60r5
X 15 s-unstyp.ads
38K16*Unsigned_Types 256e26 16|46w13 51r34
46M9*Long_Long_Unsigned 16|51r49
X 16 s-widllu.ads
48K16*Wid_LLU 9|37k9 16|60l12 60e19
51M12*Long_Long_Unsigned{15|46M9} 53r38 56r16
53K12*Width_Uns[17|53] 58r15
55V13*Width_Long_Long_Unsigned=58:25{natural}
56m7 Lo{15|46M9}
56m11 Hi{15|46M9}
X 17 s-widthu.ads
53k16*Width_U 16|45w13 53r29 17|93e19
81V13*Width{natural} 16|58r25[53]

