V "GNAT Lib v15"
A -nostdinc
A -O2
A -Wextra
A -Wall
A -gnatwa
A -g
A -gnatp
A -gnatg
A -march=armv8-a
A -mlittle-endian
A -mabi=lp64
P ZX

RN
RV NO_ALLOCATORS
RV NO_EXCEPTIONS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS

U gnat.lists%b		g-lists.adb		0c7515d2 NE OL PK
W ada%s			ada.ads			ada.ali
W ada.unchecked_deallocation%s
W gnat%s		gnat.ads		gnat.ali

U gnat.lists%s		g-lists.ads		ec560056 BN EE NE OL PK
W gnat%s		gnat.ads		gnat.ali

D ada.ads		20250808065140 76789da1 ada%s
D a-unccon.ads		20250808065140 0e9b276f ada.unchecked_conversion%s
D a-uncdea.ads		20250808065140 c3a8ac65 ada.unchecked_deallocation%s
D gnat.ads		20250808065140 b5988c27 gnat%s
D g-lists.ads		20250808065140 59ce8c71 gnat.lists%s
D g-lists.adb		20250808065140 961335c6 gnat.lists%b
D system.ads		20250808065140 d0bef732 system%s
D s-exctab.ads		20250808065140 91bef6ef system.exception_table%s
D s-stalib.ads		20250808065140 1c9580f6 system.standard_library%s
G a e
X 1 ada.ads
18K9*Ada 22e8 6|32r6 71r13 74r29
X 3 a-uncdea.ads
23u15*Unchecked_Deallocation 6|32w10 71r17 74r33
X 4 gnat.ads
40K9*GNAT 63e9 5|35r9 253r5 6|34r14 737r5
51X4*Iterated 6|336r19
56X4*Iterator_Exhausted 6|629r19
61X4*Not_Created 6|308r19
X 5 g-lists.ads
35K14*Lists 4|40k9 5|253l10 253e15 6|34b19 737l10 737t15
58+12 Element_Type 61r18 62r18 64r53 85r17 91r17 99r17 129r54 135r18 136r18
. 143r19 144r19 152r53 158r17 167r21 168r21 205r21 218r17 6|64r17 78r18 113r17
. 152r17 172r17 397r17 422r54 455r18 456r18 483r19 484r19 511r18 589r53 617r21
. 645r17 693r21 694r21
60V22 "="{boolean} 61>10 62>10 6|380r30 408s25
61*10 Left{58+12}
62*10 Right{58+12}
64U22 Destroy_Element 64=39 6|262s10
64*39 Elem{58+12}
67b7 Check_Tampering{boolean} 6|335r13
69k12*Doubly_Linked_Lists 58z12 60z22 64z22 67z7 215E12 251l8 251e27 6|36b17
. 735l8 735t27
75P12*Doubly_Linked_List 76r22 84r17 90r17 94r30 98r17 106r35 112r34 118r37
. 124r18 125r18 129r27 134r18 142r19 149r30 152r26 157r17 162r29 166r21 173r26
. 199r29 237c12 238r22 248r17 6|38r16 47r37 52r34 57r38 72r47 77r18 95r27
. 103r29 112r17 141r30 151r17 171r17 194r35 215r34 237r16 271r37 305r37 316r34
. 329r38 345r18 346r18 422r27 454r18 482r19 510r18 535r30 573r29 589r26 601r27
. 644r17 673r29 692r21 715r26 726r29
76p7*Nil{75P12} 238c7 6|356r20 356r41 361r23 361r43 675r22
81X7*List_Empty 6|321r19
83U17*Append 84>10 85>10 6|111b17 135l11 135t17
84p10 L{75P12} 6|112b10 118r27 119r27 124r18 131r22
85*10 Elem{58+12} 6|113b10 132r22
89V16*Contains{boolean} 90>10 91>10 6|150b16 164l11 164t19
90p10 L{75P12} 6|151b10 158r26 160r18
91*10 Elem{58+12} 6|152b10 161r35
94V16*Create{75P12} 6|141b16 144l11 144t17
97U17*Delete 98>10 99>10 6|170b17 188l11 188t17
98p10 L{75P12} 6|171b10 178r27 179r27 180r27 182r18 186r26
99*10 Elem{58+12} 6|172b10 183r35
106U17*Delete_First 106>31 6|194b17 209l11 209t23
106p31 L{75P12} 6|194b31 199r27 200r27 201r27 203r18 207r26
112U17*Delete_Last 112>30 6|215b17 230l11 230t22
112p30 L{75P12} 6|215b30 220r27 221r27 222r27 224r18 228r26
118U17*Destroy 118=26 6|271b17 285l11 285t18
118p26 L{75P12} 6|271b26 275r27 276r27 278r18 281r26 284m16
123V16*Equal{boolean} 124>10 125>10 6|344b16 389l11 389t16
124p10 Left{75P12} 6|345b10 356r13 361r16 366r22 372r24
125p10 Right{75P12} 6|346b10 356r33 361r35 366r37 374r24
129V16*First{58+12} 129>23 6|422b16 428l11 428t16
129p23 L{75P12} 6|422b23 424r26 425r26 427r17
133U17*Insert_After 134>10 135>10 136>10 6|453b17 475l11 475t23
134p10 L{75P12} 6|454b10 462r27 463r27 465r18 470r25
135*10 After{58+12} 6|455b10 466r35
136*10 Elem{58+12} 6|456b10 471r25
141U17*Insert_Before 142>10 143>10 144>10 6|481b17 503l11 503t24
142p10 L{75P12} 6|482b10 490r27 491r27 493r18 498r25
143*10 Before{58+12} 6|483b10 494r35
144*10 Elem{58+12} 6|484b10 499r25
149V16*Is_Empty{boolean} 149>26 6|535b16 540l11 540t19
149p26 L{75P12} 6|535b26 537r26 539r17
152V16*Last{58+12} 152>22 6|589b16 595l11 595t15
152p22 L{75P12} 6|589b22 591r26 592r25 594r17
156U17*Prepend 157>10 158>10 6|643b17 667l11 667t18
157p10 L{75P12} 6|644b10 650r27 651r27 656r18 663r22
158*10 Elem{58+12} 6|645b10 664r22
162V16*Present{boolean} 162>25 6|248s25 307s17 318s25 331s25 515s25 603s25
. 673b16 676l11 676t18 728s25
162p25 L{75P12} 6|673b25 675r17
165U17*Replace 166>10 167>10 168>10 6|691b17 709l11 709t18
166p10 L{75P12} 6|692b10 700r27 701r27 703r18
167*10 Old_Elem{58+12} 6|693b10 704r35
168*10 New_Elem{58+12} 6|694b10 707r25
173V16*Size{natural} 173>22 6|366s16 366s31 715b16 720l11 720t15
173p22 L{75P12} 6|715b22 717r26 719r17
192R12*Iterator 194r33 199r56 204r24 242c12 250e17 6|84r33 434r33 546r33
. 573r56 616r24
194V16*Has_Next{boolean} 194>26 6|434b16 447l11 447t19
194r26 Iter{192R12} 6|434b26 435r48 443r21
199V16*Iterate{192R12} 199>25 6|573b16 583l11 583t18
199p25 L{75P12} 6|573b25 575r26 580r16 582r26 582r41
203U17*Next 204=10 205<10 6|615b17 637l11 637t15
204r10 Iter{192R12} 6|616b10 619r49 620r39 628r21 634m10 634r27
205*10 Elem{58+12} 6|617b10 636m10
215R12 Node 216r35 217c12 222e17 233r26 6|74r57 520r22
216P12 Node_Ptr(215R12) 220r17 221r17 243r21 6|39r16 43r41 63r17 64r38 74r63
. 79r18 80r18 89r17 90r17 99r31 115r17 154r17 155r17 174r17 175r17 195r17
. 196r17 216r17 217r17 238r16 240r16 244r26 245r26 272r17 291r41 348r23 349r23
. 350r23 351r23 396r17 397r38 401r16 458r17 459r17 486r17 487r17 512r18 513r18
. 519r25 559r17 560r17 620r27 647r17 682r31 696r17 697r17
217R12 Node
218*10 Elem{58+12} 6|262m31 380r25 380r43 408r20 427r30 520m28 594r30 636r24
. 707m17
220p10 Next{216P12} 6|204r23 244r42 252m15 255m14 280r31 281r34 295r31 296m18
. 373r34 375r35 384r35 385r36 406r22 412r24 427r25 473r29 521m28 525m15 582r49
. 634r41 666r27
221p10 Prev{216P12} 6|133r27 225r23 245r42 253m15 256m14 295r64 297m18 500r29
. 522m28 526m16 594r25
226R12 Doubly_Linked_List_Attributes 235e17 237r45 6|72r16 143r21
227i10 Elements{natural} 6|258m12 258r26 320r15 528m12 528r26 539r19 719r19
230i10 Iterators{natural} 6|335r40 608m12 608r27 733m12 733r27
233r10 Nodes{217R12} 6|124m20 160m20 182m20 203m20 224m20 278m20 372m29 374m30
. 427r19 465m20 493m20 551m52 582r43 594r19 656m20 703m20
243p10 Curr_Nod{216P12} 6|551r32 582m29 620r44 634m15 634r32
248p10 List{75P12} 6|443r26 551r47 582m18 628r26
X 6 g-lists.adb
37U17 Delete_Node 38>10 39>10 40r22 186s13 207s13 228s13 236b17 265l11 265t22
. 281s13
38p10 L{5|75P12} 237b10 248r34 258r10 258r24
39p10 Nod{5|216P12} 238b10 240r28 262r27
43U17 Ensure_Circular 43>34 44r22 125s10 291b17 299l11 299t26 657s10
43p34 Head{5|216P12} 291b34 292r34 295r26 295r59 296r13 296r26 297r13 297r26
47U17 Ensure_Created 47>33 48r22 118s10 158s10 178s10 199s10 220s10 275s10
. 305b17 310l11 310t25 424s10 462s10 490s10 537s10 575s10 591s10 650s10 700s10
. 717s10
47p33 L{5|75P12} 305b33 307r26
52U17 Ensure_Full 52>30 53r22 179s10 200s10 221s10 316b17 323l11 323t22 425s10
. 592s10
52p30 L{5|75P12} 316b30 318r34 320r13
57U17 Ensure_Unlocked 57>34 58r22 119s10 180s10 201s10 222s10 276s10 329b17
. 338l11 338t26 463s10 491s10 651s10 701s10
57p34 L{5|75P12} 329b34 331r34 335r38
62V16 Find_Node{5|216P12} 63>10 64>10 65r22 161s18 183s18 395b16 416l11 416t20
. 466s18 494s18 704s18
63p10 Head{5|216P12} 396b10 399r34 406r17 407r31
64*10 Elem{5|58+12} 397b10 408r27
70U17 Free[3|23] 284s10
74U17 Free[3|23] 264s10
76U17 Insert_Between 77>10 78>10 79>10 80>10 81r22 130s10 469s13 497s13 509b17
. 529l11 529t25 662s10
77p10 L{5|75P12} 131r13 470r16 498r16 510b10 515r34 528r10 528r24 663r13
78*10 Elem{5|58+12} 132r13 471r16 499r16 511b10 520r36 664r13
79p10 Left{5|216P12} 133r13 472r16 500r16 512b10 516r34 522r36 525r10 665r13
80p10 Right{5|216P12} 134r13 473r16 501r16 513b10 517r34 521r36 526r10 666r13
84V16 Is_Valid{boolean} 84>26 85r22 435s38 546b16 552l11 552t19 619s39
84r26 Iter{5|192R12} 546b26 551r27 551r42
88V16 Is_Valid{boolean} 89>10 90>10 163s17 185s13 206s13 227s13 280s16 376s16
. 378s16 407s16 468s13 496s13 551s17 558b16 567l11 567t19 706s13
89p10 Nod{5|216P12} 559b10 566r26 566r40
90p10 Head{5|216P12} 560b10 566r47
95U17 Lock 95>23 96r22 580s10 601b17 609l11 609t15
95p23 L{5|75P12} 601b23 603r34 608r10 608r25
99V16 Present{boolean} 99>25 242s25 249s25 250s25 292s25 295s17 295s50 399s25
. 516s25 517s25 566s17 682b16 685l11 685t18
99p25 Nod{5|216P12} 682b25 684r17
103U17 Unlock 103>25 104r22 443s13 628s13 726b17 734l11 734t17
103p25 L{5|75P12} 726b25 728r34 733r10 733r25
115p10 Head{5|216P12} 124m10 125r27 133r22 134r22
154p10 Head{5|216P12} 160m10 161r29 163r32
155p10 Nod{5|216P12} 161m10 163r27
174p10 Head{5|216P12} 182m10 183r29 185r28
175p10 Nod{5|216P12} 183m10 185r23 186r29
195p10 Head{5|216P12} 203m10 204r18 206r28
196p10 Nod{5|216P12} 204m10 206r23 207r29
216p10 Head{5|216P12} 224m10 225r18 227r28
217p10 Nod{5|216P12} 225m10 227r23 228r29
240p10 Ref{5|216P12} 242r34 244r38 245r38 255r10 256r10 264m16 264r16
244p10 Next{5|216P12} 249r34 252r23 253r10
245p10 Prev{5|216P12} 250r34 252r10 253r23
272p10 Head{5|216P12} 278m10 280r26 280r37 281r29
348p10 Left_Head{5|216P12} 372m10 373r24 376r37
349p10 Left_Nod{5|216P12} 373m10 376r26 380r16 384m13 384r26
350p10 Right_Head{5|216P12} 374m10 375r24 378r37
351p10 Right_Nod{5|216P12} 375m10 378r26 380r33 385m13 385r26
401p10 Nod{5|216P12} 406m10 407r26 408r16 409r23 412m13 412r20
435b10 Is_OK{boolean} 442r17 446r17
458p10 Head{5|216P12} 465m10 466r29 468r28
459p10 Nod{5|216P12} 466m10 468r23 472r25 473r25
486p10 Head{5|216P12} 493m10 494r29 496r28
487p10 Nod{5|216P12} 494m10 496r23 500r25 501r25
519p10 Nod{5|216P12} 525r24 526r24
619b10 Is_OK{boolean} 627r17
620p10 Saved{5|216P12} 636r18
647p10 Head{5|216P12} 656m10 657r27 665r22 666r22
696p10 Head{5|216P12} 703m10 704r29 706r28
697p10 Nod{5|216P12} 704m10 706r23 707r13