V "GNAT Lib v6"
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_FIXED_POINT
RV SPARK_05

U system.tasking.async_delays.enqueue_rt%b  s-tadert.adb  bcecdd41 NE OL SU
W ada%s			ada.ads			ada.ali
W ada.real_time%s	a-reatim.adb		a-reatim.ali
W ada.real_time.delays%s  a-retide.adb		a-retide.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
W system.tasking.async_delays%s  s-taasde.adb	s-taasde.ali
W system.tasking.initialization%s  s-tasini.adb	s-tasini.ali

U system.tasking.async_delays.enqueue_rt%s  s-tadert.ads  165e6ba6 NE OL SU
W ada%s			ada.ads			ada.ali
W ada.real_time%s	a-reatim.adb		a-reatim.ali
W system.tasking.async_delays%s  s-taasde.adb	s-taasde.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-reatim.ads		20151026154432 428ef5f7 ada.real_time%s
D a-retide.ads		20090409150019 081cdaa4 ada.real_time.delays%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D interfac.ads		20151118101227 4be8ce1b interfaces%s
D i-c.ads		20110801143639 5421119b interfaces.c%s
D system.ads		20151123113124 c631886f 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-multip.ads		20101011073009 38ac9f73 system.multiprocessors%s
D s-osinte.ads		20251222230445 ec6e1a7e system.os_interface%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-soflin.ads		20151020124036 14e1eb6c 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		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
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		20151023124846 0766baa7 system.tasking%s
D s-taasde.ads		20151023122422 422600df system.tasking.async_delays%s
D s-tadert.ads		20090409150019 16f69e8e system.tasking.async_delays.enqueue_rt%s
D s-tadert.adb		20090409150019 175ecb72 system.tasking.async_delays.enqueue_rt%b
D s-tasini.ads		20140730134804 ea044658 system.tasking.initialization%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 24|37r6 39r11 25|32r6 33r6 38r8 41r13 43r12 51r18
X 3 a-reatim.ads
39K13*Real_Time 186e18 24|37w10 39r15 25|32w10 33r10 38r12 41r17 43r16 51r22
50O9*Time<duration> 24|39r25 25|38r22 41r27
62V13*Clock{50O9} 25|43s26
77V14*"<="{boolean} 25|43r9
X 4 a-retide.ads
37K23*Delays 48e25 25|33w20 51r32
39V13*To_Duration{duration} 25|51s39
X 8 system.ads
37K9*System 148e11 24|38r10 25|34r6 35r6 37r10 45r7 49r4 50r7 53r5
X 16 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
X 20 s-taspri.ads
43K16*Task_Primitives 120e27 25|34r13 45r14 50r14
X 21 s-taprop.ads
39K32*Operations 571e38 25|34w29 45r30 50r30
135V13*Self{22|109P9} 25|50s41
314U14*Yield 25|45s41
X 22 s-taskin.ads
47K16*Tasking 1211e19 24|38r17 25|35r13 37r17 49r11 53r12
109P9*Task_Id(107R9)
X 23 s-taasde.ads
38K24*Async_Delays 147e32 24|38r25 25|37r25 53r20
95P9*Delay_Block_Access(94R9) 24|40r11 25|39r8
129b7*Timed_Out{boolean} 25|44m9
139U14 Time_Enqueue 25|51s4
X 24 s-tadert.ads
38V38*Enqueue_RT{boolean} 23|38k24 24|39>4 40>4 25|37b38 53l33 53t43
39o4 T{3|50O9} 25|38b4 43r7 51r52
40p4 D{23|95P9} 25|39b4 44r7 51r56
X 26 s-tasini.ads
35K24*Initialization 25|35w21 49r19 26|178e34
95U14*Defer_Abort 25|49s34

