V "GNAT Lib v5"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=i486
A -march=i486
P

RN
RV NO_ALLOCATORS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U sinput.c%b		sinput-c.adb		be4332ce NE OO PK
W ada%s			ada.ads			ada.ali
W ada.unchecked_conversion%s
W opt%s			opt.adb			opt.ali
W sinput%s		sinput.adb		sinput.ali
W system%s		system.ads		system.ali
W system.os_lib%s	s-os_lib.adb		s-os_lib.ali

U sinput.c%s		sinput-c.ads		168674b6 EE NE OO PK
W sinput%s		sinput.adb		sinput.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D alloc.ads		20150107084147 61013b91 alloc%s
D casing.ads		20140717063745 5c2a7161 casing%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D namet.ads		20150302110329 53fa811d namet%s
D opt.ads		20150302110329 e5e8f770 opt%s
D sinput.ads		20140730103741 ef954964 sinput%s
D sinput-c.ads		20070910124710 f9133dd2 sinput.c%s
D sinput-c.adb		20140801093848 540623e0 sinput.c%b
D system.ads		20141030114420 57068cbf system%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-os_lib.ads		20150220113817 5853d835 system.os_lib%s
D s-stalib.ads		20150220094550 fa0a3617 system.standard_library%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
D table.ads		20090506081141 e3a9ec16 table%s
D types.ads		20150130153101 63969ace types%s
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
X 1 ada.ads
16K9*Ada 19e8 11|29r6 140r15
X 2 a-unccon.ads
20v14*Unchecked_Conversion 11|29w10 140r19
X 4 alloc.ads
42K9*Alloc 166e10 11|203r51
82N4*Lines_Initial 11|203r57
X 5 casing.ads
59n7*Unknown{47E9} 11|183r39 186r39
X 7 namet.ads
151a4*Name_Buffer{string} 11|76m7 78m7 85m36 85r36 167m10
157i4*Name_Len{natural} 11|75m7 76r25 78r20 166m10 167r28
179I9*Name_Id<integer>
415V13*Name_Find{179I9} 11|77s18 168s21
571I9*File_Name_Type<179I9> 11|57r17 58r17
X 8 opt.ads
50K9*Opt 2285e8 11|26w6 26r18 203r32
1417i4*Table_Factor{21|59I9} 11|203r36
X 9 sinput.ads
69K9*Sinput 947e11 10|31r9 36r5 11|36r14 211r5
77n7*Config{71E9} 11|177r39
86I9*Instance_Id<21|59I9>
87i4*No_Instance_Id{86I9} 11|182r39
97n7*Unknown{96E9} 11|188r39
357U14*Set_Source_File_Index_Table 11|207s7
779A9 Lines_Table_Type(21|212I12)<21|171I9>
786P9 Lines_Table_Ptr(779A9)
789A9 Logical_Lines_Table_Type(21|161I9)<21|171I9>
798P9 Logical_Lines_Table_Ptr(789A9)
807R9 Source_File_Record 858e14 11|172r14
808i7*File_Name{7|571I9} 11|176m16
809i7*Reference_Name{7|571I9} 11|193m16
810i7*Debug_Source_Name{7|571I9} 11|175m16
811i7*Full_Debug_Name{7|571I9} 11|179m16
812i7*Full_File_Name{7|571I9} 11|180m16
813i7*Full_Ref_Name{7|571I9} 11|181m16
814i7*Instance{86I9} 11|182m16
815i7*Num_SRef_Pragmas{21|62I12} 11|192m16
816i7*First_Mapped_Line{21|161I9} 11|178m16
817p7*Source_Text{21|202P9} 11|198m16
818i7*Source_First{21|212I12} 11|196m16
819i7*Source_Last{21|212I12} 11|71r44 197m16
820m7*Source_Checksum{21|68M9} 11|195m16
821i7*Last_Source_Line{21|171I9} 11|187m16
822i7*Template{21|567I9} 11|199m16
823i7*Unit{21|556I9} 11|200m16
824a7*Time_Stamp{21|607A9} 11|201m16
825e7*File_Type{71E9} 11|177m16
826i7*Inlined_Call{21|212I12} 11|184m16
827b7*Inlined_Body{boolean} 11|185m16
828e7*License{96E9} 11|188m16
829e7*Keyword_Casing{5|47E9} 11|186m16
830e7*Identifier_Casing{5|47E9} 11|183m16
835i7*Sloc_Adjust{21|212I12} 11|194m16
841p7*Lines_Table{786P9} 11|189m16 204r12
847p7*Logical_Lines_Table{798P9} 11|191m16
852i7*Lines_Table_Max{21|171I9} 11|190m16
903K12 Source_File[20|55] 11|65r7 66r12 68r14 71r18 88r10 172r41
926U14 Alloc_Line_Tables 11|203s10
X 10 sinput-c.ads
31K16*C 9|69k9 10|36l12 36e13 11|36b21 211l12 211t13
33V13*Load_File{21|567I9} 33>24 11|42b13 209l8 209t17
33a24 Path{string} 11|42b24 61r10 75r19 76r38 157r30 160r24 161r23 162r23
. 166r22 167r41 167r56
X 11 sinput-c.adb
43p7 Src{21|202P9} 145m13 198r39
44i7 X{21|567I9} 66m7 68r10 71r37 172r60 207r36 208r14
45i7 Lo{21|212I12} 69m10 71m10 98r13 103r57 119r16 196r39 204r31
46i7 Hi{21|212I12} 98m7 103r63 119m10 121r61 122m13 122r19 126r22 197r39
48i7 Source_File_FD{15|186I9} 85m7 87r10 93r36 121r33 152r14
52i7 Len{integer} 93m7 98r30 121r74 123r36
55i7 Actual_Len{integer} 121m13 122r36 123r23 123r48
57i7 Path_Id{7|571I9} 77m7 179r39 180r39 181r39
58i7 File_Id{7|571I9} 168m10 175r39 176r39 193r39
103A18 Actual_Source_Buffer{21|191A12}<21|144I9> 106r43 109r57
106P15 Actual_Source_Ptr(103A18) 109r32
109p10 Actual_Ptr{106P15} 121r49 126r10 145r42
139V22 To_Source_Buffer_Ptr[2|20]{21|202P9} 145s20
157i10 Index{positive} 160r16 161r29 162r29 163m13 163r22 166r34 167r47
172r10 S{9|807R9} 175r10 203r29 204r10
X 12 system.ads
47K9*System 11|27w6 27r18 33r6 33r25 12|177e11
77M9*Address 11|140r41
X 15 s-os_lib.ads
59K16*OS_Lib 11|33w13 33r32 15|1053e18
186I9*File_Descriptor<integer> 11|48r24
194i4*Invalid_FD{186I9} 11|87r27
197n18*Binary{197E9} 11|85r57
307U14*Close 11|152s7
408V13*Read{integer} 11|121s27
441V13*File_Length{long_integer} 11|93s23
645V13*Open_Read{186I9} 11|85s25
1019e4*Directory_Separator{character} 11|162r42
X 20 table.ads
106A12*Table_Type(9|807R9)<21|567I9>
109A15*Big_Table_Type{106A12[9|903]}<21|567I9>
117P12*Table_Ptr(109A15[9|903])
121p7*Table{117P12[9|903]} 11|71r30[9|903] 172r53[9|903]
145V16*Last{21|567I9} 11|66s24[9|903]
162i7*First{21|567I9} 11|68r26[9|903]
174U17*Increment_Last 11|65s19[9|903]
178U17*Decrement_Last 11|88s22[9|903]
X 21 types.ads
59I9*Int<integer>
62I12*Nat{59I9}
68M9*Word
91e4*EOF{character} 11|126r29
144I9*Text_Ptr<59I9>
147A9*Text_Buffer(character)<144I9>
161I9*Logical_Line_Number<integer>
168i4*No_Line_Number{161I9} 11|178r39
171I9*Physical_Line_Number<integer>
186N4*Source_Align 11|71r58 72r19 72r35
191A12*Source_Buffer{147A9}<144I9> 11|103r42
198A12*Big_Source_Buffer{147A9}<144I9>
202P9*Source_Buffer_Ptr(198A12) 11|43r14 140r50
212I12*Source_Ptr{144I9} 11|45r14 46r14 98r18 122r24
219i4*No_Location{212I12} 11|184r39
241i4*First_Source_Ptr{212I12} 11|69r16
556I9*Unit_Number_Type<59I9>
564i4*No_Unit{556I9} 11|200r39
567I9*Source_File_Index<59I9> 10|33r46 11|42r46 44r14
575i4*No_Source_File{567I9} 11|62r17 89r17 199r39
607A9*Time_Stamp_Type<string>(character)<integer>
610a4*Empty_Time_Stamp{607A9} 11|201r39