File size: 15,629 Bytes
aaffe1f
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
V "GNAT Lib v4.9"
A -gnatwa
A -Wall
A -fstack-check=specific
A -gnatA
A -gnatA
A -gnatWb
A -gnatiw
A -gnatws
A -g
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U ada_main%b		b__meanings.adb		55093a15 NE OO PK IL
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W system%s		system.ads		system.ali

U ada_main%s		b__meanings.ads		38be4e33 EE NE OO PK IL
W system%s		system.ads		system.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20140129161953 f86a4103
D a-unccon.ads		20070406091342 f9eb8f06
D b__meanings.ads	20230322220501 a89adf22
D b__meanings.adb	20230322220501 05f9a434
D system.ads		20160213141829 90249111
D s-parame.ads		20140225151139 ab8cb46a
D s-stalib.ads		20140225151139 a891183f
D s-traent.ads		20140225151139 b5116092
X 1 ada.ads
16K9*Ada 19e8 5|4r6
X 2 a-except.ads
53K13*Exceptions 360e19 5|4w10
X 4 b__meanings.ads
3K9*ada_main 813l5 813e13 5|6b14 416l5 416t13
6i4*gnat_argc{integer} 10m22 10r22 5|388m7
7m4*gnat_argv{6|64M9} 11m22 11r22 5|389m7
8m4*gnat_envp{6|64M9} 12m22 12r22 5|390m7
14i4*gnat_exit_status{integer} 15m22 15r22 5|397r15
17a4*GNAT_Version{string} 19r22
21a4*Ada_Main_Program_Name{string} 22r22 5|384r52
24U14*adainit 25i<c,adainit>22 5|183b14 366l8 366t15 393s7
27U14*adafinal 28i<c,adafinal>22 5|170b14 179l8 179t16 395s7
30V13*main{integer} 31>7 32>7 33>7 35i<c,main>22 5|371b13 398t7
31i7 argc{integer} 5|372b7 388r20
32m7 argv{6|64M9} 5|373b7 389r20
33m7 envp{6|64M9} 5|374b7 390r20
37M9*Version_32 38r22 40r22 42r22 44r22 46r22 48r22 50r22 52r22 54r22 56r22
. 58r22 60r22 62r22 64r22 66r22 68r22 70r22 72r22 74r22 76r22 78r22 80r22
. 82r22 84r22 86r22 88r22 90r22 92r22 94r22 96r22 98r22 100r22 102r22 104r22
. 106r22 108r22 110r22 112r22 114r22 116r22 118r22 120r22 122r22 124r22 126r22
. 128r22 130r22 132r22 134r22 136r22 138r22 140r22 142r22 144r22 146r22 148r22
. 150r22 152r22 154r22 156r22 158r22 160r22 162r22 164r22 166r22 168r22 170r22
. 172r22 174r22 176r22 178r22 180r22 182r22 184r22 186r22 188r22 190r22 192r22
. 194r22 196r22 198r22 200r22 202r22 204r22 206r22 208r22 210r22 212r22 214r22
. 216r22 218r22 220r22 222r22 224r22 226r22 228r22 230r22 232r22 234r22 236r22
. 238r22 240r22 242r22 244r22 246r22 248r22 250r22 252r22 254r22 256r22 258r22
. 260r22 262r22 264r22 266r22 268r22 270r22 272r22 274r22 276r22 278r22 280r22
. 282r22 284r22 286r22 288r22 290r22 292r22 294r22 296r22 298r22 300r22 302r22
. 304r22 306r22 308r22 310r22 312r22 314r22 316r22 318r22 320r22 322r22 324r22
. 326r22 328r22 330r22 332r22 334r22 336r22 338r22 340r22 342r22 344r22 346r22
. 348r22 350r22 352r22 354r22 356r22 358r22 360r22 362r22 364r22 366r22 368r22
. 370r22 372r22 374r22 376r22 378r22 380r22 382r22 384r22 386r22 388r22 390r22
. 392r22 394r22 396r22 398r22 400r22 402r22 404r22 406r22 408r22 410r22 412r22
. 414r22 416r22 418r22 420r22 422r22 424r22 426r22 428r22 430r22 432r22 434r22
. 436r22 438r22 440r22 442r22 444r22 446r22 448r22 450r22 452r22 454r22 456r22
. 458r22 460r22 462r22 464r22 466r22 468r22 470r22 472r22 474r22 476r22 478r22
. 480r22 482r22 484r22 486r22 488r22 490r22 492r22 494r22 496r22 498r22 500r22
. 502r22 504r22 506r22 508r22 510r22 512r22 514r22 516r22 518r22 520r22 522r22
. 524r22 526r22 528r22 530r22 532r22 534r22 536r22 538r22 540r22 542r22 544r22
. 546r22 548r22 550r22
38m4*u00001{37M9} 39r22
40m4*u00002{37M9} 41r22
42m4*u00003{37M9} 43r22
44m4*u00004{37M9} 45r22
46m4*u00005{37M9} 47r22
48m4*u00006{37M9} 49r22
50m4*u00007{37M9} 51r22
52m4*u00008{37M9} 53r22
54m4*u00009{37M9} 55r22
56m4*u00010{37M9} 57r22
58m4*u00011{37M9} 59r22
60m4*u00012{37M9} 61r22
62m4*u00013{37M9} 63r22
64m4*u00014{37M9} 65r22
66m4*u00015{37M9} 67r22
68m4*u00016{37M9} 69r22
70m4*u00017{37M9} 71r22
72m4*u00018{37M9} 73r22
74m4*u00019{37M9} 75r22
76m4*u00020{37M9} 77r22
78m4*u00021{37M9} 79r22
80m4*u00022{37M9} 81r22
82m4*u00023{37M9} 83r22
84m4*u00024{37M9} 85r22
86m4*u00025{37M9} 87r22
88m4*u00026{37M9} 89r22
90m4*u00027{37M9} 91r22
92m4*u00028{37M9} 93r22
94m4*u00029{37M9} 95r22
96m4*u00030{37M9} 97r22
98m4*u00031{37M9} 99r22
100m4*u00032{37M9} 101r22
102m4*u00033{37M9} 103r22
104m4*u00034{37M9} 105r22
106m4*u00035{37M9} 107r22
108m4*u00036{37M9} 109r22
110m4*u00037{37M9} 111r22
112m4*u00038{37M9} 113r22
114m4*u00039{37M9} 115r22
116m4*u00040{37M9} 117r22
118m4*u00041{37M9} 119r22
120m4*u00042{37M9} 121r22
122m4*u00043{37M9} 123r22
124m4*u00044{37M9} 125r22
126m4*u00045{37M9} 127r22
128m4*u00046{37M9} 129r22
130m4*u00047{37M9} 131r22
132m4*u00048{37M9} 133r22
134m4*u00049{37M9} 135r22
136m4*u00050{37M9} 137r22
138m4*u00051{37M9} 139r22
140m4*u00052{37M9} 141r22
142m4*u00053{37M9} 143r22
144m4*u00054{37M9} 145r22
146m4*u00055{37M9} 147r22
148m4*u00056{37M9} 149r22
150m4*u00057{37M9} 151r22
152m4*u00058{37M9} 153r22
154m4*u00059{37M9} 155r22
156m4*u00060{37M9} 157r22
158m4*u00061{37M9} 159r22
160m4*u00062{37M9} 161r22
162m4*u00063{37M9} 163r22
164m4*u00064{37M9} 165r22
166m4*u00065{37M9} 167r22
168m4*u00066{37M9} 169r22
170m4*u00067{37M9} 171r22
172m4*u00068{37M9} 173r22
174m4*u00069{37M9} 175r22
176m4*u00070{37M9} 177r22
178m4*u00071{37M9} 179r22
180m4*u00072{37M9} 181r22
182m4*u00073{37M9} 183r22
184m4*u00074{37M9} 185r22
186m4*u00075{37M9} 187r22
188m4*u00076{37M9} 189r22
190m4*u00077{37M9} 191r22
192m4*u00078{37M9} 193r22
194m4*u00079{37M9} 195r22
196m4*u00080{37M9} 197r22
198m4*u00081{37M9} 199r22
200m4*u00082{37M9} 201r22
202m4*u00083{37M9} 203r22
204m4*u00084{37M9} 205r22
206m4*u00085{37M9} 207r22
208m4*u00086{37M9} 209r22
210m4*u00087{37M9} 211r22
212m4*u00088{37M9} 213r22
214m4*u00089{37M9} 215r22
216m4*u00090{37M9} 217r22
218m4*u00091{37M9} 219r22
220m4*u00092{37M9} 221r22
222m4*u00093{37M9} 223r22
224m4*u00094{37M9} 225r22
226m4*u00095{37M9} 227r22
228m4*u00096{37M9} 229r22
230m4*u00097{37M9} 231r22
232m4*u00098{37M9} 233r22
234m4*u00099{37M9} 235r22
236m4*u00100{37M9} 237r22
238m4*u00101{37M9} 239r22
240m4*u00102{37M9} 241r22
242m4*u00103{37M9} 243r22
244m4*u00104{37M9} 245r22
246m4*u00105{37M9} 247r22
248m4*u00106{37M9} 249r22
250m4*u00107{37M9} 251r22
252m4*u00108{37M9} 253r22
254m4*u00109{37M9} 255r22
256m4*u00110{37M9} 257r22
258m4*u00111{37M9} 259r22
260m4*u00112{37M9} 261r22
262m4*u00113{37M9} 263r22
264m4*u00114{37M9} 265r22
266m4*u00115{37M9} 267r22
268m4*u00116{37M9} 269r22
270m4*u00117{37M9} 271r22
272m4*u00118{37M9} 273r22
274m4*u00119{37M9} 275r22
276m4*u00120{37M9} 277r22
278m4*u00121{37M9} 279r22
280m4*u00122{37M9} 281r22
282m4*u00123{37M9} 283r22
284m4*u00124{37M9} 285r22
286m4*u00125{37M9} 287r22
288m4*u00126{37M9} 289r22
290m4*u00127{37M9} 291r22
292m4*u00128{37M9} 293r22
294m4*u00129{37M9} 295r22
296m4*u00130{37M9} 297r22
298m4*u00131{37M9} 299r22
300m4*u00132{37M9} 301r22
302m4*u00133{37M9} 303r22
304m4*u00134{37M9} 305r22
306m4*u00135{37M9} 307r22
308m4*u00136{37M9} 309r22
310m4*u00137{37M9} 311r22
312m4*u00138{37M9} 313r22
314m4*u00139{37M9} 315r22
316m4*u00140{37M9} 317r22
318m4*u00141{37M9} 319r22
320m4*u00142{37M9} 321r22
322m4*u00143{37M9} 323r22
324m4*u00144{37M9} 325r22
326m4*u00145{37M9} 327r22
328m4*u00146{37M9} 329r22
330m4*u00147{37M9} 331r22
332m4*u00148{37M9} 333r22
334m4*u00149{37M9} 335r22
336m4*u00150{37M9} 337r22
338m4*u00151{37M9} 339r22
340m4*u00152{37M9} 341r22
342m4*u00153{37M9} 343r22
344m4*u00154{37M9} 345r22
346m4*u00155{37M9} 347r22
348m4*u00156{37M9} 349r22
350m4*u00157{37M9} 351r22
352m4*u00158{37M9} 353r22
354m4*u00159{37M9} 355r22
356m4*u00160{37M9} 357r22
358m4*u00161{37M9} 359r22
360m4*u00162{37M9} 361r22
362m4*u00163{37M9} 363r22
364m4*u00164{37M9} 365r22
366m4*u00165{37M9} 367r22
368m4*u00166{37M9} 369r22
370m4*u00167{37M9} 371r22
372m4*u00168{37M9} 373r22
374m4*u00169{37M9} 375r22
376m4*u00170{37M9} 377r22
378m4*u00171{37M9} 379r22
380m4*u00172{37M9} 381r22
382m4*u00173{37M9} 383r22
384m4*u00174{37M9} 385r22
386m4*u00175{37M9} 387r22
388m4*u00176{37M9} 389r22
390m4*u00177{37M9} 391r22
392m4*u00178{37M9} 393r22
394m4*u00179{37M9} 395r22
396m4*u00180{37M9} 397r22
398m4*u00181{37M9} 399r22
400m4*u00182{37M9} 401r22
402m4*u00183{37M9} 403r22
404m4*u00184{37M9} 405r22
406m4*u00185{37M9} 407r22
408m4*u00186{37M9} 409r22
410m4*u00187{37M9} 411r22
412m4*u00188{37M9} 413r22
414m4*u00189{37M9} 415r22
416m4*u00190{37M9} 417r22
418m4*u00191{37M9} 419r22
420m4*u00192{37M9} 421r22
422m4*u00193{37M9} 423r22
424m4*u00194{37M9} 425r22
426m4*u00195{37M9} 427r22
428m4*u00196{37M9} 429r22
430m4*u00197{37M9} 431r22
432m4*u00198{37M9} 433r22
434m4*u00199{37M9} 435r22
436m4*u00200{37M9} 437r22
438m4*u00201{37M9} 439r22
440m4*u00202{37M9} 441r22
442m4*u00203{37M9} 443r22
444m4*u00204{37M9} 445r22
446m4*u00205{37M9} 447r22
448m4*u00206{37M9} 449r22
450m4*u00207{37M9} 451r22
452m4*u00208{37M9} 453r22
454m4*u00209{37M9} 455r22
456m4*u00210{37M9} 457r22
458m4*u00211{37M9} 459r22
460m4*u00212{37M9} 461r22
462m4*u00213{37M9} 463r22
464m4*u00214{37M9} 465r22
466m4*u00215{37M9} 467r22
468m4*u00216{37M9} 469r22
470m4*u00217{37M9} 471r22
472m4*u00218{37M9} 473r22
474m4*u00219{37M9} 475r22
476m4*u00220{37M9} 477r22
478m4*u00221{37M9} 479r22
480m4*u00222{37M9} 481r22
482m4*u00223{37M9} 483r22
484m4*u00224{37M9} 485r22
486m4*u00225{37M9} 487r22
488m4*u00226{37M9} 489r22
490m4*u00227{37M9} 491r22
492m4*u00228{37M9} 493r22
494m4*u00229{37M9} 495r22
496m4*u00230{37M9} 497r22
498m4*u00231{37M9} 499r22
500m4*u00232{37M9} 501r22
502m4*u00233{37M9} 503r22
504m4*u00234{37M9} 505r22
506m4*u00235{37M9} 507r22
508m4*u00236{37M9} 509r22
510m4*u00237{37M9} 511r22
512m4*u00238{37M9} 513r22
514m4*u00239{37M9} 515r22
516m4*u00240{37M9} 517r22
518m4*u00241{37M9} 519r22
520m4*u00242{37M9} 521r22
522m4*u00243{37M9} 523r22
524m4*u00244{37M9} 525r22
526m4*u00245{37M9} 527r22
528m4*u00246{37M9} 529r22
530m4*u00247{37M9} 531r22
532m4*u00248{37M9} 533r22
534m4*u00249{37M9} 535r22
536m4*u00250{37M9} 537r22
538m4*u00251{37M9} 539r22
540m4*u00252{37M9} 541r22
542m4*u00253{37M9} 543r22
544m4*u00254{37M9} 545r22
546m4*u00255{37M9} 547r22
548m4*u00256{37M9} 549r22
550m4*u00257{37M9} 551r22
X 5 b__meanings.adb
9i4 E138{short_integer} 9m46 9r46 306m7 306r15
10i4 E018{short_integer} 10m46 10r46 304m7 304r15
11i4 E028{short_integer} 11m46 11r46 253m7 253r15
12i4 E218{short_integer} 12m46 12r46 255m7 255r15
13i4 E117{short_integer} 13m46 13r46 257m7 257r15
14i4 E081{short_integer} 14m46 14r46 259m7 259r15
15i4 E083{short_integer} 15m46 15r46 302m7 302r15
16i4 E086{short_integer} 16m46 16r46 262m7 262r15
17i4 E096{short_integer} 17m46 17r46 301m7 301r15
18i4 E116{short_integer} 18m46 18r46 265m7 265r15
19i4 E054{short_integer} 19m46 19r46 299m7 299r15
20i4 E151{short_integer} 20m46 20r46 298m7 298r15
21i4 E034{short_integer} 21m46 21r46 269m7 269r15
22i4 E119{short_integer} 22m46 22r46 271m7 271r15
23i4 E114{short_integer} 23m46 23r46 273m7 273r15
24i4 E121{short_integer} 24m46 24r46 275m7 275r15
25i4 E108{short_integer} 25m46 25r46 113m7 113r15 297m7 297r15
26i4 E104{short_integer} 26m46 26r46 114m7 114r15 295m7 295r15
27i4 E011{short_integer} 27m46 27r46 280m7 280r15
28i4 E060{short_integer} 28m46 28r46 282m7 282r15
29i4 E220{short_integer} 29m46 29r46 284m7 284r15
30i4 E143{short_integer} 30m46 30r46 143m7 143r15 286m7 286r15
31i4 E141{short_integer} 31m46 31r46 140m10 140r18 288m7 288r15
32i4 E230{short_integer} 32m46 32r46 129m7 129r15 290m7 290r15
33i4 E132{short_integer} 33m46 33r46 119m10 119r18 294m7 294r15
34i4 E194{short_integer} 34m46 34r46 122m7 122r15 292m7 292r15
35i4 E022{short_integer} 35m46 35r46 308m7 308r15
36i4 E094{short_integer} 36m46 36r46 106m7 106r15 310m7 310r15
37i4 E009{short_integer} 37m46 37r46 92m7 92r15 315m7 315r15
38i4 E147{short_integer} 38m46 38r46 93m7 93r15 313m7 313r15
39i4 E228{short_integer} 39m46 39r46 317m7 317r15
40i4 E156{short_integer} 40m46 40r46 85m7 85r15 320m7 320r15
41i4 E161{short_integer} 41m46 41r46 324m7 324r15
42i4 E006{short_integer} 42m46 42r46 322m7 322r15
43i4 E163{short_integer} 43m46 43r46 323m7 323r15
44i4 E191{short_integer} 44m46 44r46 327m7 327r15
45i4 E158{short_integer} 45m46 45r46 328m7 328r15
46i4 E187{short_integer} 46m46 46r46 331m7 331r15
47i4 E203{short_integer} 47m46 47r46 332m7 332r15
48i4 E199{short_integer} 48m46 48r46 348m7 348r15
49i4 E207{short_integer} 49m46 49r46 336m7 336r15
50i4 E208{short_integer} 50m46 50r46 338m7 338r15
51i4 E210{short_integer} 51m46 51r46 341m7 341r15
52i4 E205{short_integer} 52m46 52r46 343m7 343r15
53i4 E201{short_integer} 53m46 53r46 346m7 346r15
54i4 E215{short_integer} 54m46 54r46 350m7 350r15
55i4 E257{short_integer} 55m46 55r46 363m7 363r15
56i4 E252{short_integer} 56m46 56r46 362m7 362r15
57i4 E254{short_integer} 57m46 57r46 351m7 351r15
58i4 E217{short_integer} 58m46 58r46 76m10 76r18 365m7 365r15
59i4 E235{short_integer} 59m46 59r46 353m7 353r15
60i4 E248{short_integer} 60m46 60r46 354m7 354r15
61i4 E250{short_integer} 61m46 61r46 357m7 357r15
62i4 E242{short_integer} 62m46 62r46 360m7 360r15
63i4 E240{short_integer} 63m46 63r46 359m7 359r15
65a4 Local_Priority_Specific_Dispatching{string} 235r9
66a4 Local_Interrupt_States{string} 238r27
68b4 Is_Elaborated{boolean} 174r14 177m7 224r10 227m7
70U14 finalize_library 70b14 168l8 168t24 249r35
73U20*F1 74b<ada,words_engine__parse__finalize_body>30 77s10
80U20*F2 81b<ada,words_engine__parse__finalize_spec>30 83s10
87U20*F3 88b<ada,ada__text_io__finalize_spec>30 90s10
95U20*F4 96b<ada,system__regexp__finalize_spec>30 98s10
101U20*F5 102b<ada,ada__directories__finalize_spec>30 104s10
108U20*F6 109b<ada,ada__strings__unbounded__finalize_spec>30 111s10
116U20*F7 117b<ada,system__file_io__finalize_body>30 120s10
124U20*F8 125b<ada,system__direct_io__finalize_spec>30 127s10
131U20*F9 132b<ada,ada__streams__stream_io__finalize_spec>30 134s10
137U20*F10 138b<ada,system__file_control_block__finalize_spec>30 141s10
145U20*F11 146b<ada,system__pool_global__finalize_spec>30 148s10
151U20*F12 152b<ada,system__storage_pools__subpools__finalize_spec>30 154s10
157U20*F13 158b<ada,system__finalization_masters__finalize_spec>30 160s10
163U20*Reraise_Library_Exception_If_Any 164b<ada,__gnat_reraise_library_exception_if_any>33
. 166s10
171U17*s_stalib_adafinal 172b<c,system__standard_library__adafinal>25 178s7
181P9 No_Param_Proc 221r34
184i7*Main_Priority{integer} 185m25 185r25 228m7
186i7*Time_Slice_Value{integer} 187m25 187r25 229m7
188e7*WC_Encoding{character} 189m25 189r25 230m7
190e7*Locking_Policy{character} 191m25 191r25 231m7
192e7*Queuing_Policy{character} 193m25 193r25 232m7
194e7*Task_Dispatching_Policy{character} 195m25 195r25 233m7
196m7*Priority_Specific_Dispatching{6|64M9} 197m25 197r25 234m7
198i7*Num_Specific_Dispatching{integer} 199m25 199r25 236m7
200i7*Main_CPU{integer} 201m25 201r25 237m7
202m7*Interrupt_States{6|64M9} 203m25 203r25 238m7
204i7*Num_Interrupt_States{integer} 205m25 205r25 239m7
206i7*Unreserve_All_Interrupts{integer} 207m25 207r25 240m7
208i7*Detect_Blocking{integer} 209m25 209r25 241m7
210i7*Default_Stack_Size{integer} 211m25 211r25 242m7
212i7*Leap_Seconds_Support{integer} 213m25 213r25 243m7
215U17*Install_Handler 216b<c,__gnat_install_handler>25 246s10
218i7*Handler_Installed{integer} 219m25 219r25 245r10
221p7*Finalize_Library_Objects{181P9} 222m25 222r25 249m7
368U14 Ada_Main_Program 369b<ada,_ada_meanings>24 394s7
377U17*Initialize 377>29 378b<c,__gnat_initialize>25 392s7
377m29 Addr{6|64M9}
380U17*Finalize 381b<c,__gnat_finalize>25 396s7
382a7 SEH(integer) 392m19 392r19
384m7 Ensure_Reference{6|64M9} 385r24
X 6 system.ads
37K9*System 4|2w6 7r16 8r16 32r14 33r14 5|196r39 202r26 373r14 374r14 377r36
. 384r34 6|152e11
64M9*Address 4|7r23 8r23 32r21 33r21 5|196r46 202r33 373r21 374r21 377r43
. 384r41