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

RN
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_STANDARD_STORAGE_POOLS
RV NO_ELABORATION_CODE
RV SPARK_05

U system.finalization_root%b  s-finroo.adb	95817ed8 NE OL PK
W system%s		system.ads		system.ali

U system.finalization_root%s  s-finroo.ads	68b01d32 EE OL PR PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.streams%s		a-stream.adb		a-stream.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W system%s		system.ads		system.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali

D ada.ads		20170106053348 76789da1 ada%s
D a-except.ads		20151016083252 291912d5 ada.exceptions%s
D a-stream.ads		20141120062812 119b8fb3 ada.streams%s
D a-tags.ads		20151016090316 01f5e3ef ada.tags%s
D a-unccon.ads		20170106053348 31484697 ada.unchecked_conversion%s
D system.ads		20161011141908 27426ea2 system%s
D s-exctab.ads		20140225101140 54135002 system.exception_table%s
D s-finroo.ads		20120426055924 4ff27390 system.finalization_root%s
D s-finroo.adb		20090409110020 da730d48 system.finalization_root%b
D s-parame.ads		20140801053848 7e2a0d7f system.parameters%s
D s-soflin.ads		20151020084036 14e1eb6c system.soft_links%s
D s-stache.ads		20140225101140 a37c21ec system.stack_checking%s
D s-stalib.ads		20151112054908 09bd3940 system.standard_library%s
D s-stoele.ads		20140225101140 2dc34a04 system.storage_elements%s
D s-stoele.adb		20140801053848 ed88f8fb system.storage_elements%b
D s-traent.ads		20140730095026 005bf670 system.traceback_entries%s
X 6 system.ads
37K9*System 148e11 8|34r9 46r5 9|32r14 63r5
X 8 s-finroo.ads
34K16*Finalization_Root 6|37k9 8|46l12 46e29 9|32b21 63l12 63t29
40H9*Root_Controlled 40e55 42p14 42r42 43p14 43r42 44p14 44r42 9|40r38 49r40
. 58r42
42U14*Adjust 42=26 9|40b14 43l8 43t14
42r26 Object{40R9} 9|40b22
43U14*Finalize 43=26 9|49b14 52l8 52t16
43r26 Object{40R9} 9|49b24
44U14*Initialize 44=26 9|58b14 61l8 61t18
44r26 Object{40R9} 9|58b26