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_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS
RV NO_ELABORATION_CODE

U system.value_i_spec%b	s-vaispe.adb		594aee0b OL
W system%s		system.ads		system.ali

U system.value_i_spec%s	s-vaispe.ads		2308ea85 BN EE OL PR
W system%s		system.ads		system.ali

D system.ads		20250808065140 d0bef732 system%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
G a e
G c Z s b [value_i_spec system 62 16 none]
X 1 system.ads
37K9*System 156e11 3|49r6 50r6 50r27 60r31 62r9 185r5 4|38r14 87r5
80V14*">="{boolean} 3|160r28