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_ACCESS_SUBPROGRAMS
RV NO_EXCEPTIONS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U system.tasking.task_attributes%b  s-tataat.adb  1b84470b NE OL PK
W ada.exceptions%s	a-except.adb		a-except.ali
W system%s		system.ads		system.ali
W system.parameters%s	s-parame.adb		s-parame.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.initialization%s  s-tasini.adb	s-tasini.ali

U system.tasking.task_attributes%s  s-tataat.ads  a1da3c09 BN NE OL PK
W ada%s			ada.ads			ada.ali
W ada.unchecked_conversion%s
W system.tasking%s	s-taskin.adb		s-taskin.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%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		20260720175024 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-tasini.ads		20140730134804 ea044658 system.tasking.initialization%s
D s-tataat.ads		20140730134804 5f5709a8 system.tasking.task_attributes%s
D s-tataat.adb		20150220094204 cd2fe432 system.tasking.task_attributes%b
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 22|34r6 50r6
X 3 a-unccon.ads
20v14*Unchecked_Conversion 22|34w10 50r10
X 6 system.ads
37K9*System 148e11 22|36r9 70r5 23|32r6 32r29 33r6 33r41 34r6 36r14 38r25
. 98r5
X 11 s-parame.ads
51K16*Parameters 210e22 23|32w13 32r36
183N4*Max_Attribute_Count 23|49r30
X 14 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
X 18 s-taspri.ads
43K16*Task_Primitives 120e27 23|34r13 38r32
X 19 s-taprop.ads
39K32*Operations 571e38 23|34w29 38r48
135V13*Self{20|109P9} 23|57s42 80s42
X 20 s-taskin.ads
47K16*Tasking 6|37k9 20|1211e19 22|36r16 70r12 23|33r13 33r48 36r21 98r12
109P9*Task_Id(107R9) 23|57r26 80r26
941M9*Atomic_Address 22|38r48 50r32
X 21 s-tasini.ads
35K24*Initialization 178e34 23|33w21 33r56
132U14*Task_Lock 23|60s7 83s7
135U14*Task_Unlock 23|66s13 71s7 85s7
X 22 s-tataat.ads
36K24*Task_Attributes 20|47k16 22|40E9 70l20 70e35 23|36b29 98l20 98t35
38P9*Deallocator 38>42 41r14
38m42 Ptr{20|941M9}
40R9*Attribute_Record 42e14 46r40
41p7*Free{38P9}
46P9*Attribute_Access(40R9) 47r31 50r48
49V13*To_Attribute[3|20]{46P9}
52V13*Next_Index{integer} 52>25 23|56b13 73l8 73t18
52b25 Require_Finalization{boolean} 23|56b25 65r53
58V13*Require_Finalization{boolean} 58>35 69r19 23|92b13 96l8 96t28
58i35 Index{integer} 23|92b35 94r22 95r27
64U14*Finalize 64>24 68r19 23|79b14 86l8 86t16
64i24 Index{integer} 23|79b24 82r22 84r20
X 23 s-tataat.adb
38K12 STPO=38:48 57r37 80r37
40R9 Index_Info 47e14 49r54
41b7*Used{boolean} 63r33 64m29 84m27
45b7*Require_Finalization{boolean} 65m29 95r34
49a4 Index_Array(40R9) 62r16 63r17 64m13 65m13 82r31 84m7 94r31 95r14
57p7 Self_Id{20|109P9} 60r18 66r26 71r20
62i11 J{integer} 63r30 64r26 65r26 67r20
80p7 Self_Id{20|109P9} 83r18 85r20

