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.cut_operations%b  s-spcuop.adb	a571a4dc NE OL PK
W system.spark%s	s-spark.ads		s-spark.ali

U system.spark.cut_operations%s  s-spcuop.ads	629c0fb7 NE OL PU PK
W system.spark%s	s-spark.ads		s-spark.ali

D system.ads		20250808065140 d0bef732 system%s
D s-spark.ads		20250808065140 53f1c39d system.spark%s
D s-spcuop.ads		20250808065140 316dcc2a system.spark.cut_operations%s
D s-spcuop.adb		20250808065140 941c68f6 system.spark.cut_operations%b
G a e
G c Z s b [by system__spark__cut_operations 42 13 none]
G c Z s b [so system__spark__cut_operations 50 13 none]
X 1 system.ads
37K9*System 156e11 3|36r9 57r5 4|32r14 42r5
X 2 s-spark.ads
35K16*SPARK 1|37k9 2|39e17 3|36r16 57r12 4|32r21 42r12
X 3 s-spcuop.ads
36K22*Cut_Operations 2|35k16 3|57l18 57e32 4|32b27 42l18 42t32