V "GNAT Lib v4.9"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=pentium
A -march=pentium
P SS

RN
RV NO_SECONDARY_STACK
RV NO_DEFAULT_INITIALIZATION
RV SPARK_05

U system.stack_usage.tasking%b  s-stusta.adb	9d7f4aff NE OL PK
W system%s		system.ads		system.ali
W system.img_int%s	s-imgint.adb		s-imgint.ali
W system.io%s		s-io.adb		s-io.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.stack_usage%s	s-stausa.adb		s-stausa.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.debug%s  s-tasdeb.adb		s-tasdeb.ali

U system.stack_usage.tasking%s  s-stusta.ads	75f95354 NE OL PK
W system.stack_usage%s	s-stausa.adb		s-stausa.ali

D ada.ads		20070406121342 3ffc8e18
D a-except.ads		20140129181954 f86a4103
D a-unccon.ads		20070406121342 f9eb8f06
D interfac.ads		20140225171838 69adb1b9
D system.ads		20160804194326 462fcf90
D s-atacco.ads		20120515123410 4c36d12f
D s-imgint.ads		20090409180020 02dbe0c2
D s-io.ads		20090409180020 9e42f74f
D s-multip.ads		20101011103010 38ac9f73
D s-osinte.ads		20130104144956 86be1773
D s-parame.ads		20140225171140 ab8cb46a
D s-secsta.ads		20140225171140 86a2856d
D s-soflin.ads		20140225171140 aa763b52
D s-stache.ads		20140225171140 a37c21ec
D s-stausa.ads		20110804164156 017a0a05
D s-stusta.ads		20130104144956 74835951
D s-stusta.adb		20110804165452 74cb4169
D s-stalib.ads		20140225171140 a891183f
D s-stoele.ads		20140225171140 2dc34a04
D s-stoele.adb		20140225171140 ed88f8fb
D s-tasinf.ads		20090409180020 e120e23a
D s-taspri.ads		20110927124500 215a00b1
D s-taprop.ads		20111212163340 1dd2e1b6
D s-taskin.ads		20140131174342 3f821f32
D s-tasdeb.ads		20110804161400 1fdd4e3b
D s-traent.ads		20140225171140 b5116092
D s-unstyp.ads		20140225171140 510692af
X 5 system.ads
42K9*System 160e11 16|40r9 60r34 75r5 17|32r6 36r6 37r6 39r6 41r14 42r8 44r36
. 61r13 70r13 80r36 82r7 83r7 91r12 92r16 94r14 100r19 101r15 103r19 120r14
. 126r27 140r7 152r10 157r7 187r15 192r19 204r18 213r16 214r13 215r12 217r25
. 258r5
X 8 s-io.ads
37K16*IO 64e14 17|39w13 42r15
45U14*Put_Line 17|95s10 121s10 252s10
X 15 s-stausa.ads
37K16*Stack_Usage 5|42k9 15|339e23 16|40r16 60r41 75r12 17|32w13 41r21 61r20
. 70r20 82r14 83r14 94r21 120r21 152r17 187r22 192r26 204r25 213r23 214r20
. 217r32 258r12
53R9*Task_Result 62e14 16|60r53 17|61r32 70r32 204r37
54a7*Task_Name{string} 17|214r49 236r29 241r20 242r17 250r25 250r40
56i7*Value{natural} 17|254r32
60i7*Stack_Size{natural} 17|253r56
64A9*Result_Array_Type(53R9)<integer>
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
239b4*Is_Enabled{boolean} 17|94r33 120r33
242U14*Compute_Result 17|82s26
262U14*Report_Result 17|83s26
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22 17|152s29
283a7*Task_Name{string} 17|215r48
321P9 Result_Array_Ptr(64A9)
323p4 Result_Array{321P9} 17|187r34 192r38 213r35 214r32 217r44
X 16 s-stusta.ads
40K28*Tasking 15|37k16 16|75l24 75e31 17|41b33 258l24 258t31
42U14*Report_All_Tasks 48i<c,__gnat_tasks_stack_usage_report_all_tasks>7
. 17|165b14 168l8 168t24
51U14*Report_Current_Task 57i<c,__gnat_tasks_stack_usage_report_current_task>7
. 17|174b14 179l8 179t27
60R12*Stack_Usage_Result{15|53R9} 64r35 66r43 72r27 17|62r17 71r17 175r13
. 202r43 203r13 235r27
63A9*Stack_Usage_Result_Array(60R12)<integer> 69r40 17|185r40 186r13
66V13*Get_Current_Task_Usage{60R12} 17|177s14 202b13 229l8 229t30
69V13*Get_All_Tasks_Usage{63A9} 17|185b13 196l8 196t27
72U14*Print 72>21 17|178s7 235b14 256l8 256t13
72r21 Obj{60R12} 17|235b21 236r25 241r16 242r13 250r21 250r36 253r52 254r28
X 17 s-stusta.adb
44U14 Report_For_Task 44>31 80b14 84l8 84t23 108s13 126s10
44p31 Id{24|107P9} 80b31 82r42 83r41
47U14 Compute_All_Tasks 90b14 112l8 112t25 145s10
51U14 Compute_Current_Task 118b14 129l8 129t28 147s10
55U14 Report_Impl 55>27 55>48 135b14 159l8 159t19 167s7 189s7 208s7
55b27 All_Tasks{boolean} 135b27 144r10
55b48 Do_Print{boolean} 135b48 151r10
60U14 Convert 61>7 62<7 69b14 74l8 74t15 192s10 227s7
61r7 TS{15|53R9} 70b7 73r14
62r7 Res{16|60R12} 71b7 73m7
91p7 Id{24|107P9} 103m13 104r23 108r30
100i14 J{integer} 103r53
175r7 Res{16|60R12} 177m7 178r14
186a7 Res{16|63A9} 191r16 192m56 192r56 195r14
191i11 J{integer} 192r52 192r61
203r7 Res{16|60R12} 227m26 228r14
204r7 Original{15|53R9} 217m13 227r16
205b7 Found{boolean} 218m13 225r22
213i11 T{integer} 214r46 217r58
236i7 Pos{positive} 243m13 250r59
241i11 S{integer} 242r28 243r20
249a10 T_Name{string} 253r20
X 22 s-taspri.ads
38K16*Task_Primitives 17|37r13 140r14 157r14 22|67e27
X 23 s-taprop.ads
39K32*Operations 17|37w29 140r30 157r30 23|571e38
434U14*Lock_RTS 17|140s41
437U14*Unlock_RTS 17|157s41
X 24 s-taskin.ads
47K16*Tasking 17|36r13 44r43 80r43 91r19 92r23 100r26 101r22 103r26 126r34
. 215r19 24|1216e19
107P9*Task_Id(105R9) 17|44r51 80r51 91r27 92r31
114V13*Self{107P9} 17|126s42 215s27
671r7*Analyzer{15|66R9} 17|82m52 83r51 215r39
960r7*Common{505R9} 17|82m45 83r44 215r32
X 25 s-tasdeb.ads
38K24*Debug 17|36w21 100r34 101r30 103r34 25|148e25
68a4*Known_Tasks(24|107P9) 17|100r40 101r36 103r40