1V "GNAT Lib v9" 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 73d2d764 NE OL PK 20W ada%s ada.ads ada.ali 21W ada.unchecked_conversion%s 22W interfaces%s interfac.ads interfac.ali 23Z system%s system.ads system.ali 24 25U interfaces.c_streams%s i-cstrea.ads b1330297 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 20170911084841 76789da1 ada%s 31D a-unccon.ads 20170908151217 0e9b276f ada.unchecked_conversion%s 32D interfac.ads 20190108095404 5ab55268 interfaces%s 33D i-cstrea.ads 20190108095404 e53d8b8e interfaces.c_streams%s 34D i-cstrea.adb 20190108095404 98747b85 interfaces.c_streams%b 35D system.ads 20190108095404 c631886f system%s 36D s-crtl.ads 20190108095404 0ebbdb71 system.crtl%s 37D s-parame.ads 20190108095404 48ec542b system.parameters%s 38X 1 ada.ads 3916K9*Ada 20e8 5|32r6 91r33 40X 2 a-unccon.ads 4120v14*Unchecked_Conversion 5|32w10 91r37 42X 3 interfac.ads 4338K9*Interfaces 184e15 4|37r9 315r5 5|34r14 133r5 4463M9*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|67M9} 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|63M9)<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|148e11 21167M9*Address 4|47r28 21269m4*Null_Address{67M9} 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|67M9} 4|40r33 21950M12*FILEs{6|67M9} 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