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_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK

U system.pool_size%b	s-poosiz.adb		17f3840e NE OL PK
W ada%s			ada.ads			ada.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.unchecked_conversion%s
W system%s		system.ads		system.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali

U system.pool_size%s	s-poosiz.ads		8cea04f8 EB EE OL PF PK
W ada.tags%s		a-tags.adb		a-tags.ali
W system%s		system.ads		system.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.storage_pools%s  s-stopoo.adb		s-stopoo.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
D a-finali.ads		20121213103024 52ecdc1b
D a-stream.ads		20121213103024 2ca4ee37
D a-tags.ads		20121213103024 6c0509d0
D a-unccon.ads		20121213103024 f9eb8f06
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-finroo.ads		20121213103024 4ff27390
D s-parame.ads		20121213103024 b6e20cc0
D s-poosiz.ads		20130106093132 9d8c569f
D s-poosiz.adb		20121213103029 575c48ab
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-stopoo.ads		20121213103024 7b8fbeee
D s-traent.ads		20121213103024 5221ee41
X 1 ada.ads
16K9*Ada 19e8 12|34r6 52r10
X 3 a-finali.ads
59U14*Finalize<9|43p14>
X 6 a-unccon.ads
20v14*Unchecked_Conversion 12|34w10 52r14
X 7 system.ads
37K9*System 152e11 11|32r6 33r6 35r9 53r19 54r19 55r19 57r11 58r30 59r30
. 60r30 61r30 66r41 70r26 71r22 72r22 76r22 77r22 78r22 82r5 12|32r6 36r14
. 38r24 48r24 54r59 68r29 74r25 87r26 125r22 220r17 229r29 286r17 298r25
. 412r5
64M9*Address 11|70r33 76r29 12|52r36 68r36 74r32 87r33 125r29 220r24 229r36
. 286r24 298r32
68N4*Storage_Unit 12|54r66
X 9 s-finroo.ads
42U14*Adjust
X 11 s-poosiz.ads
35K16*Pool_Size 7|37k9 11|82l12 82e21 12|36b21 412l12 412t21
52R9*Stack_Bounded_Pool<18|42R9> 3|59P14 9|42p14 11|53d7 54d7 55d7 63e17
. 65P24 66r14 68P25 69r29 74P25 75r29 80P25 80r51 12|65r44 67r32 73r32 86r29
. 124r29 151r41 184r14 199r24 204r24 209r18 214r18 219r17 228r32 285r17 297r32
. 323r44 341r18 360r24 379r24 398r18
53i7*Pool_Size{16|62I12} 62r62 12|102r35 187r19 327r18 331r52
54i7*Elmt_Size{16|62I12} 12|94r15 132r15 163r15 175r21
55i7*Alignment{16|62I12} 12|160r54
58i10*First_Free{16|62I12} 12|97r18 98r41 99m15 136r56 137m15 167m15 248r29
. 314r50 315r31 325m15 328r34 328r51 329r34 330r34 332r34
59i10*First_Empty{16|62I12} 12|102r14 104r41 105m15 105r35 168m15
60i10*Aligned_Elmt_Size{16|62I12} 12|102r52 105r54 173m15
61a10*The_Pool{16|70A9} 12|98m26 104m26 137m44 277m26 289m38 350m25 369m18
. 388m18 406m47
65V24*Storage_Size{16|62I12}<18|59p13> 66>7 12|183b14 188l8 188t20
66r7 Pool{52R9} 12|184b7 187r14
68U25*Allocate<18|45p14> 69=7 70<7 71>7 72>7 12|85b14 117l8 117t16
69r7 Pool{52R9} 12|86b7 94r10 95m26 97r13 98m21 98r21 98r36 99m10 102r9 102r30
. 102r47 104m21 104r21 104r36 105m10 105r30 105r49
70m7 Address{7|64M9} 12|87b7 95m32 98m10 99r54 104m10
71i7 Storage_Size{16|62I12} 12|88b7 95r41
72i7 Alignment{16|62I12} 12|89b7 95r55
74U25*Deallocate<18|52p14> 75=7 76>7 77>7 78>7 12|123b14 145l8 145t18
75r7 Pool{52R9} 12|124b7 132r10 133m28 136r51 137m10 137m39 137r39
76m7 Address{7|64M9} 12|125b7 133r34 136r35 137r29
77i7 Storage_Size{16|62I12} 12|126b7 133r43
78i7 Alignment{16|62I12} 12|127b7 133r57
80U25*Initialize<3|58p14> 80=37 12|151b14 177l8 177t18
80r37 Pool{52R9} 12|151b27 160r49 163r10 164m28 167m10 168m10 173m10 175r16
X 12 s-poosiz.adb
38K12 SSE=38:31 39r13 50r40 54r27 69r25 70r25 75r25 76r25 88r22 89r22 126r22
. 127r22 158r24 159r17 160r20 174r12 184r41 200r24 205r24 210r18 210r44 215r18
. 215r44 220r40 230r25 231r25 233r23 234r23 235r23 236r32 237r25 237r48 239r32
. 240r25 286r40 299r25 300r25 304r32 307r27 313r26 342r18 342r44 361r24 380r24
. 399r18 399r44
48K12 SSL=48:31 92r7 111r7 115r10 130r7 140r7 143r10
50P9 Storage_Count_Access(16|62I12) 52r45
51V13 To_Storage_Count_Access[6|20]{50P9} 99s29 136s10 349s17 368s10 387s10
. 406s17
54N4 SC_Size 174r35 196r38 350r43 369r36
56K12 Variable_Size_Management 77l8 77e32 79r26 194b17 411l9 411t33
65U17*Initialize 65=30 164s16 323b17 334l11 334t21
65r30 Pool{11|52R9} 323b30 325m10 327r13 328r23 328r29 328r46 329r23 329r29
. 330r23 330r29 331r47 332r23 332r29
66U17*Allocate 67=10 68<10 69>10 70>10 95s16 227b17 278l11 278t19
67r10 Pool{11|52R9} 228b10 248r24 249r25 251r42 253r28 265r19 267r23 267r46
. 268r23 268r46 269r23 274r23 274r47 277m21 277r21
68m10 Address{7|64M9} 229b10 277m10
69i10 Storage_Size{16|62I12} 230b10 242r29
70i10 Alignment{16|62I12} 231b10 238r48
72U17*Deallocate 73=10 74>10 75>10 76>10 133s16 296b17 317l11 317t21
73r10 Pool{11|52R9} 297b10 302r32 307r58 312r20 314r20 314r39 314r45 315r20
. 315r26
74m10 Address{7|64M9} 298b10 307r64
75i10 Storage_Size{16|62I12} 299b10 305r27
76i10 Alignment{16|62I12} 300b10 305r42 305r59 306r66
79K12 Vsize=79:26 95r10 133r10 164r10
158i7 Align{16|62I12} 175r33 175r46 175r55
196N7 Minimum_Size 241r27 265r48 313r61 327r30 328r64 330r47 331r64 332r47
198U17 Set_Size 199>10 200>10 200>17 267s13 312s10 329s13 330s13 378b17 391l11
. 391t19
199r10 Pool{11|52R9} 379b10 388r13
200i10 Chunk{16|62I12} 380b10 388r28
200i17 Size{16|62I12} 380b17 388r51
203U17 Set_Next 204>10 205>10 205>17 268s13 269s13 274s13 314s10 315s10 328s13
. 332s13 359b17 372l11 372t19
204r10 Pool{11|52R9} 360b10 369r13
205i10 Chunk{16|62I12} 361b10 369r28
205i17 Next{16|62I12} 361b17 369r61
208V16 Size{16|62I12} 209>10 210>10 251s36 265s13 267s40 397b16 409l11 409t15
209r10 Pool{11|52R9} 398b10 406r42
210i10 Chunk{16|62I12} 399b10 406r57
213V16 Next{16|62I12} 214>10 215>10 249s19 253s22 268s40 274s41 314s33 340b16
. 353l11 353t15
214r10 Pool{11|52R9} 341b10 350r20
215i10 Chunk{16|62I12} 342b10 350r35
218V16 Chunk_Of{16|62I12} 219>10 220>10 284b16 290l11 290t19 307s48
219r10 Pool{11|52R9} 285b10 289r33
220m10 Addr{7|64M9} 286b10 289r26
233i10 Chunk{16|62I12} 249m10 251r16 251r48 252r27 253m13 253r34 258r13 265r25
. 266r26 267r52 268r52 274r53 277r36
234i10 New_Chunk{16|62I12} 266m13 267r29 268r29 269r41
235i10 Prev_Chunk{16|62I12} 248m10 249r31 252m13 269r29 274r29
236i10 Our_Align{16|62I12} 242r44 242r61 243r67
239i10 Align_Size{16|62I12} 251r57 265r34 266r34 267r61
304i10 Align_Size{16|62I12} 313r49
307i10 Chunk{16|62I12} 312r26 314r26 315r44
X 13 s-soflin.ads
45K16*Soft_Links 12|32w13 48r31 13|408e22
60P9*No_Param_Proc
187p4*Lock_Task{60P9} 12|92r11 130r11
197p4*Unlock_Task{60P9} 12|111r11 115r14 140r11 143r14
X 16 s-stoele.ads
42K16*Storage_Elements 11|33w13 53r26 54r26 55r26 58r37 59r37 60r37 61r37
. 66r48 71r29 72r29 77r29 78r29 12|38r31 16|117e28
54I9*Storage_Offset<long_integer> 12|39r17
62I12*Storage_Count{54I9} 11|53r43 54r43 55r43 58r54 59r54 60r54 66r65 71r46
. 72r46 77r46 78r46 12|50r44 54r31 69r29 70r29 75r29 76r29 88r26 89r26 126r26
. 127r26 158r28 159r21 160r24 174r16 184r45 200r28 205r28 210r22 210r48 215r22
. 215r48 220r44 230r29 231r29 233r27 234r27 235r27 236r36 237r29 237r52 239r36
. 240r29 286r44 299r29 300r29 304r36 307r31 313r30 342r22 342r48 361r28 380r28
. 399r22 399r48
64M9*Storage_Element
70A9*Storage_Array(64M9)<54I9> 11|61r54
91V14*"-"{54I9} 12|137s37 289s31
X 18 s-stopoo.ads
39K16*Storage_Pools 11|32w13 57r18 18|99e25
42H9*Root_Storage_Pool<3|55R9> 11|57r32 18|66e62