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_IMPLEMENTATION_ASPECT_SPECIFICATIONS

U system.spark%s	s-spark.ads		8a01cdc1 NE OL PU PK
W system%s		system.ads		system.ali

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

