V "GNAT Lib v15"
A -nostdinc
A -O2
A -Wextra
A -Wall
A -gnatwa
A -g
A -gnatp
A -gnatg
A -march=armv8-a
A -mlittle-endian
A -mabi=lp64
P ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS

U system.val_lllu%s	s-vallllu.ads		dadcb044 NE OL PR PK
Z ada.exceptions%s	a-except.adb		a-except.ali
W system%s		system.ads		system.ali
W system.spark%s	s-spark.ads		s-spark.ali
Z system.spark.cut_operations%s  s-spcuop.adb	s-spcuop.ali
W system.unsigned_types%s  s-unstyp.ads		s-unstyp.ali
Z system.val_util%s	s-valuti.adb		s-valuti.ali
W system.value_u%s

D ada.ads		20250808065140 76789da1 ada%s
D a-except.ads		20250808065140 e7970cd9 ada.exceptions%s
D a-unccon.ads		20250808065140 0e9b276f ada.unchecked_conversion%s
D system.ads		20250808065140 d0bef732 system%s
D s-casuti.ads		20250808065140 cf13d755 system.case_util%s
D s-parame.ads		20250808065140 3597fc11 system.parameters%s
D s-spark.ads		20250808065140 53f1c39d system.spark%s
D s-spcuop.ads		20250808065140 316dcc2a system.spark.cut_operations%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-vallllu.ads		20250808065140 34470a29 system.val_lllu%s
D s-valspe.ads		20250808065140 f810d31c system.val_spec%s
D s-valuti.ads		20250808065140 b4c455d7 system.val_util%s
D s-valueu.ads		20250808065140 a38d32a6 system.value_u%s
D s-valueu.adb		20250808065140 20fec113 system.value_u%b
D s-vauspe.ads		20250808065140 89269ba5 system.value_u_spec%s
D s-vslllu.ads		20250808065140 678200a0 system.vs_lllu%s
G a e
G c Z s s [scan_raw_unsigned system__val_lllu__impl 61 14 56_4]
G c Z s s [scan_unsigned system__val_lllu__impl 144 14 56_4]
G c Z s s [value_unsigned system__val_lllu__impl 178 13 56_4]
G c Z s s [lemma_digit_not_last system__val_lllu__impl 52 14 56_4]
G c Z s s [lemma_underscore_not_last system__val_lllu__impl 69 14 56_4]
X 4 system.ads
37K9*System 156e11 12|47r6 48r6 49r6 51r9 56r58 76r5
X 11 s-unstyp.ads
38K16*Unsigned_Types 256e26 12|47w13 54r39
47M9*Long_Long_Long_Unsigned 12|54r54
X 12 s-vallllu.ads
51K16*Val_LLLU 4|37k9 12|76l12 76e20
54M12*Long_Long_Long_Unsigned{11|47M9} 56r33 62r17 69r17 73r28
56K12*Impl[15|58] 63r14 70r14 74r14
58U14*Scan_Raw_Long_Long_Long_Unsigned=63:19
59a7 Str{string}
60p7 Ptr(integer)
61i7 Max{integer}
62m7 Res{11|47M9}
65U14*Scan_Long_Long_Long_Unsigned=70:19
66a7 Str{string}
67p7 Ptr(integer)
68i7 Max{integer}
69m7 Res{11|47M9}
72V13*Value_Long_Long_Long_Unsigned=74:19{11|47M9}
73a7 Str{string}
X 15 s-valueu.ads
58k16*Value_U 12|48w13 56r24 15|192e19
61U14*Scan_Raw_Unsigned 12|63r19[56]
144U14*Scan_Unsigned 12|70r19[56]
178V13*Value_Unsigned{11|47M9} 12|74r19[56]