MINI MINI MANI MO

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

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_ACCESS
RV NO_UNCHECKED_CONVERSION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK

U system.tasking.task_attributes%b  s-tataat.adb  306602d9 NE OL PK
W ada%s			ada.ads			ada.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.unchecked_conversion%s
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.initialization%s  s-tasini.adb	s-tasini.ali

U system.tasking.task_attributes%s  s-tataat.ads  623a2245 EE OL PF 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.finalization_masters%s  s-finmas.adb	s-finmas.ali
W system.pool_global%s	s-pooglo.adb		s-pooglo.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.tasking%s	s-taskin.adb		s-taskin.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
D a-finali.ads		20121213103024 52ecdc1b
D a-stream.ads		20121213103024 2ca4ee37
D a-tags.ads		20121213103024 6c0509d0
D a-unccon.ads		20121213103024 f9eb8f06
D interfac.ads		20121213103024 129923ea
D i-c.ads		20121213103024 5421119b
D system.ads		20121213103024 90249111
D s-atacco.ads		20121213103024 4c36d12f
D s-exctab.ads		20121213103029 66e51330
D s-finmas.ads		20121213103024 b95bb341
D s-finroo.ads		20121213103024 4ff27390
D s-linux.ads		20121213103024 70c7cb45
D s-multip.ads		20121213103024 38ac9f73
D s-oscons.ads		20190424142132 972e6764
D s-osinte.ads		20121213103024 938b6b03
D s-parame.ads		20121213103024 b6e20cc0
D s-pooglo.ads		20121213103024 542f33d0
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stausa.ads		20121213103029 017a0a05
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-stopoo.ads		20121213103024 7b8fbeee
D s-tasinf.ads		20121213103024 21316953
D s-taspri.ads		20121213103024 15f617a8
D s-taprop.ads		20121213103029 1dd2e1b6
D s-taskin.ads		20121213103029 59e95256
D s-tasini.ads		20121213103024 cd8187f9
D s-tataat.ads		20121213103024 93f2d190
D s-tataat.adb		20121213103024 8a2c3a00
D s-traent.ads		20121213103024 5221ee41
D s-unstyp.ads		20121213103024 6ae15c76
X 1 ada.ads
16K9*Ada 19e8 32|35r6 49r35 72r25 33|33r6 43r38
X 3 a-finali.ads
40K13*Finalization 73e21 32|35w10 72r29
55H9*Limited_Controlled 71e55 32|72r42
58U14*Initialize<13|44p14>
X 6 a-unccon.ads
20v14*Unchecked_Conversion 32|49r39 33|33w10 43r42
X 9 system.ads
37K9*System 152e11 32|37r6 39r9 74r31 127r5 33|35r6 36r6 38r14 99r17 200r18
. 215r5
64M9*Address
X 13 s-finroo.ads
42U14*Adjust
X 22 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
X 24 s-stoele.ads
42K16*Storage_Elements 117e28 32|37w13 74r38 33|200r25
105M9*Integer_Address 32|74r55
107V13*To_Address{9|64M9} 33|200s42
X 28 s-taspri.ads
43K16*Task_Primitives 125e27 33|35r13 40r8
X 29 s-taprop.ads
39K32*Operations 571e38 33|35w29 40r24
187U14*Write_Lock 33|104s16
241U14*Unlock 33|127s16
434U14*Lock_RTS 33|62s7 190s7
437U14*Unlock_RTS 33|133s7 206s7
X 30 s-taskin.ads
47K16*Tasking 9|37k9 30|1214e19 32|39r16 127r12 33|36r13 38r21 41r8 99r24
. 215r12
107P9*Task_Id(105R9) 32|114r41 120r39 33|53r33 99r32 157r39 184r41 186r26
114V13*Self{107P9} 33|53s44 186s37
607p7*All_Tasks_Link{107P9} 33|128r30
740p4*All_Tasks_List{107P9} 33|99r43
921P9*Access_Address(9|64M9) 32|50r7 33|44r20
937I9*Direct_Index<short_short_integer> 32|76r15
944M9*Direct_Attribute_Element 33|199r15
947A9*Direct_Attribute_Array(944M9)<937I9>
950M9*Direct_Index_Vector 32|107r13
958r7*Common{505R9} 33|128r23
1138a7*Direct_Attributes{947A9} 33|198m15
1144p7*Indirect_Attributes{921P9} 33|106r39 116m24 159r44 169m9
X 31 s-tasini.ads
35K24*Initialization 190e34 33|36w21 41r16
107U14*Defer_Abort 33|189s7
110U14*Undefer_Abort 33|207s7
115U14*Defer_Abort_Nestable 33|61s7
118U14*Undefer_Abort_Nestable 33|141s7
X 32 s-tataat.ads
39K24*Task_Attributes 30|47k16 32|127l20 127e35 33|38b29 215l20 215t35
41I9*Attribute<integer> 98r23
45R9*Node 46r35 86c9 90e14 96r28
46P9*Access_Node(45R9) 50r23 65r53 89r18 33|44r7 52r24 100r17 158r11 159r11
49V13*To_Access_Node[6|20]{46P9} 33|106s21 159s26
54R9*Dummy_Wrapper 55r44 95c9 100e14 102r8
55P9*Access_Dummy_Wrapper(54R9) 56r31 60r8 87r18
65P9*Deallocator 73r23
65p42 P{46P9}
68R9*Instance 70r39 72c9 84r35 33|51r35
70P9*Access_Instance(68R9) 80r14 88r18 110r21 33|67r14 68r14 185r17
72R9*Instance<3|55R9> 3|58P14 13|42p14 32|82e14 84P14
73p7*Deallocate{65P9} 33|138r12 166r34
74m7*Initial_Value{24|105M9} 33|200r56
76i7*Index{30|937I9} 33|84r12 88r50 197r15 198r36
80p7*Next{70P9} 33|72r28 78r33 80m15 80r25 203r17
84U14*Finalize<3|59p14> 84=24 33|51b14 148l8 148t16
84r24 X{72R9} 33|51b24 71m40 71r40 84r10 88r48 108m41 108r41 138r10
86R9*Node
87p7*Wrapper{55P9}
88p7*Instance{70P9} 33|108r29 166r25
89p7*Next{46P9} 33|111r26 116r68 118m24 118r34 123m21 137r37 166r17
96r7*Dummy_Node{86R9}
98i7*Value{41I9}
107m4*In_Use{30|950M9} 33|88m10 88r20
110p4*All_Attributes{70P9} 33|68r33 78m13 194r12
114U14*Initialize_Attributes 114>37 33|184b14 213l8 213t29
114p37 T{30|107P9} 33|184b37 198m13 198r13
120U14*Finalize_Attributes 120>35 33|157b14 176l8 176t27
120p35 T{30|107P9} 33|157b35 159r42 169m7 169r7
X 33 s-tataat.adb
43V13 To_Access_Address[6|20]{30|921P9} 116s47
52p7 Q{32|46P9} 106m16 107r22 108r27 110r24 111m19 111r24 114r19 116r66 118r32
. 123m19 123r19 124r34 136m10 138m28 138r28
52p10 To_Be_Freed{32|46P9} 123r29 124m19 135r13 136r15 137m10 137r25
53p7 Self_Id{30|107P9} 61r29 141r31
67p10 P{32|70P9} 72m13 77r13 80m13 80r13
68p10 Q{32|70P9} 71r16 71r35 72r18 72m21 72r26 75r25 78r31 80r23
99p13 C{30|107P9} 103r19 104r28 106r37 116m22 116r22 127r24 128m16 128r21
100p13 P{32|46P9} 110m19 115r22 118m22 118r22
158p7 P{32|46P9} 165m10 166r23 166m50 166r50
159p7 Q{32|46P9} 164r13 165r15 166m10 166r15
185p7 P{32|70P9} 194m7 196r13 197r13 198r34 200r54 203m10 203r15
186p7 Self_Id{30|107P9} 189r20 207r22