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_FIXED_POINT
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK

U system.traces.tasking%b  s-tratas.adb		bd6fc52e NE OL PK
W system.traces%s	s-traces.adb		s-traces.ali

U system.traces.tasking%s  s-tratas.ads		55cf3c43 NE OL PR PK
W system%s		system.ads		system.ali
W system.tasking%s	s-taskin.adb		s-taskin.ali
W system.traces%s	s-traces.adb		s-traces.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
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-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-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-tasinf.ads		20121213103024 21316953
D s-taspri.ads		20121213103024 15f617a8
D s-taskin.ads		20121213103029 59e95256
D s-traent.ads		20121213103024 5221ee41
D s-traces.ads		20121213103024 f21d68aa
D s-tratas.ads		20121213103029 fe3b06bf
D s-tratas.adb		20121213103029 4354c391
D s-unstyp.ads		20121213103024 6ae15c76
X 6 system.ads
37K9*System 152e11 25|39r6 41r9 44r23 95r5 26|32r14 119r5
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 22 s-taskin.ads
47K16*Tasking 1214e19 25|39w13 44r30
107P9*Task_Id(105R9) 25|52r23 56r25 61r25 62r25 67r23 68r23 76r25 87r23 92r23
. 26|40r61 47r25 56r25 57r25 66r23 67r23 83r25 102r22 111r22
229I9*Entry_Index<integer> 25|57r25 63r25 72r25 77r25 82r25 26|48r25 58r25
. 75r25 84r25 93r25
X 24 s-traces.ads
55K16*Traces 6|37k9 24|114e18 25|41r16 95r12 26|32r21 119r12
58E9*Trace_T 103e19 25|51r20 55r22 60r22 66r20 71r22 75r22 81r22 86r20 91r20
. 26|40r36 46r22 55r22 65r20 74r22 82r22 92r22 101r19 110r19
X 25 s-tratas.ads
41K23*Tasking 24|55k16 25|95l19 95e26 26|32b28 119l19 119t26
44K12*ST=44:30 52r20 56r22 57r22 61r22 62r22 63r22 67r20 68r20 72r22 76r22
. 77r22 82r22 87r20 92r20 26|40r58 47r22 48r22 56r22 57r22 58r22 66r20 67r20
. 75r22 83r22 84r22 93r22 102r19 111r19
50U14*Send_Trace_Info 51>7 52>7 26|40b14 43l8 43t23
51e7 Id{24|58E9} 26|40b31
52p7 Task_Name2{22|107P9} 26|40b45
54U14*Send_Trace_Info 55>7 56>7 57>7 26|45b14 52l8 52t23
55e7 Id{24|58E9} 26|46b7
56p7 Task_Name2{22|107P9} 26|47b7
57i7 Entry_Number{22|229I9} 26|48b7
59U14*Send_Trace_Info 60>7 61>7 62>7 63>7 26|54b14 62l8 62t23
60e7 Id{24|58E9} 26|55b7
61p7 Task_Name{22|107P9} 26|56b7
62p7 Task_Name2{22|107P9} 26|57b7
63i7 Entry_Number{22|229I9} 26|58b7
65U14*Send_Trace_Info 66>7 67>7 68>7 26|64b14 71l8 71t23
66e7 Id{24|58E9} 26|65b7
67p7 Task_Name{22|107P9} 26|66b7
68p7 Task_Name2{22|107P9} 26|67b7
70U14*Send_Trace_Info 71>7 72>7 26|73b14 79l8 79t23
71e7 Id{24|58E9} 26|74b7
72i7 Entry_Number{22|229I9} 26|75b7
74U14*Send_Trace_Info 75>7 76>7 77>7 78>7 26|81b14 89l8 89t23
75e7 Id{24|58E9} 26|82b7
76p7 Acceptor{22|107P9} 26|83b7
77i7 Entry_Number{22|229I9} 26|84b7
78o7 Timeout{duration} 26|85b7
80U14*Send_Trace_Info 81>7 82>7 83>7 26|91b14 98l8 98t23
81e7 Id{24|58E9} 26|92b7
82i7 Entry_Number{22|229I9} 26|93b7
83o7 Timeout{duration} 26|94b7
85U14*Send_Trace_Info 86>7 87>7 88>7 26|100b14 107l8 107t23
86e7 Id{24|58E9} 26|101b7
87p7 Task_Name{22|107P9} 26|102b7
88i7 Number{integer} 26|103b7
90U14*Send_Trace_Info 91>7 92>7 93>7 94>7 26|109b14 117l8 117t23
91e7 Id{24|58E9} 26|110b7
92p7 Task_Name{22|107P9} 26|111b7
93i7 Number{integer} 26|112b7
94o7 Timeout{duration} 26|113b7