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_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK

U interfaces.c.pointers%b  i-cpoint.adb		38907853 NE OL PK GE
W ada%s			ada.ads			ada.ali
W ada.unchecked_conversion%s
W interfaces%s		interfac.ads		interfac.ali
W interfaces.c%s	i-c.adb			i-c.ali
W interfaces.c.strings%s  i-cstrin.adb		i-cstrin.ali
W system%s		system.ads		system.ali

U interfaces.c.pointers%s  i-cpoint.ads		0c498eb7 BN NE OL PR PK GE
W interfaces.c%s	i-c.adb			i-c.ali
W system%s		system.ads		system.ali
W system.parameters%s	s-parame.adb		s-parame.ali

D ada.ads		20121213103024 3ffc8e18
D a-unccon.ads		20121213103024 f9eb8f06
D interfac.ads		20121213103024 129923ea
D i-c.ads		20121213103024 5421119b
D i-cpoint.ads		20130106093223 ee8a93ec
D i-cpoint.adb		20130106093222 8bc8f877
D i-cstrin.ads		20130106093223 341d0ddf
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-parame.ads		20121213103024 b6e20cc0
D s-stalib.ads		20130106093355 f78bcf95
X 1 ada.ads
16K9*Ada 19e8 6|35r6 41r31 42r31 43r31 44r31 199r35 243r35
X 2 a-unccon.ads
20v14*Unchecked_Conversion 6|35w10 41r35 42r35 43r35 44r35 199r39 243r39
X 3 interfac.ads
36K9*Interfaces 175e15 5|44r9 102r5 6|32r6 32r32 37r14 279r5
X 4 i-c.ads
18K20*C 3|36k9 4|230e17 5|44r20 102r16 6|32r17 32r43 37r25 279r16
56I9*ptrdiff_t<long_integer> 5|60r16 68r44 69r25 70r44 71r62 83r58 88r20
. 88r33 94r17 6|43r57 44r68 46r25 56r42 65r25 78r42 87r58 103r17 128r20 128r33
. 133r11 209r16 257r58 260r11
X 5 i-cpoint.ads
39E9 Index 41r33 6|50r26 177r34 225r32 225r44 225r60 235r15 236r15 236r26
. 236r37
40+9 Element 41r60 42r25 47r31 56r20 83r20 89r20 6|129r20 174r20 257r20
41A9 Element_Array(40+9)<39E9> 56r58 60r34 6|47r19 174r58 195r26 209r34 225r17
. 239r26
42*4 Default_Terminator{40+9} 56r31 83r31 89r31 6|129r31 174r31 257r31
44k22*Pointers 4|18k20 5|39z9 40z9 41z9 42z4 102l18 102e26 6|37b27 279l18
. 279t26
47P9*Pointer(40+9) 48r8 50r31 55r20 59r16 68r25 68r62 69r44 69r62 70r25 70r62
. 71r25 71r44 73r38 74r38 82r20 86r20 87r20 92r17 93r17 6|41r68 42r57 56r25
. 56r60 65r44 65r60 78r25 78r60 87r25 87r42 101r17 102r17 105r11 106r11 126r20
. 127r20 131r11 132r11 154r38 163r38 173r20 176r11 199r61 208r16 243r61 256r20
. 259r11
54V13*Value{41A9} 55>7 56>7 6|172b13 205l8 205t13
55p7 Ref{47P9} 6|173b7 181r10 186r15 202r27
56*7 Terminator{40+9} 6|174b7 189r31
58V13*Value{41A9} 59>7 60>7 6|207b13 249l8 249t13
59p7 Ref{47P9} 6|208b7 215r10 246r27
60i7 Length{4|56I9} 6|209b7 222r13 236r52
62X4*Pointer_Error 6|59r16 68r16 81r16 90r16
68V14*"+"{47P9} 68>18 68>36 6|56b14 63l9 63t11 165s18
68p18 Left{47P9} 6|56b18 58r10 62r35
68i36 Right{4|56I9} 6|56b34 62r64
69V14*"+"{47P9} 69>18 69>36 6|65b14 72l9 72t11
69i18 Left{4|56I9} 6|65b18 71r47
69p36 Right{47P9} 6|65b36 67r10 71r64
70V14*"-"{47P9} 70>18 70>36 6|78b14 85l9 85t11 156s18
70p18 Left{47P9} 6|78b18 80r10 84r35
70i36 Right{4|56I9} 6|78b34 84r52
71V14*"-"{4|56I9} 71>18 71>36 6|87b14 94l9 94t11
71p18 Left{47P9} 6|87b18 89r10 93r35
71p36 Right{47P9} 6|87b34 89r30 93r52
73U14*Increment 73=25 78r34 100r19 6|115s13 116s13 143s13 144s13 163b14 166l8
. 166t17 191s13 272s13
73p25 Ref{47P9} 6|163b25 165m7 165r14
74U14*Decrement 74=25 79r34 99r19 6|154b14 157l8 157t17
74p25 Ref{47P9} 6|154b25 156m7 156r14
81V13*Virtual_Length{4|56I9} 82>7 83>7 6|255b13 277l8 277t22
82p7 Ref{47P9} 6|256b7 263r10 268r15
83*7 Terminator{40+9} 6|257b7 270r25
85U14*Copy_Terminated_Array 86>7 87>7 88>7 89>7 6|125b14 148l8 148t29
86p7 Source{47P9} 6|126b7 131r24
87p7 Target{47P9} 6|127b7 132r24
88i7 Limit{4|56I9} 6|128b7 133r24
89*7 Terminator{40+9} 6|129b7 142r31
91U14*Copy_Array 92>7 93>7 94>7 6|100b14 119l8 119t18
92p7 Source{47P9} 6|101b7 106r22
93p7 Target{47P9} 6|102b7 105r22
94i7 Length{4|56I9} 6|103b7 113r24
X 6 i-cpoint.adb
39M9 Addr 41r57 42r68 43r68 44r57
41V13 To_Pointer[2|20]{5|47P9} 62s14 71s14 84s14
42V13 To_Addr[2|20]{39M9} 62s26 71s55 84s26 93s26 93s43
43V13 To_Addr[2|20]{39M9} 62s43 71s26 84s43
44V13 To_Ptrdiff[2|20]{4|56I9} 93s14
46i4 Elmt_Size{4|56I9} 62r52 71r35 84r60 93r62
50E12 Index_Base 177r20 178r11 190r18 211r11 212r11
105p7 T{5|47P9} 109r27 114r13 115m24 115r24
106p7 S{5|47P9} 109r10 114r22 116m24 116r24
113i14 J<long_integer>
131p7 S{5|47P9} 136r10 141r22 144m24 144r24
132p7 T{5|47P9} 136r27 141r13 142r23 143m24 143r24
133i7 L{4|56I9} 140r16 145m13 145r18
176p7 P{5|47P9} 186m10 189r23 191m24 191r24
177*7 L{50E12} 185r15 195r41
178*7 H{50E12} 185m10 190m13 190r35 195r46
195A21 A{5|41A9}<5|39E9> 197r31
197P18 PA(195A21) 198r17 199r70
199V22 To_PA[2|20]{197P18} 202s20
211*7 L{50E12} 235m10 239r41
212*7 H{50E12} 236m10 239r46
225*13 X{5|41A9} 229r20
239A21 A{5|41A9}<5|39E9> 241r31
241P18 PA(239A21) 242r17 243r70
243V22 To_PA[2|20]{241P18} 246s20
259p7 P{5|47P9} 268m10 270r16 272m24 272r24
260i7 C{4|56I9} 267m10 271m13 271r18 275r17
X 7 i-cstrin.ads
36K22*Strings 6|32w19 32r45 7|104e25
64X4*Dereference_Error 6|110r16 137r16 182r16 216r16 264r16
X 8 system.ads
37K9*System 5|36r6 48r25 6|33w6 33r32 39r26 198r29 242r29 8|152e11
68N4*Storage_Unit 6|48r22 48r42
X 10 s-parame.ads
51K16*Parameters 5|36w13 48r32 6|39r33 198r36 242r36 10|213e22
115N4*ptr_bits 5|48r43 6|39r44 198r47 242r47