V "GNAT Lib v10" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -fchecking=1 A -g A -gnatp A -gnatg A -mtune=pentium A -march=pentium P ZX RN RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_CONVERSION RV NO_DEFAULT_INITIALIZATION RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U ada.streams.stream_io.c_streams%b a-ssicst.adb e8038639 NE OL PK W ada%s ada.ads ada.ali W ada.streams.stream_io%s a-ststio.adb a-ststio.ali Z ada.tags%s a-tags.adb a-tags.ali W ada.unchecked_conversion%s W interfaces%s interfac.ads interfac.ali W interfaces.c_streams%s i-cstrea.adb i-cstrea.ali W system%s system.ads system.ali W system.file_control_block%s s-ficobl.ads s-ficobl.ali W system.file_io%s s-fileio.adb s-fileio.ali U ada.streams.stream_io.c_streams%s a-ssicst.ads 748fd437 NE OL PK W ada.streams.stream_io%s a-ststio.adb a-ststio.ali W interfaces%s interfac.ads interfac.ali W interfaces.c_streams%s i-cstrea.adb i-cstrea.ali D ada.ads 20210408145628 76789da1 ada%s D a-except.ads 20210408145628 a7106115 ada.exceptions%s D a-ioexce.ads 20210408145628 e4a01f64 ada.io_exceptions%s D a-stream.ads 20210408145628 119b8fb3 ada.streams%s D a-ststio.ads 20210408145628 d6d358e8 ada.streams.stream_io%s D a-ssicst.ads 20210408145628 47610751 ada.streams.stream_io.c_streams%s D a-ssicst.adb 20210408145628 06884762 ada.streams.stream_io.c_streams%b D a-tags.ads 20210408145628 491b781d ada.tags%s D a-unccon.ads 20210408145628 0e9b276f ada.unchecked_conversion%s D interfac.ads 20210408145628 5ab55268 interfaces%s D i-cstrea.ads 20210408145628 e53d8b8e interfaces.c_streams%s D system.ads 20210408145628 27426ea2 system%s D s-crtl.ads 20210408145628 0ebbdb71 system.crtl%s D s-exctab.ads 20210408145628 54135002 system.exception_table%s D s-ficobl.ads 20210408145628 078245e4 system.file_control_block%s D s-fileio.ads 20210408145628 45ce2f0f system.file_io%s D s-parame.ads 20210408145628 48ec542b system.parameters%s D s-secsta.ads 20210408145628 20bbe636 system.secondary_stack%s D s-soflin.ads 20210408145628 a7318a92 system.soft_links%s D s-stache.ads 20210408145628 a37c21ec system.stack_checking%s D s-stalib.ads 20210408145628 09bd3940 system.standard_library%s D s-stoele.ads 20210408145628 2dc34a04 system.storage_elements%s D s-traent.ads 20210408145628 005bf670 system.traceback_entries%s D s-unstyp.ads 20210408145628 34867c83 system.unsigned_types%s G a e G c Z s b [c_stream ada__streams__stream_io__c_streams 42 13 none] G c Z s b [open ada__streams__stream_io__c_streams 45 14 none] G c Z b b [to_fcb ada__streams__stream_io__c_streams 44 13 none] X 1 ada.ads 16K9*Ada 20e8 6|38r9 53r5 7|35r6 37r14 44r27 87r5 X 4 a-stream.ads 36K13*Streams 1|16k9 4|87e16 6|38r13 53r9 7|37r18 87r9 X 5 a-ststio.ads 39K21*Stream_IO 4|36k13 5|224e26 6|38r21 53r17 7|37r26 87r17 44P9*File_Type 6|42r27 46r25 7|50r27 61r25 47E9*File_Mode 47e54 6|47r18 7|44r53 62r18 47n32*Out_File{47E9} 7|83r34 183n23 Op_Read{183E9} 7|83r62 183n32 Op_Write{183E9} 7|83r48 186R9 Stream_AFCB<15|84R9> 203e14 7|67r34 195e7*Last_Op{183E9} 7|83m12 X 6 a-ssicst.ads 38K31*C_Streams 5|39k21 6|53l27 53e36 7|37b36 87l27 87t36 40K12*ICS=40:35 42r45 48r18 42V13*C_Stream{11|41M12} 42>23 7|50b13 54l8 54t16 42p23 F{5|44P9} 7|50b23 52r32 53r14 45U14*Open 46=7 47>7 48>7 49>7 50>7 7|60b14 85l8 85t12 46p7 File{5|44P9} 7|61b7 73m34 73r34 83r7 47e7 Mode{5|47E9} 7|62b7 75r38 83r27 48m7 C_Stream{11|41M12} 7|63b7 81r30 49a7 Form{string} 7|64b7 77r30 50a7 Name{string} 7|65b7 76r30 X 7 a-ssicst.adb 39K12 FIO=39:31 52r7 73r7 40K12 FCB=40:31 42r18 44r64 42P12 AP{15|82P9} 52r28 73r30 44V13 To_FCB[9|20]{15|63E9} 75s30 67r7 Dummy_File_Control_Block{5|186R9} 68r29 74r30 X 9 a-unccon.ads 20v14*Unchecked_Conversion 7|35w10 44r31 X 10 interfac.ads 38K9*Interfaces 6|36r6 40r24 7|32r6 32r32 10|184e15 X 11 i-cstrea.ads 37K20*C_Streams 6|36w17 40r35 7|32w17 32r43 11|315e25 41M12*FILEs{13|50M12} 6|42r49 48r22 7|50r45 63r18 X 12 system.ads 37K9*System 7|33r6 34r6 39r24 40r24 12|148e11 67M9*Address X 13 s-crtl.ads 50M12*FILEs{12|67M9} X 15 s-ficobl.ads 42K16*File_Control_Block 7|34w13 40r31 15|159e30 63E9*File_Mode 7|44r68 15|63e66 82P9*AFCB_Ptr(84R9) 7|42r22 86m7*Stream{11|41M12} 7|53r16 X 16 s-fileio.ads 39K16*File_IO 7|33w13 39r31 16|255e19 49U14*Open 7|73s11 50p7 File_Ptr{15|82P9} 7|73r17 51c7 Dummy_FCB<15|84R9> 7|74r17 52e7 Mode{15|63E9} 7|75r17 53a7 Name{string} 7|76r17 54a7 Form{string} 7|77r17 55e7 Amethod{character} 7|78r17 56b7 Creat{boolean} 7|79r17 57b7 Text{boolean} 7|80r17 58m7 C_Stream{11|41M12} 7|81r17 152U14*Check_File_Open 7|52s11