V "GNAT Lib v6"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=i386
A -march=i386
P ZX

RN
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U system.address_to_access_conversions%s  s-atacco.ads  1bd4ddf8 NE OL PR PK GE
W system%s		system.ads		system.ali

D system.ads		20151123113124 57e20cd7 system%s
D s-atacco.ads		20120515093410 4c36d12f system.address_to_access_conversions%s
X 1 system.ads
37K9*System 148e11 2|39r9 63r5
67M9*Address 2|57r33 58r56
X 2 s-atacco.ads
37+9 Object 43r7 47r38
39k16*Address_To_Access_Conversions 1|37k9 2|37z9 63l12 63e41
47P9*Object_Pointer(37+9) 48r8 50r31 57r56 58r33
57V13*To_Pointer{47P9} 57>25 60b30
57m25 Value{1|67M9}
58V13*To_Address{1|67M9} 58>25 61b30
58p25 Value{47P9}

