This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/gnatvsn/stringt.ali is in libgnatvsn7-dev 7.3.0-16ubuntu3.

This file is owned by root:root, with mode 0o444.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
V "GNAT Lib v7"
A -nostdinc
A -O2
A -fPIC
A -gnatn
A -g
A -mtune=generic
A -march=x86-64
P SS ZX

RN
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_RECURSION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U stringt%b		stringt.adb		5768e33c OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W alloc%s		alloc.ads		alloc.ali
W interfaces%s		interfac.ads		interfac.ali
W output%s		output.adb		output.ali  AD
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W table%s		table.adb		table.ali  AD

U stringt%s		stringt.ads		435b2cec BN EB EE NE OO PK
W namet%s		namet.adb		namet.ali
W system%s		system.ads		system.ali
W types%s		types.adb		types.ali

D ada.ads		20170106103348 76789da1 ada%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-unccon.ads		20170106103348 31484697 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D alloc.ads		20161013130054 4a321a0f alloc%s
D debug.ads		20151112115918 3ea59655 debug%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D interfac.ads		20160502101001 5ab55268 interfaces%s
D namet.ads		20170123115727 ee8d1c57 namet%s
D namet.adb		20170123115727 fb15d1f8 namet%b
D opt.ads		20170123115126 120d082a opt%s
D output.ads		20151112132540 05f6116c output%s
D stringt.ads		20160418105332 90bf4717 stringt%s
D stringt.adb		20160419130601 26631134 stringt%b
D system.ads		20170510173650 4635ec04 system%s
D s-carun8.ads		20140225151544 a903718d system.compare_array_unsigned_8%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-memory.ads		20160622104833 597d6634 system.memory%s
D s-os_lib.ads		20180415045213 4e0c17b8 system.os_lib%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-secsta.ads		20170112134946 9751b57e system.secondary_stack%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20160502101423 34867c83 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
D table.ads		20170119115521 ae70be7c table%s
D table.adb		20161013130054 41747fc3 table%b
D tree_io.ads		20140718093624 6de0ef2c tree_io%s
D types.ads		20160622103147 7b5c9ba8 types%s
D types.adb		20140801083227 7e6e78d2 types%b
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
D widechar.ads		20140801083227 3fd6363b widechar%s
X 5 alloc.ads
42K9*Alloc 168e10 14|32w6 46r30 47r30 63r30 64r30
132N4*String_Chars_Initial 14|46r36
133N4*String_Chars_Increment 14|47r36
135N4*Strings_Initial 14|63r36
136N4*Strings_Increment 14|64r36
X 9 namet.ads
37K9*Namet 759e10 13|32w6 32r18
151R9*Bounded_String 157e14 13|127r35 139r13 14|87r35 310r13
168r4*Global_Name_Buffer{151R9} 13|139r31 14|84m15 84r15 310r31 334m15 334r15
170i4*Name_Len{natural} 14|333r7
337V14*"+"=337:62{string} 14|314s27
369U14*Append 14|90s10
X 12 output.ads
44K9*Output 213e11 14|33w6 33r18
106U14*Write_Char 14|404s10 405s10 412s10 415s10 416s10 431s10 432s10 448s10
. 469s10
123U14*Write_Int 14|463s16
130U14*Write_Str 14|445s10 454s16 462s16 464s16
X 13 stringt.ads
36K9*Stringt 180l5 180e12 14|36b14 473l5 473t12
54i4*Null_String_Id{32|494I9} 14|127m7
61U14*Initialize 14|119b14 128l8 128t18
65U14*Lock 14|134b14 140l8 140t12
68U14*Unlock 14|370b14 374l8 374t14
71U14*Mark 14|146b14 150l8 150t12
75U14*Release 14|156b14 160l8 160t15
80U14*Start_String 14|126s7 168b14 171l8 171t20 313s7
86U14*Start_String 86>28 14|175b14 203l8 203t20
86i28 S{32|494I9} 14|175b28 182r25 182r58 186r27 194r39 196r51 202r61
93U14*Store_String_Char 93>33 14|209b14 214l8 214t25 218s7 228s10
93m33 C{32|521M12} 14|209b33 211r28
94U14*Store_String_Char 94>33 14|216b14 219l8 219t25 263s10 271s10
94e33 C{character} 14|216b33 218r41
97U14*Store_String_Chars 97>34 14|225b14 230l8 230t26 314s7
97a34 S{string} 14|225b34 227r16 227r27 228r44
98U14*Store_String_Chars 98>34 14|232b14 254l8 254t26
98i34 S{32|494I9} 14|232b34 243r49 244r49
101U14*Store_String_Int 101>32 14|260b14 264s10 268s13 273l8 273t24
101i32 N{32|59I9} 14|260b32 262r10 264r29 267r13 268r31 271r66
104U14*Unstore_String_Char 14|380b14 385l8 385t27
108V13*End_String{32|494I9} 177r19 14|98b13 101l8 101t18 127s25 315s14
111V13*String_Length{32|62I12} 111>28 178r19 14|89s21 244s34 322b13 325l8
. 325t21 450s24 463s27
111i28 Id{32|494I9} 14|322b28 324r29
114V13*Get_String_Char{32|521M12} 114>30 114>46 115r19 14|90s38 107b13 113l8
. 113t23 296s16 296s42 451s18
114i30 Id{32|494I9} 14|107b30 109r22 110r62 112r49
114i46 Index{32|59I9} 14|107b46 110r33 112r68
119V13*String_Equal{boolean} 119>27 119>30 14|288b13 303l8 303t20
119i27 L{32|494I9} 14|288b27 289r44 296r33
119i30 R{32|494I9} 14|288b30 292r32 296r59
122U14*String_To_Name_Buffer 122>37 14|331b14 335l8 335t29
122i37 S{32|494I9} 14|331b37 334r35
127U14*Append 127=22 127>51 14|84s7 87b14 92l8 92t14 334s7
127r22 Buf{9|151R9} 14|87b22 90m18
127i51 S{32|494I9} 14|87b51 89r36 90r55
132U14*Add_String_To_Name_Buffer 132>41 14|82b14 85l8 85t33
132i41 S{32|494I9} 14|82b41 84r35
135V13*String_Chars_Address{15|67M9} 14|279b13 282l8 282t28
138V13*String_From_Name_Buffer{32|494I9} 139>7 14|309b13 316l8 316t31
139r7 Buf{9|151R9} 14|310b7 314r28
142V13*Strings_Address{15|67M9} 14|341b13 344l8 344t23
145U14*Tree_Read 14|350b14 354l8 354t17
150U14*Tree_Write 14|360b14 364l8 364t18
154U14*Write_Char_Code 154>31 14|391b14 434l8 434t23 456s16
154m31 Code{32|521M12} 14|391b31 411r10 412r37 418r13 419r29 422r13 423r30
. 426r13 427r30 430r26
164U14*Write_String_Table_Entry 164>40 14|440b14 471l8 471t32
164i40 Id{32|494I9} 14|440b40 444r10 450r39 451r35 463r42
X 14 stringt.adb
42K12 String_Chars[29|56] 112r14 121r7 136r7 138r7 149r28 159r7 170r40 183r53
. 192r12 195r13 196r16 211r7 245r34 249r7 250r7 251r9 281r14 352r7 362r7
. 372r7 382r7
54R9 String_Entry 57e14 60r30
55i7*String_Index{32|59I9} 112r53 170m24 182r28 185m39 186r30 191m39 196r54
. 243r52
56i7*Length{32|62I12} 110r66 170m63 182r61 194r42 202m36 202r64 212m36 213r38
. 252m36 253r38 289r47 292r35 324r33 383m36 384r38
59K12 Strings[29|56] 100r14 109r47 110r47 112r34 122r7 137r7 139r7 148r23
. 158r7 170r7 177r7 182r10 182r43 185r10 185r25 186r12 191r10 191r25 194r24
. 196r36 202r7 202r22 202r46 212r7 212r22 213r9 213r24 243r34 252r7 252r22
. 253r9 253r24 289r29 292r17 324r14 343r14 353r7 363r7 373r7 383r7 383r22
. 384r9 384r24
72i4 Strings_Last{32|494I9} 148m7 158r25
73i4 String_Chars_Last{32|59I9} 149m7 159r30
89i11 X<integer> 90r58
194i14 J<integer> 196r70
227i11 J{integer} 228r47
243i7 S_First{32|59I9} 251r29 251r40
244i7 S_Len{32|62I12} 246r45 251r50 253r47
245i7 Old_Last{32|59I9} 246r34 250r27
246i7 New_Last{32|59I9} 249r30 250r43
289i7 Len{32|62I12} 292r10 295r24
295i14 J<integer> 296r36 296r62
393U17 Write_Hex_Byte 393>33 400b17 406l11 406t25 419s13 423s13 427s13 430s10
393m33 J{32|521M12} 400b33 404r28 405r28
401a10 Hexd(character) 404r22 405r22
441m7 C{32|521M12} 451m13 453r16 456r33
450i14 J<integer> 451r39 461r16
X 15 system.ads
37K9*System 13|33w6 33r18 135r41 142r36 14|279r41 341r36 15|156e11
67M9*Address 13|135r48 142r43 14|279r48 341r43
X 19 s-memory.ads
53V13*Alloc{15|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{15|67M9} 105i<c,__gnat_realloc>22
X 29 table.ads
43K9*Table 14|34w6 42r32 59r27 29|245e10
47+12 Table_Component_Type 14|43r6 60r6
48I12 Table_Index_Type 14|44r6 61r6
50*7 Table_Low_Bound{48I12} 14|45r6 62r6
51i7 Table_Initial{32|65I12} 14|46r6 63r6
52i7 Table_Increment{32|62I12} 14|47r6 64r6
53a7 Table_Name{string} 14|48r6 65r6
56k12*Table 14|42r38 59r33 29|244e13
107A12*Table_Type(14|54R9)<32|494I9>
110A15*Big_Table_Type{107A12[14|59]}<32|494I9>
118P12*Table_Ptr(110A15[14|59])
122p7*Table{118P12[14|59]} 14|110r55[59] 112r27[42] 112r42[59] 182r18[59]
. 182r51[59] 185r18[59] 186r20[59] 191r18[59] 194r31[59] 194r32[59] 196r29[42]
. 196r44[59] 202r15[59] 202r54[59] 212r15[59] 213r17[59] 243r42[59] 250r20[42]
. 251r22[42] 252r15[59] 253r17[59] 281r27[42] 289r37[59] 292r25[59] 324r22[59]
. 343r22[59] 383r15[59] 384r17[59]
129b7*Locked{boolean} 14|136m20[42] 137m15[59] 372m20[42] 373m15[59]
139U17*Init 14|121s20[42] 122s15[59]
146V16*Last{32|494I9} 14|100s22[59] 109s55[59] 148s31[59] 149s41[42] 170s53[42]
. 183s66[42] 185s33[59] 191s33[59] 192s25[42] 202s30[59] 212s30[59] 213s32[59]
. 245s47[42] 252s30[59] 253s32[59] 383s30[59] 384s32[59]
153U17*Release 14|138s20[42] 139s15[59]
172U17*Set_Last 14|158s15[59] 159s20[42] 249s20[42]
181U17*Increment_Last 14|177s15[59]
185U17*Decrement_Last 14|382s20[42]
189U17*Append 14|170s15[59] 195s26[42] 211s20[42]
220U17*Tree_Write 14|362s20[42] 363s15[59]
223U17*Tree_Read 14|352s20[42] 353s15[59]
X 32 types.ads
52K9*Types 13|34w6 34r18 32|941e10
59I9*Int<integer> 13|101r36 114r54 14|44r30 55r22 73r24 107r54 243r27 245r27
. 246r27 260r36
62I12*Nat{59I9} 13|111r51 14|56r22 244r27 289r22 322r51
65I12*Pos{59I9}
494I9*String_Id<integer> 13|54r21 86r32 98r38 108r31 111r33 114r35 119r34
. 122r41 127r55 132r45 139r58 164r45 14|61r30 72r24 82r45 87r55 98r31 107r35
. 175r32 232r38 288r34 310r58 322r33 331r41 440r45
497i4*No_String{494I9} 14|444r15
501i4*First_String_Id{494I9} 14|62r30 72r37 109r28 343r29
518M9*Char_Code_Base
521M12*Char_Code{518M9} 13|93r37 114r66 154r38 14|43r30 107r66 209r37 391r38
. 393r37 400r37 401r33 441r11
525V13*Get_Char_Code{521M12} 14|218s26 228s29
542V13*Get_Character{character} 14|90s23