V "GNAT Lib v5"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=i486
A -march=i486
P

RN
RV NO_ELABORATION_CODE
RV SPARK_05

U spark_xrefs%b		spark_xrefs.adb		1f9990b5 NE OO PK IL
W output%s		output.adb		output.ali
W put_spark_xrefs%s	put_spark_xrefs.adb	put_spark_xrefs.ali
Z spark_xrefs%s		spark_xrefs.adb		spark_xrefs.ali
Z types%s		types.adb		types.ali

U spark_xrefs%s		spark_xrefs.ads		d7c9c0a5 EE OO PK IL
Z ada%s			ada.ads			ada.ali
Z ada.unchecked_conversion%s
W gnat%s		gnat.ads		gnat.ali
Z gnat.heap_sort_g%s
W gnat.table%s
W system%s		system.ads		system.ali
Z system.memory%s	s-memory.adb		s-memory.ali
W types%s		types.adb		types.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D gnat.ads		20140801083227 fd2ad2f1 gnat%s
D g-hesorg.ads		20110801150502 106922da gnat.heap_sort_g%s
D g-hesorg.adb		20110801150502 33b32c5b gnat.heap_sort_g%b
D g-table.ads		20130910150540 16cef446 gnat.table%s
D g-table.adb		20140521105248 2932f881 gnat.table%b
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D output.ads		20140801093848 2d9479ad output%s
D put_spark_xrefs.ads	20130424141427 44ca6dc0 put_spark_xrefs%s
D put_spark_xrefs.adb	20130424141427 2c0fe370 put_spark_xrefs%b
D spark_xrefs.ads	20141017090750 a291ae2d spark_xrefs%s
D spark_xrefs.adb	20130424141427 d4562af5 spark_xrefs%b
D system.ads		20141030114420 57068cbf system%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-memory.ads		20140225151139 597d6634 system.memory%s
D s-os_lib.ads		20150220113817 5853d835 system.os_lib%s
D s-stalib.ads		20150220094550 fa0a3617 system.standard_library%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
D types.ads		20150130153101 63969ace types%s
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
X 4 gnat.ads
34K9*GNAT 37e9 13|33r6 256r36 317r37 353r36
X 7 g-table.ads
49+9 Table_Component_Type 13|257r6 318r6 354r6
50I9 Table_Index_Type 13|258r6 319r6 355r6
52*4 Table_Low_Bound{50I9} 13|259r6 320r6 356r6
53i4 Table_Initial{positive} 13|260r6 321r6 357r6
54i4 Table_Increment{natural} 13|261r6 322r6 358r6
56k14*Table 225e15 13|33w11 256r41 317r42 353r41
104A9*Table_Type(13|215R9)<13|211I9>
106A12*Big_Table_Type{104A9[13|353]}<13|331I9>
115P9*Table_Ptr(106A12[13|317])
120p4*Table{115P9[13|353]} 14|44r62[13|353] 74r64[13|317] 114r62[13|256]
133U14*Init 14|151s24[13|353] 152s25[13|317] 153s24[13|256]
140V13*Last{13|331I9} 14|42s42[13|353] 72s43[13|317] 112s42[13|256]
X 10 output.ads
44K9*Output 227e11 14|26w6 26r27
106U14*Write_Char 14|57s13 89s13 95s13 125s13 139s13 162r57 168r63
113U14*Write_Eol 14|62s13 68s7 102s13 108s7 140s13 174r46
123U14*Write_Int 14|48s13 50s13 59s13 61s13 78s13 80s13 82s13 91s13 93s13
. 97s13 99s13 101s13 118s13 127s13 129s13 131s13 133s13 135s13 137s13 192s10
130U14*Write_Str 14|47s13 49s13 51s13 54s16 58s13 60s13 77s13 79s13 81s13
. 83s13 86s16 90s13 92s13 94s13 96s13 98s13 100s13 117s13 119s13 122s16 126s13
. 128s13 130s13 132s13 134s13 136s13 138s13
137U14*Write_Line 14|39s7 40s7 69s7 70s7 109s7 110s7
148V13*Column{23|65I12} 14|183s27
X 11 put_spark_xrefs.ads
56u11*Put_SPARK_Xrefs 14|27w6 195r46
X 13 spark_xrefs.ads
35K9*SPARK_Xrefs 383l5 383e16 14|29b14 203l5 203t16
211I9*Xref_Index<23|59I9> 258r30 304r19 307r17
215R9*SPARK_Xref_Record 254e14 257r30 14|114r19
216p7*Entity_Name{23|113P9} 14|121r20 122r31
219i7*Entity_Line{23|62I12} 14|127r33
222e7*Etype{character}
229i7*Entity_Col{23|62I12} 14|129r33
232i7*File_Num{23|62I12} 14|131r33
237i7*Scope_Num{23|62I12} 14|133r33
242i7*Line{23|62I12} 14|135r33
245e7*Rtype{character} 14|139r29
252i7*Col{23|62I12} 14|137r33
256K12*SPARK_Xref_Table[7|56] 14|112r25 114r45 153r7
270I9*Scope_Index<23|59I9> 319r30 346r20 349r18
274R9*SPARK_Scope_Record 315e14 318r30 14|74r19
275p7*Scope_Name{23|113P9} 14|85r20 86r31
278i7*File_Num{23|62I12} 14|80r33
281i7*Scope_Num{23|62I12} 14|82r33
284i7*Spec_File_Num{23|62I12}
288i7*Spec_Scope_Num{23|62I12}
292i7*Line{23|62I12} 14|91r34
295e7*Stype{character} 14|95r29
301i7*Col{23|62I12} 14|93r34
304i7*From_Xref{211I9} 14|97r34
307i7*To_Xref{211I9} 14|99r34
313i7*Scope_Entity{23|387I12} 14|101r34
317K12*SPARK_Scope_Table[7|56] 14|72r25 74r46 152r7
331I9*File_Index<23|59I9> 355r30
335R9*SPARK_File_Record 351e14 354r30 14|44r19
336p7*File_Name{23|113P9} 14|53r20 54r31
339p7*Unit_File_Name{23|113P9}
343i7*File_Num{23|62I12} 14|50r33
346i7*From_Scope{270I9} 14|59r33
349i7*To_Scope{270I9} 14|61r33
353K12*SPARK_File_Table[7|56] 14|42r25 44r45 151r7
364a4*Name_Of_Heap_Variable{string}
372U14*Initialize_SPARK_Tables 14|149b14 154l8 154t31
375U14*dspark 14|35b14 143l8 143t14
379U14*pspark 14|160b14 201l8 201t14
X 14 spark_xrefs.adb
42i11 Index<23|59I9> 44r69 48r29
44r13 AFR{13|335R9} 50r29 53r16 54r27 59r29 61r29
72i11 Index<23|59I9> 74r71 78r29
74r13 ASR{13|274R9} 80r29 82r29 85r16 86r27 91r30 93r30 95r25 97r30 99r30
. 101r30
112i11 Index<23|59I9> 114r69 118r30
114r13 AXR{13|215R9} 121r16 122r27 127r29 129r29 131r29 133r29 135r29 137r29
. 139r25
162U17 Write_Info_Char=162:57 11|43i19
162e34 C{character}
165V16 Write_Info_Col{positive} 11|40i18 14|181b16 184l11 184t25
168U17 Write_Info_Initiate=168:63 11|46i19
168e38 Key{character}
171U17 Write_Info_Nat 11|50i19 14|171>33 190b17 193l11 193t25
171i33 N{23|62I12} 190b33 192r21
174U17 Write_Info_Terminate=174:46 11|53i19
195U17 Debug_Put_SPARK_Xrefs[11|56] 12|28b11 14|200s7
X 15 system.ads
77M9*Address
X 18 s-memory.ads
53V13*Alloc{15|77M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{15|77M9} 105i<c,__gnat_realloc>22
X 23 types.ads
52K9*Types 13|32w6 32r22 23|942e10
59I9*Int<integer> 13|211r27 270r28 331r27 14|48r24 50r24 59r24 61r24 78r24
. 80r24 82r24 91r25 93r25 97r25 99r25 101r25 118r25 127r24 129r24 131r24
. 133r24 135r24 137r24
62I12*Nat{59I9} 13|219r21 229r20 232r18 237r19 242r14 252r13 278r18 281r19
. 284r23 288r24 292r14 301r13 343r18 14|171r37 190r37
65I12*Pos{59I9}
113P9*String_Ptr(string) 13|216r21 275r20 336r19 339r24
384I9*Node_Id<integer>
387I12*Entity_Id{384I9} 13|313r22
399i4*Empty{384I9} 13|313r35