V "GNAT Lib v5"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=generic
A -march=x86-64
P SS ZX

RN
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV SPARK_05

U system.traceback.symbolic%b  s-trasym.adb	72f3b71a NE OL PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.exceptions.traceback%s  a-exctra.adb	a-exctra.ali
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.traceback%s	s-traceb.adb		s-traceb.ali

U system.traceback.symbolic%s  s-trasym.ads	b5e41f97 EB NE OL PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W system.traceback%s	s-traceb.adb		s-traceb.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20140730140058 5250cb69 ada.exceptions%s
D a-exctra.ads		20140730125613 0966bad0 ada.exceptions.traceback%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D system.ads		20260612070312 bf8979bc system%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-secsta.ads		20140225151139 86a2856d system.secondary_stack%s
D s-soflin.ads		20140801100131 aa763b52 system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads		20150220094550 fa0a3617 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-traceb.ads		20140731125927 9e662fab system.traceback%s
D s-trasym.ads		20140730141237 79d2fb55 system.traceback.symbolic%s
D s-trasym.adb		20260612070312 a831cdcd system.traceback.symbolic%b
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
X 1 ada.ads
16K9*Ada 19e8 13|65r6 78r11 14|40r6 40r36 146r11
X 2 a-except.ads
53K13*Exceptions 360e19 13|65w10 78r15 14|40r10 40r40 146r15
62R9*Exception_Occurrence 328e14 13|78r26 14|146r26
X 3 a-exctra.ads
40K24*Traceback 63e29 14|40w21 40r51
47A12*Tracebacks_Array{15|56A9}<integer> 14|67r45
50V13*Tracebacks{47A12} 14|148s34
X 5 system.ads
37K9*System 144e11 13|67r9 71r19 81r5 14|39r6 42r14 44r24 53r14 70r21 71r21
. 73r21 74r21 84r44 89r22 89r45 96r16 124r21 137r21 151r5
64M9*Address 14|53r21 70r28 71r28 73r28 74r28 84r51 89r29 89r52 96r23
66m4*Null_Address{64M9} 14|124r28 137r28
78V14*"="{boolean} 14|102r27 124r18 137r18
X 8 s-soflin.ads
45K16*Soft_Links 408e22 14|39w13 44r31
60P9*No_Param_Proc
187p4*Lock_Task{60P9} 14|117r11
197p4*Unlock_Task{60P9} 14|131r11
X 12 s-traceb.ads
44K16*Traceback 5|37k9 12|100e21 13|67r16 81r12 14|42r21 151r12
94V13*C_Call_Chain{natural} 97i<c,system__traceback__c_call_chain>22
X 13 s-trasym.ads
67K26*Symbolic 12|44k16 13|81l22 81e30 14|42b31 151l22 151t30
70V13*Symbolic_Traceback{string} 71>7 14|67b13 143l8 143t26 148s14
71a7 Traceback{15|56A9} 14|67b33 92r42 102r10 127r22 127r41
77V13*Symbolic_Traceback{string} 78>7 14|145b13 149l8 149t26
78r7 E{2|62R9} 14|146b7 148r46
X 14 s-trasym.adb
44K12 TSL=44:31 117r7 131r7
53m4 Exename{5|64M9} 120m10 124r10 127r13 137r10
57b4 Exename_Resolved{boolean} 119r14 121m10
69U17*convert_addresses 70>10 71>10 72>10 73>10 74>10 75b<c,convert_addresses>25
. 126s10
70m10 filename{5|64M9}
71m10 addrs{5|64M9}
72i10 n_addrs{integer}
73m10 buf{5|64M9}
74m10 len{5|64M9}
84A12 Argv_Array(5|64M9)<integer> 85r26
85p7*gnat_argv(84A12) 86m25 86r25 120r42
88V16*locate_exec_on_path{5|64M9} 89>10 90b<c,__gnat_locate_exec_on_path>25
. 120s21
89m10 c_exename{5|64M9}
92i7 B_Size{integer} 93r27 94r29
93i7 Len{integer} 125m10 128m30 128r30 138r27
94a7 Res{string} 125r17 128m13 128r13 138r17
X 15 s-traent.ads
47K16*Traceback_Entries 13|71r26 15|67e29
56A9*Tracebacks_Array(50M12)<integer> 13|71r44

