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 SS ZX

RN
RV NO_EXCEPTIONS
RV NO_IMPLICIT_LOOPS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK

U interfaces.c.strings%b  i-cstrin.adb		9f990c8b NE OL PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.unchecked_conversion%s
W interfaces.c%s	i-c.adb			i-c.ali
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali

U interfaces.c.strings%s  i-cstrin.ads		603c1c44 EE OL PR PK
W interfaces.c%s	i-c.adb			i-c.ali
W system%s		system.ads		system.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
D a-unccon.ads		20121213103024 f9eb8f06
D interfac.ads		20121213103024 129923ea
D i-c.ads		20121213103024 5421119b
D i-cstrin.ads		20130106093223 341d0ddf
D i-cstrin.adb		20130106093223 388662db
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-parame.ads		20121213103024 b6e20cc0
D s-secsta.ads		20121213103024 eea35a36
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 7|35r6 45r11 48r11
X 3 a-unccon.ads
20v14*Unchecked_Conversion 7|35w10 45r15 48r15
X 4 interfac.ads
36K9*Interfaces 175e15 6|36r9 104r5 7|37r14 360r5
X 5 i-c.ads
18K20*C 4|36k9 5|230e17 6|36r20 104r16 7|37r25 360r16
60M9*size_t 6|50r35 70r16 76r16 78r46 82r16 88r16 7|62r44 66r56 72r34 82r44
. 106r17 131r39 153r15 186r56 201r46 202r20 244r16 257r27 263r16 300r16 336r47
72E9*char<character> 7|54r44 58r28 168r44 170r14 177r28
74e4*nul{72E9} 7|131r16 189r24 210r40 322r29 351r26 356r26
79A9*char_array(72E9)<60M9> 6|39r41 58r37 66r45 70r31 83r16 7|66r37 105r37
. 149r22 186r37 245r16 281r45 282r16 300r31 316r19 337r16
84V13*To_C{79A9} 7|274s29
86b7 Append_Nul{boolean} 7|274r40
88V13*To_Ada{string} 7|333s14 352s20 357s14
92U14*To_C 7|156s7
93s7 Item{string} 7|157r10
94a7 Target{79A9} 7|158r10
95m7 Count{60M9} 7|159r10
96b7 Append_Nul{boolean} 7|160r10
140X4*Terminator_Error 7|232r16
X 6 i-cstrin.ads
36K22*Strings 5|18k20 6|104l18 104e25 7|37b27 360l18 360t25
39P9*char_array_access(5|79A9) 40r8 42r31 55r19 7|223r19
47P9*chars_ptr(character) 48r41 50r63 52r24 56r44 58r56 60r46 62r34 66r27
. 69r16 72r27 75r16 78r28 81r16 87r16 95c9 96r8 98r31 103r24 7|45r66 48r37
. 54r26 58r41 62r25 62r59 72r49 75r37 82r25 82r59 91r34 105r56 107r17 141r46
. 147r25 168r26 177r41 201r28 224r44 243r16 248r15 262r16 281r27 299r16 331r27
. 336r27
50A9*chars_ptr_array(47P9)<5|60M9>
52p4*Null_Ptr{47P9} 103c4 7|93r17 98r15 205r17 228r17 285r17 303r17 344r17
54V13*To_Chars_Ptr{47P9} 55>7 56>7 7|222b13 236l8 236t20
55p7 Item{39P9} 7|223b7 227r10 230r43 230r55 234m31 234r31 234r37
56b7 Nul_Check{boolean} 7|224b7 229r13
58V13*New_Char_Array{47P9} 58>29 7|105b13 135l8 135t22
58a29 Chars{5|79A9} 7|105b29 113r41 114r41 118r19 121r28 121r35 129r28 131r47
60V13*New_String{47P9} 60>25 7|141b13 162l8 162t18
60s25 Str{string} 7|141b25 147r52 149r40 157r24
62U14*Free 62=20 7|91b14 99l8 99t12
62p20 Item{47P9} 7|91b20 93r10 97r20 98m7
64X4*Dereference_Error 7|206r16 286r16 304r16 345r16
66V13*Value{5|79A9} 66>20 7|281b13 296l8 296t13 333s22
66p20 Item{47P9} 7|281b20 282r41 285r10 292r30
68V13*Value{5|79A9} 69>7 70>7 7|298b13 329l8 329t13
69p7 Item{47P9} 7|299b7 303r10 320r33
70m7 Length{5|60M9} 7|300b7 311r10 316r36
72V13*Value{string} 72>20 7|331b13 334l8 334t13
72p20 Item{47P9} 7|331b20 333r29
74V13*Value{string} 75>7 76>7 7|336b13 358l8 358t13
75p7 Item{47P9} 7|336b20 344r10 349r30
76m7 Length{5|60M9} 7|336b38 337r33 348r21 356r15
78V13*Strlen{5|60M9} 78>21 7|201b13 216l8 216t14 251s50 282s33
78p21 Item{47P9} 7|201b21 205r10 210r19
80U14*Update 81>7 82>7 83>7 84>7 7|119s10 127s10 242b14 259l8 259t14 274s7
81p7 Item{47P9} 7|119r18 127r18 243b7 248r28 251r58
82m7 Offset{5|60M9} 7|120r18 128r18 244b7 248r35 251r25
83a7 Chars{5|79A9} 7|121r18 129r18 245b7 251r34 255r16 256r16
84b7 Check{boolean} 7|122r18 130r18 246b7 251r10
86U14*Update 87>7 88>7 89>7 90>7 7|261b14 275l8 275t14
87p7 Item{47P9} 7|262b7 274r15
88m7 Offset{5|60M9} 7|263b7 274r21
89s7 Str{string} 7|264b7 274r35
90b7 Check{boolean} 7|265b7 274r62
92X4*Update_Error 7|252r16
X 7 i-cstrin.adb
44V13 To_chars_ptr[3|20]{6|47P9} 84s14 234s17
47V13 To_Address[3|20]{8|64M9} 84s28 150s36
54V13 Peek{5|72E9} 54>19 55r19 168b13 171l8 171t12 210s13 292s24 320s27 349s24
54p19 From{6|47P9} 168b19 170r20
58U14 Poke 58>20 58>34 59r19 131s10 177b14 180l8 180t12 256s10
58e20 Value{5|72E9} 177b20 179r30
58p34 Into{6|47P9} 131r21 177b34 179r7 256r27
62V14 "+"{6|47P9} 62>18 62>36 82b14 85l9 85t11 131s37 210s24 248s33 257s25
. 292s35 320s38 349s35
62p18 Left{6|47P9} 82b18 84r40
62m36 Right{5|60M9} 82b36 84r64
66V13 Position_Of_Nul{5|60M9} 66>30 113s16 186b13 195l8 195t23 230s18
66a30 Into{5|79A9} 113r33 186b30 188r16 189r13 194r14 230r35
72V13 Memory_Alloc{6|47P9} 72>27 73b<c,__gnat_malloc>22 114s18 147s38
72m27 Size{5|60M9}
75U14 Memory_Free 75>27 76b<c,__gnat_free>22 97s7
75p27 Address{6|47P9}
106m7 Index{5|60M9} 113m7 114r33 118r10 121r50
107p7 Pointer{6|47P9} 114m7 119r28 127r28 131r29 134r14
147p7 Result{6|47P9} 150r48 161r14
149a7 Result_Array{5|79A9} 150m11 150r11 151m27 151r27 158m24
153m7 Count{5|60M9} 159m24
188m11 J{5|60M9} 189r19 190r20
202m7 Item_Index{5|60M9} 210r26 211r20 214m10 214r24
248p7 Index{6|47P9} 256r35 257m10 257r19
255m11 J{5|60M9} 256r23
282a7 Result{5|79A9} 291r16 292m10 295r14
291m11 J{5|60M9} 292r18 292r37
316a10 Result{5|79A9} 319r19 320m13 322r16 323r23 327r17
319m14 J{5|60M9} 320r21 320r40 322r24 323r36
337a7 Result{5|79A9} 349m10 351r13 352r28 356m7 357r22
348m11 J{5|60M9} 349r18 349r37 351r21 352r41
X 8 system.ads
37K9*System 6|40r35 96r27 7|32w6 32r18 33r6 33r35 45r37 48r48 73r36 8|152e11
64M9*Address
X 10 s-parame.ads
51K16*Parameters 6|40r42 96r34 7|45r44 48r55 73r43 10|213e22
115N4*ptr_bits 6|40r53 96r45
116M12*C_Address{8|64M9} 7|45r55 48r66
121a4*C_Malloc_Linkname{string} 7|73r54
X 13 s-stoele.ads
42K16*Storage_Elements 7|33w13 33r42 13|117e28
54I9*Storage_Offset<long_integer> 7|84r48
76V14*"+"{8|64M9} 7|84s46