1V "GNAT Lib v5"
2A -gnatwa
3A -nostdinc
4A -O2
5A -Wextra
6A -Wall
7A -g
8A -gnatp
9A -gnatg
10A -mtune=generic
11A -march=x86-64
12P ZX
13
14RN
15RV NO_STANDARD_STORAGE_POOLS
16RV NO_UNCHECKED_CONVERSION
17RV SPARK_05
18
19U interfaces.c_streams%b  i-cstrea.adb		84a27f0d NE OL PK
20W ada%s			ada.ads			ada.ali
21W ada.unchecked_conversion%s
22W interfaces%s		interfac.ads		interfac.ali
23W system%s		system.ads		system.ali
24
25U interfaces.c_streams%s  i-cstrea.ads		8bb5f2c0 BN NE OL PR PK
26W interfaces%s		interfac.ads		interfac.ali
27W system%s		system.ads		system.ali
28W system.crtl%s		s-crtl.ads		s-crtl.ali
29
30D ada.ads		20070406091342 3ffc8e18 ada%s
31D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
32D interfac.ads		20141120112812 6033a23f interfaces%s
33D i-cstrea.ads		20140801100435 e53d8b8e interfaces.c_streams%s
34D i-cstrea.adb		20140801093848 98747b85 interfaces.c_streams%b
35D system.ads		20150428105438 bf8979bc system%s
36D s-crtl.ads		20141120112812 0ebbdb71 system.crtl%s
37D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
38X 1 ada.ads
3916K9*Ada 19e8 5|32r6 91r33
40X 2 a-unccon.ads
4120v14*Unchecked_Conversion 5|32w10 91r37
42X 3 interfac.ads
4338K9*Interfaces 178e15 4|37r9 315r5 5|34r14 133r5
4462M9*Unsigned_8 5|84r60
45X 4 i-cstrea.ads
4637K20*C_Streams 3|38k9 4|283E35 315l16 315e25 5|34b25 133l16 133t25
4740M12*chars{7|41M12} 92r42 103r28 103r67 109r18 110r18 125r28 147r18 148r18
48. 179r33 186r16 190r28 200r32 212r33 262r31 262r47 5|58r16 125r16
4941M12*FILEs{7|50M12} 49r27 72r27 73r27 74r27 88r33 90r30 92r56 95r28 97r30
50. 99r30 101r29 103r53 106r30 112r13 119r38 122r39 125r44 132r16 139r16 149r18
51. 151r13 154r16 160r16 165r29 168r31 175r16 182r31 185r16 195r28 197r39 313r27
52. 5|46r16 53r16 57r16 71r16 98r16 113r16 124r16
5342I12*int{7|53I12} 56r19 59r21 60r21 61r21 64r24 67r24 68r24 69r24 90r44
54. 92r30 95r42 97r44 99r44 101r43 103r39 106r44 119r24 119r52 122r25 122r53
55. 125r58 156r16 156r28 162r16 162r28 177r30 177r42 187r16 188r31 197r25 197r53
56. 200r46 212r47 215r39 215r51 223r40 224r40 254r33 5|59r16 60r31 126r16 127r31
5743I12*long{7|55I9} 155r16 165r43
5844M12*size_t{7|60M9} 130r16 131r16 132r30 136r16 137r16 138r16 139r30 173r16
59. 174r16 175r30 188r16 5|44r16 45r16 46r30 51r16 52r16 53r30 60r16 69r16
60. 70r16 71r30 84r36 95r16 96r16 97r16 98r30 111r16 112r16 113r30 127r16
6145I12*ssize_t{7|62I9}
6246I12*int64{7|65I9} 161r16 168r45
6347M12*voids{6|64M9} 129r16 135r16 172r16 5|43r16 50r16 68r16 91r59 94r16
64. 110r16
6549m4*NULL_Stream{41M12} 313c4
6656i4*EOF{42I12} 300m22 300r22
6759i4*IOFBF{42I12} 301m22 301r22
6860i4*IOLBF{42I12} 302m22 302r22
6961i4*IONBF{42I12} 303m22 303r22
7064i4*L_tmpnam{42I12} 307m22 307r22
7167i4*SEEK_CUR{42I12} 304m22 304r22
7268i4*SEEK_END{42I12} 305m22 305r22
7369i4*SEEK_SET{42I12} 306m22 306r22
7472V13*stdin{41M12} 310b<c,__gnat_constant_stdin>22
7573V13*stdout{41M12} 311b<c,__gnat_constant_stdout>22
7674V13*stderr{41M12} 309b<c,__gnat_constant_stderr>22
7788U14*clearerr=88:60
7888m24 stream{41M12}
7990V13*fclose=90:68{7|53I12}
8090m21 stream{41M12}
8192V13*fdopen=93:26{7|50M12}
8292i21 handle{42I12}
8392m35 mode{40M12}
8495V13*feof{42I12} 95>19 296b<c,__gnat_feof>22
8595m19 stream{41M12}
8697V13*ferror{42I12} 97>21 297b<c,__gnat_ferror>22
8797m21 stream{41M12}
8899V13*fflush=99:68{7|53I12}
8999m21 stream{41M12}
90101V13*fgetc=101:67{7|53I12}
91101m20 stream{41M12}
92103V13*fgets=104:26{7|41M12}
93103m20 strng{40M12}
94103i35 n{42I12}
95103m44 stream{41M12}
96106V13*fileno{42I12} 106>21 298b<c,__gnat_fileno>22
97106m21 stream{41M12}
98108V13*fopen=112:39{7|50M12}
99109m7 filename{40M12}
100110m7 mode{40M12}
101111e7 encoding{7|72E9}
102119V13*fputc=120:26{7|53I12}
103119i20 C{42I12}
104119m29 stream{41M12}
105122V13*fputwc=123:26{7|53I12}
106122i21 C{42I12}
107122m30 stream{41M12}
108125V13*fputs=126:26{7|53I12}
109125m20 Strng{40M12}
110125m35 Stream{41M12}
111128V13*fread{44M12} 129>7 130>7 131>7 132>7 5|67b13 75l8 75t13
112129m7 buffer{47M12} 5|68b7 74r23
113130m7 size{44M12} 5|69b7 74r31
114131m7 count{44M12} 5|70b7 74r37
115132m7 stream{41M12} 5|71b7 74r44
116134V13*fread{44M12} 135>7 136>7 137>7 138>7 139>7 5|93b13 103l8 103t13
117135m7 buffer{47M12} 5|94b7 102r24
118136m7 index{44M12} 5|95b7 102r33
119137m7 size{44M12} 5|96b7 102r41 102r56
120138m7 count{44M12} 5|97b7 102r62
121139m7 stream{41M12} 5|98b7 102r69
122146V13*freopen=151:39{7|50M12}
123147m7 filename{40M12}
124148m7 mode{40M12}
125149m7 stream{41M12}
126150e7 encoding{7|72E9}
127153V13*fseek=157:26{7|53I12}
128154m7 stream{41M12}
129155i7 offset{43I12}
130156i7 origin{42I12}
131159V13*fseek64=163:26{7|53I12}
132160m7 stream{41M12}
133161i7 offset{46I12}
134162i7 origin{42I12}
135165V13*ftell=166:26{7|55I9}
136165m20 stream{41M12}
137168V13*ftell64=169:26{7|65I9}
138168m22 stream{41M12}
139171V13*fwrite{44M12} 172>7 173>7 174>7 175>7 280r19 5|109b13 117l8 117t14
140172m7 buffer{47M12} 5|110b7 116r24
141173m7 size{44M12} 5|111b7 116r32
142174m7 count{44M12} 5|112b7 116r38
143175m7 stream{41M12} 5|113b7 116r45
144177V13*isatty=177:66{7|53I12}
145177i21 handle{42I12}
146179U14*mktemp=179:60
147179m22 template{40M12}
148182U14*rewind=182:58
149182m22 stream{41M12}
150184V13*setvbuf{42I12} 185>7 186>7 187>7 188>7 281r19 5|123b13 131l8 131t15
151185m7 stream{41M12} 5|124b7 130r25
152186m7 buffer{40M12} 5|125b7 130r33
153187i7 mode{42I12} 5|126b7 130r41
154188m7 size{44M12} 5|127b7 130r47
155190U14*tmpnam=190:55
156190m22 str{40M12}
157195V13*tmpfile=195:54{7|50M12}
158197V13*ungetc=198:26{7|53I12}
159197i21 c{42I12}
160197m30 stream{41M12}
161200V13*unlink=201:26{7|53I12}
162200m21 filename{40M12}
163212V13*file_exists{42I12} 212>26 283b<c,__gnat_file_exists>22
164212m26 name{40M12}
165215V13*is_regular_file{42I12} 215>30 284b<c,__gnat_is_regular_file_fd>22
166215i30 handle{42I12}
167223U14*set_binary_mode 223>31 286b<c,__gnat_set_binary_mode>22
168223i31 handle{42I12}
169224U14*set_text_mode 224>31 287b<c,__gnat_set_text_mode>22
170224i31 handle{42I12}
171230E9*Content_Encoding 230e79 231r8 232r26 249r9 252r9 254r45
172230n30*None{230E9}
173230n36*Default_Text{230E9} 249r32
174230n50*Text{230E9} 252r32
175230n56*U8text{230E9}
176230n64*Wtext{230E9}
177230n71*U16text{230E9} 249r48 252r40
178248E12*Text_Content_Encoding{230E9}
179251E12*Non_Default_Text_Content_Encoding{230E9}
180254U14*set_mode 254>24 254>38 288b<c,__gnat_set_mode>22
181254i24 handle{42I12}
182254e38 Mode{230E9}
183262U14*full_name 262>25 262>38 291b<c,__gnat_full_name>22
184262m25 nam{40M12}
185262m38 buffer{40M12}
186270i4*max_path_len{integer} 290m22 290r22
187X 5 i-cstrea.adb
18842V13 C_fread{4|44M12} 43>7 44>7 45>7 46>7 47b<c,fread>22 74s14 101s14
18943m7 buffer{4|47M12}
19044m7 size{4|44M12}
19145m7 count{4|44M12}
19246m7 stream{4|41M12}
19349V13 C_fwrite{4|44M12} 50>7 51>7 52>7 53>7 54b<c,fwrite>22 116s14
19450m7 buffer{4|47M12}
19551m7 size{4|44M12}
19652m7 count{4|44M12}
19753m7 stream{4|41M12}
19856V13 C_setvbuf{4|42I12} 57>7 58>7 59>7 60>7 61b<c,setvbuf>22 130s14
19957m7 stream{4|41M12}
20058m7 buffer{4|40M12}
20159i7 mode{4|42I12}
20260m7 size{4|44M12}
20384A9 Byte_Buffer(3|62M9)<7|60M9> 89r33
20489P9 Acc_Bytes(84A9) 91r66
20591V13 To_Acc_Bytes[2|20]{89P9} 102s10
206X 6 system.ads
20737K9*System 4|35r6 40r21 41r21 42r19 43r20 44r22 45r23 46r21 47r21 88r48
208. 90r56 93r14 99r56 101r55 104r14 111r18 111r51 112r27 120r14 123r14 126r14
209. 150r18 150r51 151r27 157r14 163r14 166r14 169r14 177r54 179r48 182r46 190r43
210. 195r42 198r14 201r14 313r36 5|36r13 6|144e11
21164M9*Address 4|47r28
21266m4*Null_Address{64M9} 4|313r43
213X 7 s-crtl.ads
21438K16*CRTL 4|35w13 40r28 41r28 42r26 43r27 44r29 45r30 46r28 88r55 90r63
215. 93r21 99r63 101r62 104r21 111r25 111r58 112r34 120r21 123r21 126r21 150r25
216. 150r58 151r34 157r21 163r21 166r21 169r21 177r61 179r55 182r53 190r50 195r49
217. 198r21 201r21 5|36r20 7|241e16
21841M12*chars{6|64M9} 4|40r33
21950M12*FILEs{6|64M9} 4|41r33
22053I12*int{integer} 4|42r31
22155I9*long<long_integer> 4|43r32
22260M9*size_t 4|44r34 5|36r25
22362I9*ssize_t<long_integer> 4|45r35
22465I9*int64<long_long_integer> 4|46r33
22572E9*Filename_Encoding 4|111r30 150r30 7|72e62
22672n31*UTF8{72E9} 4|111r63 150r63
22798U14*clearerr 4|88r60
228107V13*fclose{53I12} 4|90r68
229110V13*fdopen{50M12} 4|93r26
230113V13*fflush{53I12} 4|99r68
231116V13*fgetc{53I12} 4|101r67
232119V13*fgets{41M12} 4|104r26
233122V13*fopen{50M12} 4|112r39
234128V13*fputc{53I12} 4|120r26
235131V13*fputwc{53I12} 4|123r26
236134V13*fputs{53I12} 4|126r26
237140V13*freopen{50M12} 4|151r39
238147V13*fseek{53I12} 4|157r26
239153V13*fseek64{53I12} 4|163r26
240159V13*ftell{55I9} 4|166r26
241162V13*ftell64{65I9} 4|169r26
242168V13*isatty{53I12} 4|177r66
243183U14*mktemp 4|179r60
244196U14*rewind 4|182r58
245217U14*tmpnam 4|190r55
246220V13*tmpfile{50M12} 4|195r54
247223V13*ungetc{53I12} 4|198r26
248226V13*unlink{53I12} 4|201r26
249
250