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

RN
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_ELABORATION_CODE
RV SPARK_05

U system.storage_pools%b  s-stopoo.adb		6d4d969a NE OL PK
Z ada.tags%s		a-tags.adb		a-tags.ali
W system%s		system.ads		system.ali

U system.storage_pools%s  s-stopoo.ads		04aff00f EE OL PR PK
W ada%s			ada.ads			ada.ali
W ada.finalization%s	a-finali.ads		a-finali.ali
Z ada.tags%s		a-tags.adb		a-tags.ali
W system%s		system.ads		system.ali
Z system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali

D ada.ads		20210408145628 76789da1 ada%s
D a-except.ads		20210408145628 a7106115 ada.exceptions%s
D a-finali.ads		20210408145628 bf4f806b ada.finalization%s
D a-stream.ads		20210408145628 119b8fb3 ada.streams%s
D a-tags.ads		20210408145628 491b781d ada.tags%s
D a-unccon.ads		20210408145628 0e9b276f ada.unchecked_conversion%s
D system.ads		20210408145628 27426ea2 system%s
D s-exctab.ads		20210408145628 54135002 system.exception_table%s
D s-finroo.ads		20210408145628 4ff27390 system.finalization_root%s
D s-parame.ads		20210408145628 48ec542b system.parameters%s
D s-secsta.ads		20210408145628 20bbe636 system.secondary_stack%s
D s-soflin.ads		20210408145628 a7318a92 system.soft_links%s
D s-stache.ads		20210408145628 a37c21ec system.stack_checking%s
D s-stalib.ads		20210408145628 09bd3940 system.standard_library%s
D s-stoele.ads		20210408145628 2dc34a04 system.storage_elements%s
D s-stoele.adb		20210408145628 ed88f8fb system.storage_elements%b
D s-stopoo.ads		20210408145628 b16154c2 system.storage_pools%s
D s-stopoo.adb		20210408145628 dc2cc258 system.storage_pools%b
D s-traent.ads		20210408145628 005bf670 system.traceback_entries%s
G a e
G c Z s b [allocate_any system__storage_pools 88 14 none]
G c Z s b [deallocate_any system__storage_pools 94 14 none]
G c Z s s [root_storage_poolDF system__storage_pools 66 9 none]
G c Z s s [root_storage_poolIP system__storage_pools 66 9 none]
X 1 ada.ads
16K9*Ada 20e8 17|36r6 43r10 67r10
X 3 a-finali.ads
40K13*Finalization 68e21 17|36w10 43r14 67r14
50H9*Limited_Controlled<9|40R9> 66e55 17|43r27 67r27
53U14*Initialize<9|44p14>
54U14*Finalize<9|43p14>
X 7 system.ads
37K9*System 148e11 17|37r6 39r9 48r38 49r34 50r34 55r34 56r34 57r34 62r14
. 90r37 91r33 92r33 96r33 97r33 98r33 100r5 18|32r14 40r37 41r33 42r33 54r33
. 55r33 56r33 62r5
67M9*Address 17|48r45 55r41 90r44 96r40 18|40r44 54r40
X 9 s-finroo.ads
42U14*Adjust
X 15 s-stoele.ads
42K16*Storage_Elements 117e28 17|37w13 49r41 50r41 56r41 57r41 62r21 91r40
. 92r40 97r40 98r40 18|41r40 42r40 55r40 56r40
54I9*Storage_Offset<integer>
62I12*Storage_Count{54I9} 17|49r58 50r58 56r58 57r58 62r38 91r57 92r57 97r57
. 98r57 18|41r57 42r57 55r57 56r57
X 17 s-stopoo.ads
39K16*Storage_Pools 7|37k9 17|66E9 100l12 100e25 18|32b21 62l12 62t25
42H9*Root_Storage_Pool<3|50R9> 3|53P14 54P14 9|42p14 17|44r41 46p14 47r41
. 53p14 54r41 60p13 61r14 66c9 67e62 69r45 89r40 95r40 18|39r40 53r40
46x14*Allocate 47=7 48<7 49>7 50>7 18|45R7
47r7 Pool{42R9}
48m7 Storage_Address{7|67M9}
49i7 Size_In_Storage_Elements{15|62I12}
50i7 Alignment{15|62I12}
53x14*Deallocate 54=7 55>7 56>7 57>7 18|59R7
54r7 Pool{42R9}
55m7 Storage_Address{7|67M9}
56i7 Size_In_Storage_Elements{15|62I12}
57i7 Alignment{15|62I12}
60y13*Storage_Size{15|62I12} 61>7
61r7 Pool{42R9}
69P9 Root_Storage_Pool_Ptr(42R9) 70r8
88U14 Allocate_Any 89=6 90<6 91>6 92>6 18|38b14 46l8 46t20
89c6 Pool<42R9> 18|39b6 45m17
90m6 Storage_Address{7|67M9} 18|40b6 45m23
91i6 Size_In_Storage_Elements{15|62I12} 18|41b6 45r40
92i6 Alignment{15|62I12} 18|42b6 45r66
94U14 Deallocate_Any 95=6 96>6 97>6 98>6 18|52b14 60l8 60t22
95c6 Pool<42R9> 18|53b6 59m19
96m6 Storage_Address{7|67M9} 18|54b6 59r25
97i6 Size_In_Storage_Elements{15|62I12} 18|55b6 59r42
98i6 Alignment{15|62I12} 18|56b6 59r68