V "GNAT Lib v5"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_DISPATCHING_CALLS
RV NO_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_ELABORATION_CODE
RV SPARK_05

U ada.synchronous_task_control%b  a-sytaco.adb	3c1c3c3b NE OL PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W system%s		system.ads		system.ali
W system.task_primitives%s  s-taspri.ads	s-taspri.ali
W system.task_primitives.operations%s  s-taprop.adb  s-taprop.ali
W system.tasking%s	s-taskin.adb		s-taskin.ali

U ada.synchronous_task_control%s  a-sytaco.ads	aba3b683 BN EE OL PF PR PK
W ada%s			ada.ads			ada.ali
W ada.finalization%s	a-finali.adb		a-finali.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W system%s		system.ads		system.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.task_primitives%s  s-taspri.ads	s-taspri.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20140730140058 5250cb69 ada.exceptions%s
D a-finali.ads		20140611123707 69f99942 ada.finalization%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-sytaco.ads		20140611123156 1e0de5f0 ada.synchronous_task_control%s
D a-sytaco.adb		20090409150019 5e04bae4 ada.synchronous_task_control%b
D a-tags.ads		20140730140058 dc4d0634 ada.tags%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D interfac.ads		20141120112812 6033a23f interfaces%s
D i-c.ads		20110801143639 5421119b interfaces.c%s
D system.ads		20260612070312 bf8979bc system%s
D s-atacco.ads		20120515093410 4c36d12f system.address_to_access_conversions%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-multip.ads		20101011073009 38ac9f73 system.multiprocessors%s
D s-osinte.ads		20260612070312 2ac839dd system.os_interface%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-soflin.ads		20140801100131 aa763b52 system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stausa.ads		20110804134155 017a0a05 system.stack_usage%s
D s-stalib.ads		20150220094550 fa0a3617 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-stoele.adb		20140801093848 ed88f8fb system.storage_elements%b
D s-tasinf.ads		20140613095942 801abd01 system.task_info%s
D s-taspri.ads		20141120144719 e3ab4429 system.task_primitives%s
D s-taprop.ads		20140521131406 1dd2e1b6 system.task_primitives.operations%s
D s-taskin.ads		20150106085750 339749f0 system.tasking%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
X 1 ada.ads
16K9*Ada 19e8 5|38r6 40r9 63r10 78r5 6|32r6 37r14 97r10 104r5
X 2 a-except.ads
53K13*Exceptions 360e19 6|32w10 97r14
89U14*Raise_Exception 6|97s25
X 3 a-finali.ads
40K13*Finalization 68e21 5|38w10 63r14
50H9*Limited_Controlled<14|40R9> 66e55 5|63r27
X 5 a-sytaco.ads
40K13*Synchronous_Task_Control 1|16k9 5|56E14 78l9 78e33 6|37b18 104l9 104t33
44R9*Suspension_Object<3|50R9> 46r35 48r36 50r32 52r45 56r37 59r35 62c9 69e14
. 6|43r37 52r35 61r32 70r36 79r35 88r45
46U14*Set_True 46=24 71r19 6|79b14 82l8 82t16
46r24 S{44R9} 6|79b24 81m51 81r51
48U14*Set_False 48=25 72r19 6|70b14 73l8 73t17
48r25 S{44R9} 6|70b25 72m52 72r52
50V13*Current_State{boolean} 50>28 73r19 6|61b13 64l8 64t21
50r28 S{44R9} 6|61b28 63r63
52U14*Suspend_Until_True 52=34 74r19 6|88b14 102l8 102t26
52r34 S{44R9} 6|88b34 101m61 101r61
56U14 Initialize<3|53p14> 56=26 75r19 6|43b14 46l8 46t18
56r26 S{44R9} 6|43b26 45m53 45r53
59U14 Finalize<3|54p14> 59=24 76r19 6|52b14 55l8 55t16
59r24 S{44R9} 6|52b24 54m51 54r51
65r7*SO{25|54R9} 6|45m55 54m53 63r65 72m54 81m53 101m63
X 11 system.ads
37K9*System 5|36r6 65r12 6|34r6 35r6 45r7 54r7 63r14 72r7 81r7 94r10 95r18
. 101r7 11|144e11
X 20 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
X 25 s-taspri.ads
43K16*Task_Primitives 5|36w13 65r19 6|35r13 45r14 54r14 63r21 72r14 81r14
. 101r14 25|120e27
54R9*Suspension_Object 5|65r35 25|97e14
X 26 s-taprop.ads
39K32*Operations 6|35w29 45r30 54r30 63r37 72r30 81r30 101r30 26|571e38
490V13*Current_State{boolean} 6|63s48
493U14*Set_False 6|72s41
496U14*Set_True 6|81s41
501U14*Suspend_Until_True 6|101s41
508U14*Initialize 6|45s41
511U14*Finalize 6|54s41
X 27 s-taskin.ads
47K16*Tasking 6|34w13 94r17 95r25 27|1208e19
109P9*Task_Id(107R9)
116V13*Self{109P9} 6|95s33
452V13*Detect_Blocking{boolean} 6|94s25
554i7*Protected_Action_Nesting{natural} 6|95r45
958r7*Common{507R9} 6|95r38

