MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_EXCEPTIONS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_OBSOLESCENT_FEATURES
RV SPARK

U gnat.dynamic_tables%b	g-dyntab.adb		b73235ab NE OL PK GE
W ada%s			ada.ads			ada.ali
W ada.unchecked_conversion%s
W gnat%s		gnat.ads		gnat.ali
W gnat.heap_sort_g%s
W system%s		system.ads		system.ali
W system.memory%s	s-memory.adb		s-memory.ali

U gnat.dynamic_tables%s	g-dyntab.ads		26ee73aa BN EE NE OL PK GE
W gnat%s		gnat.ads		gnat.ali

D ada.ads		20121213103024 3ffc8e18
D a-unccon.ads		20121213103024 f9eb8f06
D gnat.ads		20121213103024 fd2ad2f1
D g-dyntab.ads		20121213103024 dbc4a15b
D g-dyntab.adb		20121213103024 dfdb1428
D g-hesorg.ads		20121213103024 106922da
D g-hesorg.adb		20121213103024 33b32c5b
D system.ads		20121213103024 90249111
D s-memory.ads		20121213103024 ca8bbc15
X 1 ada.ads
16K9*Ada 19e8 5|38r6 58r31 59r31
X 2 a-unccon.ads
20v14*Unchecked_Conversion 5|38w10 58r35 59r35
X 3 gnat.ads
34K9*GNAT 37e9 4|58r9 223r5 5|34r6 40r14 348r32 404r5
X 4 g-dyntab.ads
51+9 Table_Component_Type 93r43 164r53 178r15 192r17 199r39 5|80r53 239r16
. 292r34 334r14
52I9 Table_Index_Type 54r22 93r13 95r37 127r40 144r21 147r55 177r15 191r17
. 5|82r20 112r39 175r40 177r14 238r16 248r38 286r37 314r55 339r48 354r48
. 356r16 358r17
54*4 Table_Low_Bound{52I9} 95r18 144r41 5|42r39 112r20 227r45
55i4 Table_Initial{positive} 5|151r29
56i4 Table_Increment{natural} 5|191r47
58k14*Dynamic_Tables 3|34k9 4|51z9 52z9 54z4 55z4 56z4 223l10 223e24 5|40b19
. 404l10 404t24
92A9*Table_Type(51+9)<52I9> 95r6 172r58 5|89r58 205r18 248r9
94A12*Big_Table_Type{92A9}<52I9> 103r33
103P9*Table_Ptr(94A12) 104r8 112r23 5|58r57 59r66
108R9*Table_Private 119r11 211c9 221e14
111R9*Instance 120e14 122r31 127r23 134r34 140r31 147r35 156r41 160r41 164r33
. 172r37 176r22 185r35 194r32 200r41 5|49r37 67r35 80r33 89r37 100r41 109r32
. 122r31 133r41 146r31 175r23 184r37 225r34 237r23 314r35 332r41
112p7 Table{103P9} 5|113r30 113r31 124r27 125m9 207r12 208m12 211m12 212r55
. 216r37 248r23 253r37 295r14 295r15 306r11 306r12 368r18 368r19 371r26 371r27
. 374r18 374r19 375r20 375r21 386r35 386r36 389r29 389r30 393r24 393r25 394r25
. 394r26
119r7 P{108R9} 5|69m9 69r25 71r12 71r27 82r40 102m9 102r25 112r63 126m9 135m9
. 135r25 137r12 137r27 147r42 150m9 151m9 152m9 152r25 159r25 177r34 189r12
. 189r22 190r18 190r28 191r29 193r31 194m18 196m18 196r32 199m15 199r32 204r20
. 216r12 227m9 227r23 228m9 228r23 248r58 275r62 286r57 302r33 316r32 317m12
. 320m12 322r15 322r30
122U14*Init 122=20 5|146b14 169l8 169t12
122r20 T{111R9} 5|146b20 147r40 150m7 151m7 152m7 152r23 159r23 167m22
127V13*Last{52I9} 127>19 128r19 5|175b13 178l8 178t12 401s32
127r19 T{111R9} 5|175b19 177r32
134U14*Release 134=23 5|225b14 230l8 230t15
134r23 T{111R9} 5|225b23 227m7 227r21 228m7 228r21 229m19
140U14*Free 140=20 5|122b14 127l8 127t12
140r20 T{111R9} 5|122b20 124r25 125m7 126m7
144*4*First{52I9} 5|356r38 401r47
147U14*Set_Last 147=24 147>45 148r19 5|294s13 303s13 314b14 326l8 326t16
147r24 T{111R9} 5|314b24 316r30 317m10 320m10 322r13 322r28 323m25
147*45 New_Val{52I9} 5|314b45 316r19 317r35 320r35
156U14*Increment_Last 156=30 157r19 5|133b14 140l8 140t22
156r30 T{111R9} 5|133b30 135m7 135r23 137r10 137r25 138m22
160U14*Decrement_Last 160=30 161r19 5|100b14 103l8 103t22
160r30 T{111R9} 5|100b30 102m7 102r23
164U14*Append 164=22 164>43 165r19 5|80b14 83l8 83t14 92s10
164r22 T{111R9} 5|80b22 82m17 82r38
164*43 New_Val{51+9} 5|80b43 82r57
172U14*Append_All 172=26 172>47 5|89b14 94l8 94t18
172r26 T{111R9} 5|89b26 92m18
172a47 New_Vals{92A9} 5|89b47 91r16 92r21
175U14*Set_Item 176=7 177>7 178>7 179r19 5|82s7 236b14 308l8 308t16
176r7 T{111R9} 5|237b8 248r21 248r56 253r35 275r60 286r55 294m23 295m13 302r31
. 303m23 306m10
177*7 Index{52I9} 5|238b8 275r51 294r26 295r22 302r22 303r26 306r19
178*7 Item{51+9} 5|239b8 284r45 285r18 292r58 306r29
185U14*Allocate 185=24 185>45 186r19 5|67b14 74l8 74t16
185r24 T{111R9} 5|67b24 69m7 69r23 71r10 71r25 72m22
185i45 Num{integer} 5|67b45 69r38
190U21 Action 191>9 192>9 193=9 5|113s10
191*9 Index{52I9}
192*9 Item{51+9}
193b9 Quit{boolean}
194u14*For_Each 194>24 5|109b14 116l8 116t16
194r24 Table{111R9} 5|109b24 112r57 113r25
199V20 Lt{boolean} 199>24 199>31 5|386s20 389s20 393s15
199*24 Comp1{51+9}
199*31 Comp2{51+9}
200u14*Sort_Table 200=26 5|332b14 402l8 402t18
200r26 Table{111R9} 5|332b26 368m13 371r21 374m13 375r15 386r30 389r24 393r19
. 394r20 401r38
212i7 Max{integer} 5|71r29 137r29 151m11 152r27 189r14 190r20 199m17 204r22
. 228m11 248r60 275r64 286r59 322r32
215i7 Length{integer} 5|126m11 147r44 152m11 159r27 191r31 193r33 194m20
. 196m20 196r34 199r34 216r14 227m11
219i7 Last_Val{integer} 5|69m11 69r27 71r14 82r42 102m11 102r27 112r65 135m11
. 135r27 137r14 150m11 177r36 189r24 190r30 227r25 228r25 302r35 316r34 317m14
. 320m14 322r17
X 5 g-dyntab.adb
42i4 Min{integer} 150r23 151r23 152r33 199r24 204r28
49U14 Reallocate 49=26 72s10 138s10 167s10 184b14 219l8 219t18 229s7 323s13
49r26 T{4|111R9} 184b26 189r10 189r20 190r16 190r26 191r27 193r29 194m16
. 196m16 196r30 199m13 199r30 204r18 207r10 208m10 211m10 212r53 216r10 216r35
58V13 To_Address[2|20]{8|64M9} 124s13 212s41
59V13 To_Pointer[2|20]{4|103P9} 208s21 212s12
91i11 J 92r31
110b7 Quit{boolean} 113m46 113r46 114r20
112i11 Index 113r18 113r38
147i7 Old_Length{integer} 159r10
185i7 New_Length{integer} 191m13 193r16 194r30
186m7 New_Size{9|48M9} 203m7 208r40 210r13 213r41
247A15 Allocated_Table_T{4|92A9}<4|52I9> 258r25
252m7 Allocated_Table_Address{8|64M9} 261r39
258a7 Allocated_Table{247A15} 259m27 259r27 260r43 261m11 261r11 284m18 284r18
. 286m20 286r20
275b7 Need_Realloc{boolean} 283r10
292*13 Item_Copy{4|51+9} 295r32
334*7 Temp{4|51+9} 368r44 371m13 386r24 389r54
339V16 Index_Of{4|52I9} 339>26 354b16 359l11 359t19 368s26 371s34 374s26
. 375s28 386s43 389s37 393s32 394s33
339i26 Idx{natural} 354b26 356r47
342V16 Lower_Than{boolean} 342>28 342>33 348r56 383b16 396l11 396t21
342i28 Op1{natural} 383b28 385r13 389r47 393r42
342i33 Op2{natural} 383b33 386r53 388r16 394r43
345U17 Move 345>23 345>39 348r50 365b17 377l11 377t15
345i23 From{natural} 365b23 367r13 371r44 375r38
345i39 To{natural} 365b39 368r36 370r16 374r36
348K15 Heap_Sort[6|78] 401r7
355i10 J{integer} 358r39
X 6 g-hesorg.ads
78k14*Heap_Sort_G 5|34w11 348r37 6|88e21
81U14 Sort 5|401s17[348]
X 8 system.ads
37K9*System 5|35w6 35r25 36r6 36r25 252r42 8|152e11
64M9*Address 5|58r68 59r57 252r49
68N4*Storage_Unit 5|205r46
74V14*"<"{boolean} 5|285r31
75V14*"<="{boolean} 5|284r42
X 9 s-memory.ads
45K16*Memory 5|36w13 36r32 9|107e18
48M9*size_t 5|186r20 204r9
53V13*Alloc{8|64M9} 5|208s33 9|103i<c,__gnat_malloc>22
68U14*Free 5|124s7 9|104i<c,__gnat_free>22
76V13*Realloc{8|64M9} 5|212s24 9|105i<c,__gnat_realloc>22
77m7 Ptr{8|64M9} 5|212r33
78m7 Size{48M9} 5|213r33