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 ZX

RN
RV NO_ALLOCATORS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U system.htable%b	s-htable.adb		c3335bfd NE OL PK
W ada%s			ada.ads			ada.ali
W ada.unchecked_deallocation%s
W system%s		system.ads		system.ali
W system.string_hash%s	s-strhas.adb		s-strhas.ali

U system.htable%s	s-htable.ads		3b4bca56 BN NE OL PR PK
W system%s		system.ads		system.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D system.ads		20150428105438 bf8979bc system%s
D s-htable.ads		20140225151139 84c2b3ea system.htable%s
D s-htable.adb		20140225151139 90376e52 system.htable%b
D s-strhas.ads		20090623093900 269cd894 system.string_hash%s
X 1 ada.ads
16K9*Ada 19e8 5|34r6 239r9
X 2 a-uncdea.ads
20u15*Unchecked_Deallocation 5|34w10 239r13
X 3 system.ads
37K9*System 144e11 4|42r9 222r5 5|35r6 37r14 405r14 412r5
X 4 s-htable.ads
42K16*HTable 3|37k9 4|222l12 222e18 5|37b21 412l12 412t18
56I12 Header_Num 67r49 5|246r23
59+12 Element 62r20 72r35 79r37 87r33 92r32 98r52 105r51 5|234r17 261r38
. 275r33 285r52 309r32 319r51 377r35
62*7 No_Element{59+12} 5|265r20 279r20 289r18 313r20 323r18
66+12 Key 67r32 68r37 72r26 79r25 83r29 98r39 105r38 5|233r17 243r48 252r23
. 261r26 285r39 300r46 319r38 343r30 377r26
67V21 Hash{56I12} 67>28 5|254r23
67*28 F{66+12}
68V21 Equal{boolean} 68>28 68>32 5|255r23
68*28 F1{66+12}
68*32 F2{66+12}
70k12*Simple_HTable 56z12 59z12 62z7 66z12 67z21 68z21 113l8 113e21 5|228b17
. 395l8 395t21
72U17*Set 72>22 72>31 5|377b17 385l11 385t14
72*22 K{66+12} 5|377b22 378r46 381r43
72*31 E{59+12} 5|377b31 381r46 383r22
76U17*Reset 5|359b17 371l11 371t16
79V16*Get{59+12} 79>21 5|261b17 269l11 269t14
79*21 K{66+12} 5|261b22 262r46
83U17*Remove 83>25 5|343b17 353l11 353t17
83*25 K{66+12} 5|343b26 347r26 350r25
87V16*Get_First{59+12} 5|275b16 283l11 283t20
92V16*Get_Next{59+12} 5|309b16 317l11 317t19
98U17*Get_First 98=28 98<44 5|285b17 294l11 294t20
98*28 K{66+12} 5|285b28 291m13
98*44 E{59+12} 5|285b44 289m13 292m13
105U17*Get_Next 105=27 105<43 5|319b17 328l11 328t19
105*27 K{66+12} 5|319b27 325m13
105*43 E{59+12} 5|319b43 323m13 326m13
138I12 Header_Num 165r51 5|45r22 47r26 137r31 184r18 202r27 246r9
141+12 Element 146r29 5|247r9
151+12 Elmt_Ptr 155r18 158r36 158r53 159r36 159r53 164r34 179r26 182r37 189r40
. 198r33 203r32 5|45r37 48r26 51r36 60r37 61r17 82r33 94r32 108r36 138r22
. 139r22 183r26 195r40 203r18 248r9
155*7 Null_Ptr{151+12} 5|66r23 67r23 97r20 110r31 113r23 129r28 144r20 154r31
. 175r26 208r23 249r9
158U22 Set_Next 158>32 158>46 5|158s19 187s10 209s16 250r9
158*32 E{151+12}
158*46 Next{151+12}
159V22 Next{151+12} 159>32 5|73s24 99s29 148s30 152s30 158s35 217s24 251r9
159*32 E{151+12}
163+12 Key 164r51 165r34 166r39 182r25 186r29 194r29 5|60r25 127r29 136r30
. 196r14 252r9
164V21 Get_Key{163+12} 164>30 5|69s26 147s23 157s29 186s25 196s26 213s26
. 253r9
164*30 E{151+12}
165V21 Hash{138I12} 165>30 5|64s25 137s45 186s19 202s41 254r9
165*30 F{163+12}
166V21 Equal{boolean} 166>30 166>34 5|69s19 147s16 157s22 213s19 255r9
166*30 F1{163+12}
166*34 F2{163+12}
168k12*Static_HTable 138z12 141z12 151z12 155z7 158z22 159z22 163z12 164z21
. 165z21 166z21 210l8 210e21 5|43b17 222l8 222t21 245r26
170U17*Reset 5|172b17 177l11 177t16 370s14[245]
179U17*Set 179>22 5|183b17 189l11 189t14 381s17[245]
179*22 E{151+12} 5|183b22 186r34 187r20 188r27
182V16*Get{151+12} 182>21 5|60b16 76l11 76t14 129s17 262s41[245] 347s21[245]
. 378s41[245]
182*21 K{163+12} 5|60b21 64r31 69r42
186V16*Present{boolean} 186>25 5|127b16 130l11 130t18
186*25 K{163+12} 5|127b25 129r22
189V16*Set_If_Not_Present{boolean} 189>36 5|195b16 220l11 220t29
189*36 E{151+12} 5|195b36 196r35 209r26 210r33
194U17*Remove 194>25 5|136b17 166l11 166t17 350s17[245]
194*25 K{163+12} 5|136b26 137r51 147r39 157r50
198V16*Get_First{151+12} 5|82b16 88l11 88t20 276s41[245] 286s41[245] 363s20[245]
203V16*Get_Next{151+12} 5|94b16 102l11 102t19 310s41[245] 320s41[245] 365s23[245]
219I12 Header_Num 220r40 5|401r40 408r14 409r9 409r45
220v13*Hash 220>19 5|401b13 410l8 410t12
220a19 Key{string} 5|401b19 409r36
X 5 s-htable.adb
45a7 Table(4|151+12) 64r18 85r28 86r26 111r33 117r31 142r18 148m13 174r19
. 175m13 187r23 188m10 206r18 209r29 210m16
47*7 Iterator_Index{4|138I12} 85m10 86r33 111r16 116m13 116r31 117r38
48*7 Iterator_Ptr{4|151+12} 86m10 99m13 99r35 110r16 117m13 120r17
49b7 Iterator_Started{boolean} 84m10 96r17 112m16
51V16 Get_Non_Null{4|151+12} 87s17 100s20 108b16 121l11 121t23
61*10 Elmt{4|151+12} 64m10 66r16 69r35 70r23 73m16 73r30
137*10 Index{4|138I12} 142r25 148r20
138*10 Elmt{4|151+12} 142m10 144r13 147r32 148r36 152r36 158r29 162m19
139*10 Next_Elmt{4|151+12} 152m16 154r19 157r38 158r41 162r27
174i14 J 175r20
184*10 Index{4|138I12} 186m10 187r30 188r17
196*10 K{4|163+12} 202r47 213r42
202*10 Index{4|138I12} 206r25 209r36 210r23
203*10 Elmt{4|151+12} 206m10 208r16 213r35 217m16 217r30
230R12 Element_Wrapper 231r35 232c12 236e17 239r37 247r23 381r26
231P12 Elmt_Ptr(230R12) 235r17 239r54 241r31 241r48 242r31 242r48 243r31
. 248r23 262r25 276r25 286r25 300r29 310r25 320r25 334r26 334r43 344r16 360r19
. 378r25 391r31 391r48
233*10 K{4|66+12} 291r22 302r19 325r22
234*10 E{4|59+12} 267r24 281r24 292r22 315r24 326r22 383m17
235p10 Next{231P12} 336r19 393m12
238U17 Free[2|20] 351s13 366s13
241U17 Set_Next 241>27 241>41 250r23 391b17 394l11 394t19
241p27 E{231P12} 391b27 393r10
241p41 Next{231P12} 391b41 393r20
242V17 Next{231P12} 242>27 251r23 334b16 337l11 337t15
242p27 E{231P12} 334b22 336r17
243V17 Get_Key{4|66+12} 243>27 253r23 300b16 303l11 303t18
243p27 E{231P12} 300b25 302r17
245K15 Tab[4|168] 262r37 276r37 286r37 310r37 320r37 347r17 350r13 363r16
. 365r19 370r10 378r37 381r13
262p10 Tmp{231P12} 264r13 267r20
276p10 Tmp{231P12} 278r13 281r20
286p10 Tmp{231P12} 288r13 291r18 292r18
310p10 Tmp{231P12} 312r13 315r20
320p10 Tmp{231P12} 322r13 325r18 326r18
344p10 Tmp{231P12} 347m10 349r13 351m19 351r19
360p10 E1{231P12} 363m10 364r16 366m19 366r19 367m13
360p14 E2{231P12} 365m13 367r19
378p10 Tmp{231P12} 380r13 383r13
402M12 Uns 405r58
404V16 Hash_Fun[6|56]{402M12} 409s26
X 6 s-strhas.ads
41K16*String_Hash 5|35w13 405r21 6|60e23
56v13*Hash 5|405r33