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_ALLOCATORS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK

U system.secondary_stack%b  s-secsta.adb	17775d6d OL PK
W ada%s			ada.ads			ada.ali
W ada.unchecked_conversion%s
W ada.unchecked_deallocation%s
W system%s		system.ads		system.ali
W system.parameters%s	s-parame.adb		s-parame.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali

U system.secondary_stack%s  s-secsta.ads	844ab6bf BN EE NE OL PK
W system%s		system.ads		system.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
D a-unccon.ads		20121213103024 f9eb8f06
D a-uncdea.ads		20121213103024 f15a5ed1
D system.ads		20121213103024 90249111
D s-parame.ads		20121213103024 b6e20cc0
D s-secsta.ads		20121213103024 eea35a36
D s-secsta.adb		20121213103024 634fcf70
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-traent.ads		20121213103024 5221ee41
X 1 ada.ads
16K9*Ada 19e8 8|37r6 38r6 120r26 124r6 126r6 170r6 307r19
X 3 a-unccon.ads
20v14*Unchecked_Conversion 8|37w10 124r10 126r10 170r10
X 4 a-uncdea.ads
20u15*Unchecked_Deallocation 8|38w10 120r30 307r23
X 5 system.ads
37K9*System 152e11 7|34r6 36r9 38r24 112r14 119r5 8|34r6 35r6 40r14 42r24
. 45r13 463r23 532r10 537r10 540r5
64M9*Address 7|46r21 67r26 72r36 112r21 8|124r32 126r43 170r32 178r26 292r36
. 420r21 463r30 508r23
66m4*Null_Address{64M9} 8|323r20
X 6 s-parame.ads
51K16*Parameters 213e22 8|35w13 45r20 48r25 48r59
58I9*Task_Storage_Size<integer>
61I9*Size_Type<58I9> 8|45r31
67I12*Percentage{61I9}
68i4*Dynamic{61I9} 8|48r70
75i4*Sec_Stack_Percentage{67I12} 8|48r36
X 7 s-secsta.ads
36K16*Secondary_Stack 5|37k9 7|119l12 119e27 8|40b21 540l12 540t27
38K12*SSE=38:31 68r22 108r23 8|44r13 58r46 112r23 179r22 256r22 410r25 452r36
. 531r12
40i4*Default_Secondary_Stack_Size{natural} 47r25 8|421r25 512r10 524r37 531r32
. 536r34
45U14*SS_Init 46=7 47>7 8|419b14 456l8 456t15 536s10
46m7 Stk{5|64M9} 8|420b7 429r49 453m13
47i7 Size{natural} 8|421b7 435r16 439r26 450r61 452r55
66U14*SS_Allocate 67<7 68>7 8|177b14 286l8 286t19
67m7 Addr{5|64M9} 8|178b7 212m13 281m13
68i7 Storage_Size{12|62I12} 8|179b7 183r34
72U14*SS_Free 72=23 8|292b14 326l8 326t15
72m23 Stk{5|64M9} 8|292b23 303r48 323m13
77R9*Mark_Id 80r28 83r30 111c9 114e14 8|462r28 476r30
80V13*SS_Mark{77R9} 8|462b13 470l8 470t15
83U14*SS_Release 83>26 8|476b14 483l8 483t18
83r26 M{77R9} 8|476b26 479r24 479r39 481r30 481r45
88V13*SS_Get_Max{long_long_integer} 8|332b13 344l8 344t18
97U22 Put_Line 97>32 8|352s7 362s13 367s13 394s13 399s13 404s13 408s13
97s32 S{string}
98u14*SS_Info 8|350b14 413l8 413t15
104i4 SS_Pool{integer}
108M9 SS_Ptr<12|105M9> 113r14 8|58r26 102r33 105r33 111r23 138r13 142r14
. 147r13 181r31 181r41 182r31 183r26 260r46 364r25 369r25 396r25 401r25 439r18
. 450r53 524r29
112m7*Sstk{5|64M9} 8|466m18 468m18 479r26 481r32
113m7*Sptr{108M9} 8|466m32 468m32 479r41 481r47
X 8 s-secsta.adb
42K12 SSL=42:31 192r49 221r37 339r49 359r49 378r41 463r41
47b4 SS_Ratio_Dynamic{boolean} 189r14 296r14 334r10 356r14 426r14 465r10
. 478r10 527r10
58A9 Memory(12|64M9)<7|108M9> 59r8 107r20 152r13
102R9 Chunk_Id 102d19 102d26 103r33 105c9 108e14 120r54 258r25 268r25 450r40
. 501r20 524r16
102m19 First{7|108M9} 105r19
102m26 Last{7|108M9} 105r26
103P9 Chunk_Ptr(102R9) 106r20 113r23 120r64 222r21 224r36 304r21 380r25 509r23
105R9 Chunk_Id
105m19*First{7|108M9} 107r28 232r25 245r56 276r35
105m26*Last{7|108M9} 107r37 240r25 259r39 260r39 269r39 270r39 396r45
106p7*Prev{103P9} 233r31 245r28 247r37 249m48 262m30 272m30 312r25 313r31
. 318m28 383r25 384r31
106p13*Next{103P9} 241r25 248m28 248r57 249r43 257m25 262r25 267m25 272r25
. 275r35 316r25 317r31 387r25 389r31
107a7*Mem{58A9} 281m42
110R9 Stack_Id 114e14 116r29 307r47 449r40 494r20
111m7*Top{7|108M9} 232r39 240r38 245r70 276m22 281r53 282m19 282r42 401r45
. 451m19 466r60 479m32 528m16
112i7*Default_Size{12|62I12} 256r60 260r60 410r56 452m19 530m16
113p7*Current_Chunk{103P9} 227r28 283m19 310r28 380r44 450m19 529m16
116P9 Stack_Ptr(110R9) 124r41 126r32 220r30 303r21 307r57 377r34 447r21
120U14 Free[4|20] 250s22 318s16 321s13
123V13 To_Stack_Ptr[3|20]{116P9} 221s23 303s34 378s27 466s40 479s10
125V13 To_Addr[3|20]{5|64M9} 453s20
137R9 Fixed_Stack_Id 157e14 159r24 166r35
138m7*Top{7|108M9} 197r28 201r31 207r47 212r50 213m25 213r44 369r51 432m25
. 468r66 481m38
142m7*Last{7|108M9} 201r60 364r51 436m28 438m28
147m7*Max{7|108M9} 197r57 207m28 341r51 433m25
152a7*Mem{58A9} 212m33 435r41 439r52
159r4 Dummy_Fixed_Stack{137R9} 160r26 435r23 439r34
166P9 Fixed_Stack_Ptr(137R9) 170r41 191r36 338r36 358r36 428r36
169V13 To_Fixed_Stack_Ptr[3|20]{166P9} 192s29 339s29 359s29 429s29 468s40
. 481s10
181m7 Max_Align{7|108M9} 183r50 183r67 184r28
182m7 Max_Size{7|108M9} 197r34 201r37 207r53 213r50 240r48 256r41 270r46
. 282r48
191p13 Fixed_Stack{166P9} 197r16 197r45 201r19 201r48 207m16 207r16 207r35
. 212m21 212r21 212r38 213m13 213r13 213r32
220p13 Stack{116P9} 227r22 232r33 240r32 245r64 256r54 260r54 276m16 276r16
. 281r47 282m13 282r13 282r36 283m13 283r13
222p13 Chunk{103P9} 227m13 232r19 233m16 233r25 240r19 241r19 245r22 245r50
. 246r46 247m22 247r31 248m22 248r22 249r56 257m19 257r19 259r33 260r33 262m19
. 262r19 262r38 267m19 267r19 269r33 270r33 272m19 272r19 272r38 275m16 275r29
. 276r29 281m36 281r36 283r36
224p13 To_Be_Released_Chunk{103P9} 246m22 248r36 249m22 249r22 250m28 250r28
303p13 Stack{116P9} 310r22 322m19 322r19
304p13 Chunk{103P9} 310m13 312r19 313m16 313r25 316r19 317m16 317r25 318r22
. 321m19 321r19
306U23 Free[4|20] 322s13
338p13 Fixed_Stack{166P9} 341r39
358p13 Fixed_Stack{166P9} 364r39 369r39
377p13 Stack{116P9} 380r38 401r39 410r50
379i13 Nb_Chunks{integer} 388m16 388r29 406r40
380p13 Chunk{103P9} 383r19 384m16 384r25 387r19 389m16 389r25 396r39
428p13 Fixed_Stack{166P9} 432m13 432r13 433m13 433r13 436m16 436r16 438m16
. 438r16
447p13 Stack{116P9} 449m13 450m13 450r13 451m13 451r13 452m13 452r13 453r29
463m7 Sstk{5|64M9} 466r26 466r54 468r26 468r60
494r4 Stack{110R9} 495r8 528m10 529m10 530m10 532m51 532r51
497N4 Static_Secondary_Stack_Size 501r33 512r42
501r4 Chunk{105R9} 502r8 517m26 517r26
508m7 Chunk_Address{5|64M9} 535m10 536m19 536r19 537r51
509p7 Chunk_Access{103P9} 517m10 523m10 529r33 535r27
X 9 s-soflin.ads
45K16*Soft_Links 8|34w13 42r31 532r17 537r17 9|408e22
72P9*Get_Address_Call(5|64M9)
241U14*Set_Sec_Stack_Addr_NT 8|532s28 537s28
243p4*Get_Sec_Stack_Addr{72P9} 8|192r53 221r41 339r53 359r53 378r45 463r45
X 12 s-stoele.ads
42K16*Storage_Elements 7|34w13 38r31 12|117e28
54I9*Storage_Offset<long_integer> 8|44r17 531r16
62I12*Storage_Count{54I9} 7|68r26 8|112r27 179r26 256r26 410r29 452r40
64M9*Storage_Element 8|58r50
105M9*Integer_Address 7|108r27