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_IMPLICIT_CONDITIONALS
RV NO_LONG_LONG_INTEGERS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS
RV NO_ELABORATION_CODE

U system.vs_lli%s	s-vs_lli.ads		9e6424dd EE OL PR
W system%s		system.ads		system.ali
W system.unsigned_types%s  s-unstyp.ads		s-unstyp.ali

D system.ads		20250808065140 d0bef732 system%s
D s-unstyp.ads		20250808065140 fa2a7f59 system.unsigned_types%s
D s-valspe.ads		20250808065140 f810d31c system.val_spec%s
D s-vaispe.ads		20250808065140 8280550e system.value_i_spec%s
D s-vaispe.adb		20250808065140 dbcabb05 system.value_i_spec%b
D s-vauspe.ads		20250808065140 89269ba5 system.value_u_spec%s
D s-vs_lli.ads		20250808065140 b945cf7d system.vs_lli%s
D s-vs_llu.ads		20250808065140 8f3536c5 system.vs_llu%s
G a e
G c Z s s [uns_is_valid_int system__vs_lli__spec 70 13 57_4]
G c Z s s [is_int_of_uns system__vs_lli__spec 77 13 57_4]
G c Z s s [abs_uns_of_int system__vs_lli__spec 91 13 57_4]
G c Z s s [slide_to_1 system__vs_lli__spec 97 13 57_4]
G c Z s s [slide_if_necessary system__vs_lli__spec 105 13 57_4]
G c Z s s [is_integer_ghost system__vs_lli__spec 109 13 57_4]
G c Z s s [is_value_integer_ghost system__vs_lli__spec 136 13 57_4]
G c Z s s [prove_scan_only_decimal_ghost system__vs_lli__spec 156 14 57_4]
X 1 system.ads
37K9*System 156e11 7|48r6 49r6 50r6 52r9 57r24 58r46 60r5
X 2 s-unstyp.ads
38K16*Unsigned_Types 256e26 7|48w13 55r34
46M9*Long_Long_Unsigned 7|55r49