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_IMPLEMENTATION_ASPECT_SPECIFICATIONS

U system.spark%s	s-spark.ads		834f34af NE OL PU PK
W system%s		system.ads		system.ali

D system.ads		20250808065140 d0bef732 system%s
D s-spark.ads		20250808065140 53f1c39d system.spark%s
G a e
X 1 system.ads
37K9*System 156e11 2|35r9 39r5
X 2 s-spark.ads
35K16*SPARK 1|37k9 2|39l12 39e17