This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/gnatvsn/debug.ali is in libgnatvsn8-dev 8-20180414-1ubuntu2.

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
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
V "GNAT Lib v8"
A -nostdinc
A -O2
A -fPIC
A -gnatn
A -g
A -mtune=generic
A -march=x86-64
P ZX

RN
RV SPARK_05

U debug%b		debug.adb		91fc5baa NE OO PK

U debug%s		debug.ads		1ac546f9 NE OO PR PK

D debug.ads		20180114104847 1ac546f9 debug%s
D debug.adb		20180114104847 8b391d53 debug%b
D system.ads		20180114104845 4635ec04 system%s
X 1 debug.ads
36K9*Debug 256l5 256e10 2|32b14 1468l5 1468t10
51b4*Debug_Flag_A{boolean} 2|1118m16
52b4*Debug_Flag_B{boolean} 2|1120m16
53b4*Debug_Flag_C{boolean} 2|1122m16
54b4*Debug_Flag_D{boolean} 2|1124m16
55b4*Debug_Flag_E{boolean} 2|1126m16
56b4*Debug_Flag_F{boolean} 2|1128m16
57b4*Debug_Flag_G{boolean} 2|1130m16
58b4*Debug_Flag_H{boolean} 2|1132m16
59b4*Debug_Flag_I{boolean} 2|1134m16
60b4*Debug_Flag_J{boolean} 2|1136m16
61b4*Debug_Flag_K{boolean} 2|1138m16
62b4*Debug_Flag_L{boolean} 2|1140m16
63b4*Debug_Flag_M{boolean} 2|1142m16
64b4*Debug_Flag_N{boolean} 2|1144m16
65b4*Debug_Flag_O{boolean} 2|1146m16
66b4*Debug_Flag_P{boolean} 2|1148m16
67b4*Debug_Flag_Q{boolean} 2|1150m16
68b4*Debug_Flag_R{boolean} 2|1152m16
69b4*Debug_Flag_S{boolean} 2|1154m16
70b4*Debug_Flag_T{boolean} 2|1156m16
71b4*Debug_Flag_U{boolean} 2|1158m16
72b4*Debug_Flag_V{boolean} 2|1160m16
73b4*Debug_Flag_W{boolean} 2|1162m16
74b4*Debug_Flag_X{boolean} 2|1164m16
75b4*Debug_Flag_Y{boolean} 2|1166m16
76b4*Debug_Flag_Z{boolean} 2|1168m16
78b4*Debug_Flag_AA{boolean} 2|1062m16
79b4*Debug_Flag_BB{boolean} 2|1064m16
80b4*Debug_Flag_CC{boolean} 2|1066m16
81b4*Debug_Flag_DD{boolean} 2|1068m16
82b4*Debug_Flag_EE{boolean} 2|1070m16
83b4*Debug_Flag_FF{boolean} 2|1072m16
84b4*Debug_Flag_GG{boolean} 2|1074m16
85b4*Debug_Flag_HH{boolean} 2|1076m16
86b4*Debug_Flag_II{boolean} 2|1078m16
87b4*Debug_Flag_JJ{boolean} 2|1080m16
88b4*Debug_Flag_KK{boolean} 2|1082m16
89b4*Debug_Flag_LL{boolean} 2|1084m16
90b4*Debug_Flag_MM{boolean} 2|1086m16
91b4*Debug_Flag_NN{boolean} 2|1088m16
92b4*Debug_Flag_OO{boolean} 2|1090m16
93b4*Debug_Flag_PP{boolean} 2|1092m16
94b4*Debug_Flag_QQ{boolean} 2|1094m16
95b4*Debug_Flag_RR{boolean} 2|1096m16
96b4*Debug_Flag_SS{boolean} 2|1098m16
97b4*Debug_Flag_TT{boolean} 2|1100m16
98b4*Debug_Flag_UU{boolean} 2|1102m16
99b4*Debug_Flag_VV{boolean} 2|1104m16
100b4*Debug_Flag_WW{boolean} 2|1106m16
101b4*Debug_Flag_XX{boolean} 2|1108m16
102b4*Debug_Flag_YY{boolean} 2|1110m16
103b4*Debug_Flag_ZZ{boolean} 2|1112m16
105b4*Debug_Flag_1{boolean} 2|1040m16
106b4*Debug_Flag_2{boolean} 2|1042m16
107b4*Debug_Flag_3{boolean} 2|1044m16
108b4*Debug_Flag_4{boolean} 2|1046m16
109b4*Debug_Flag_5{boolean} 2|1048m16
110b4*Debug_Flag_6{boolean} 2|1050m16
111b4*Debug_Flag_7{boolean} 2|1052m16
112b4*Debug_Flag_8{boolean} 2|1054m16
113b4*Debug_Flag_9{boolean} 2|1056m16
115b4*Debug_Flag_Dot_A{boolean} 2|1264m16
116b4*Debug_Flag_Dot_B{boolean} 2|1266m16
117b4*Debug_Flag_Dot_C{boolean} 2|1268m16
118b4*Debug_Flag_Dot_D{boolean} 2|1270m16
119b4*Debug_Flag_Dot_E{boolean} 2|1272m16
120b4*Debug_Flag_Dot_F{boolean} 2|1274m16
121b4*Debug_Flag_Dot_G{boolean} 2|1276m16
122b4*Debug_Flag_Dot_H{boolean} 2|1278m16
123b4*Debug_Flag_Dot_I{boolean} 2|1280m16
124b4*Debug_Flag_Dot_J{boolean} 2|1282m16
125b4*Debug_Flag_Dot_K{boolean} 2|1284m16
126b4*Debug_Flag_Dot_L{boolean} 2|1286m16
127b4*Debug_Flag_Dot_M{boolean} 2|1288m16
128b4*Debug_Flag_Dot_N{boolean} 2|1290m16
129b4*Debug_Flag_Dot_O{boolean} 2|1292m16
130b4*Debug_Flag_Dot_P{boolean} 2|1294m16
131b4*Debug_Flag_Dot_Q{boolean} 2|1296m16
132b4*Debug_Flag_Dot_R{boolean} 2|1298m16
133b4*Debug_Flag_Dot_S{boolean} 2|1300m16
134b4*Debug_Flag_Dot_T{boolean} 2|1302m16
135b4*Debug_Flag_Dot_U{boolean} 2|1304m16
136b4*Debug_Flag_Dot_V{boolean} 2|1306m16
137b4*Debug_Flag_Dot_W{boolean} 2|1308m16
138b4*Debug_Flag_Dot_X{boolean} 2|1310m16
139b4*Debug_Flag_Dot_Y{boolean} 2|1312m16
140b4*Debug_Flag_Dot_Z{boolean} 2|1314m16
142b4*Debug_Flag_Dot_AA{boolean} 2|1208m16
143b4*Debug_Flag_Dot_BB{boolean} 2|1210m16
144b4*Debug_Flag_Dot_CC{boolean} 2|1212m16
145b4*Debug_Flag_Dot_DD{boolean} 2|1214m16
146b4*Debug_Flag_Dot_EE{boolean} 2|1216m16
147b4*Debug_Flag_Dot_FF{boolean} 2|1218m16
148b4*Debug_Flag_Dot_GG{boolean} 2|1220m16
149b4*Debug_Flag_Dot_HH{boolean} 2|1222m16
150b4*Debug_Flag_Dot_II{boolean} 2|1224m16
151b4*Debug_Flag_Dot_JJ{boolean} 2|1226m16
152b4*Debug_Flag_Dot_KK{boolean} 2|1228m16
153b4*Debug_Flag_Dot_LL{boolean} 2|1230m16
154b4*Debug_Flag_Dot_MM{boolean} 2|1232m16
155b4*Debug_Flag_Dot_NN{boolean} 2|1234m16
156b4*Debug_Flag_Dot_OO{boolean} 2|1236m16
157b4*Debug_Flag_Dot_PP{boolean} 2|1238m16
158b4*Debug_Flag_Dot_QQ{boolean} 2|1240m16
159b4*Debug_Flag_Dot_RR{boolean} 2|1242m16
160b4*Debug_Flag_Dot_SS{boolean} 2|1244m16
161b4*Debug_Flag_Dot_TT{boolean} 2|1246m16
162b4*Debug_Flag_Dot_UU{boolean} 2|1248m16
163b4*Debug_Flag_Dot_VV{boolean} 2|1250m16
164b4*Debug_Flag_Dot_WW{boolean} 2|1252m16
165b4*Debug_Flag_Dot_XX{boolean} 2|1254m16
166b4*Debug_Flag_Dot_YY{boolean} 2|1256m16
167b4*Debug_Flag_Dot_ZZ{boolean} 2|1258m16
169b4*Debug_Flag_Dot_1{boolean} 2|1186m16
170b4*Debug_Flag_Dot_2{boolean} 2|1188m16
171b4*Debug_Flag_Dot_3{boolean} 2|1190m16
172b4*Debug_Flag_Dot_4{boolean} 2|1192m16
173b4*Debug_Flag_Dot_5{boolean} 2|1194m16
174b4*Debug_Flag_Dot_6{boolean} 2|1196m16
175b4*Debug_Flag_Dot_7{boolean} 2|1198m16
176b4*Debug_Flag_Dot_8{boolean} 2|1200m16
177b4*Debug_Flag_Dot_9{boolean} 2|1202m16
179b4*Debug_Flag_Underscore_A{boolean} 2|1413m16
180b4*Debug_Flag_Underscore_B{boolean} 2|1415m16
181b4*Debug_Flag_Underscore_C{boolean} 2|1417m16
182b4*Debug_Flag_Underscore_D{boolean} 2|1419m16
183b4*Debug_Flag_Underscore_E{boolean} 2|1421m16
184b4*Debug_Flag_Underscore_F{boolean} 2|1423m16
185b4*Debug_Flag_Underscore_G{boolean} 2|1425m16
186b4*Debug_Flag_Underscore_H{boolean} 2|1427m16
187b4*Debug_Flag_Underscore_I{boolean} 2|1429m16
188b4*Debug_Flag_Underscore_J{boolean} 2|1431m16
189b4*Debug_Flag_Underscore_K{boolean} 2|1433m16
190b4*Debug_Flag_Underscore_L{boolean} 2|1435m16
191b4*Debug_Flag_Underscore_M{boolean} 2|1437m16
192b4*Debug_Flag_Underscore_N{boolean} 2|1439m16
193b4*Debug_Flag_Underscore_O{boolean} 2|1441m16
194b4*Debug_Flag_Underscore_P{boolean} 2|1443m16
195b4*Debug_Flag_Underscore_Q{boolean} 2|1445m16
196b4*Debug_Flag_Underscore_R{boolean} 2|1447m16
197b4*Debug_Flag_Underscore_S{boolean} 2|1449m16
198b4*Debug_Flag_Underscore_T{boolean} 2|1451m16
199b4*Debug_Flag_Underscore_U{boolean} 2|1453m16
200b4*Debug_Flag_Underscore_V{boolean} 2|1455m16
201b4*Debug_Flag_Underscore_W{boolean} 2|1457m16
202b4*Debug_Flag_Underscore_X{boolean} 2|1459m16
203b4*Debug_Flag_Underscore_Y{boolean} 2|1461m16
204b4*Debug_Flag_Underscore_Z{boolean} 2|1463m16
206b4*Debug_Flag_Underscore_AA{boolean} 2|1357m16
207b4*Debug_Flag_Underscore_BB{boolean} 2|1359m16
208b4*Debug_Flag_Underscore_CC{boolean} 2|1361m16
209b4*Debug_Flag_Underscore_DD{boolean} 2|1363m16
210b4*Debug_Flag_Underscore_EE{boolean} 2|1365m16
211b4*Debug_Flag_Underscore_FF{boolean} 2|1367m16
212b4*Debug_Flag_Underscore_GG{boolean} 2|1369m16
213b4*Debug_Flag_Underscore_HH{boolean} 2|1371m16
214b4*Debug_Flag_Underscore_II{boolean} 2|1373m16
215b4*Debug_Flag_Underscore_JJ{boolean} 2|1375m16
216b4*Debug_Flag_Underscore_KK{boolean} 2|1377m16
217b4*Debug_Flag_Underscore_LL{boolean} 2|1379m16
218b4*Debug_Flag_Underscore_MM{boolean} 2|1381m16
219b4*Debug_Flag_Underscore_NN{boolean} 2|1383m16
220b4*Debug_Flag_Underscore_OO{boolean} 2|1385m16
221b4*Debug_Flag_Underscore_PP{boolean} 2|1387m16
222b4*Debug_Flag_Underscore_QQ{boolean} 2|1389m16
223b4*Debug_Flag_Underscore_RR{boolean} 2|1391m16
224b4*Debug_Flag_Underscore_SS{boolean} 2|1393m16
225b4*Debug_Flag_Underscore_TT{boolean} 2|1395m16
226b4*Debug_Flag_Underscore_UU{boolean} 2|1397m16
227b4*Debug_Flag_Underscore_VV{boolean} 2|1399m16
228b4*Debug_Flag_Underscore_WW{boolean} 2|1401m16
229b4*Debug_Flag_Underscore_XX{boolean} 2|1403m16
230b4*Debug_Flag_Underscore_YY{boolean} 2|1405m16
231b4*Debug_Flag_Underscore_ZZ{boolean} 2|1407m16
233b4*Debug_Flag_Underscore_1{boolean} 2|1335m16
234b4*Debug_Flag_Underscore_2{boolean} 2|1337m16
235b4*Debug_Flag_Underscore_3{boolean} 2|1339m16
236b4*Debug_Flag_Underscore_4{boolean} 2|1341m16
237b4*Debug_Flag_Underscore_5{boolean} 2|1343m16
238b4*Debug_Flag_Underscore_6{boolean} 2|1345m16
239b4*Debug_Flag_Underscore_7{boolean} 2|1347m16
240b4*Debug_Flag_Underscore_8{boolean} 2|1349m16
241b4*Debug_Flag_Underscore_9{boolean} 2|1351m16
243U14*Set_Debug_Flag 243>30 243>45 2|1031b14 1171l8 1171t22
243e30 C{character} 2|1031b30 1037r10 1038r20 1059r13 1060r21 1116r21
243b45 Val{boolean} 2|1031b45 1040r32 1042r32 1044r32 1046r32 1048r32 1050r32
. 1052r32 1054r32 1056r32 1062r33 1064r33 1066r33 1068r33 1070r33 1072r33
. 1074r33 1076r33 1078r33 1080r33 1082r33 1084r33 1086r33 1088r33 1090r33
. 1092r33 1094r33 1096r33 1098r33 1100r33 1102r33 1104r33 1106r33 1108r33
. 1110r33 1112r33 1118r32 1120r32 1122r32 1124r32 1126r32 1128r32 1130r32
. 1132r32 1134r32 1136r32 1138r32 1140r32 1142r32 1144r32 1146r32 1148r32
. 1150r32 1152r32 1154r32 1156r32 1158r32 1160r32 1162r32 1164r32 1166r32
. 1168r32
248U14*Set_Dotted_Debug_Flag 248>37 248>52 2|1177b14 1317l8 1317t29
248e37 C{character} 2|1177b37 1183r10 1184r20 1205r13 1206r21 1262r21
248b52 Val{boolean} 2|1177b52 1186r36 1188r36 1190r36 1192r36 1194r36 1196r36
. 1198r36 1200r36 1202r36 1208r37 1210r37 1212r37 1214r37 1216r37 1218r37
. 1220r37 1222r37 1224r37 1226r37 1228r37 1230r37 1232r37 1234r37 1236r37
. 1238r37 1240r37 1242r37 1244r37 1246r37 1248r37 1250r37 1252r37 1254r37
. 1256r37 1258r37 1264r36 1266r36 1268r36 1270r36 1272r36 1274r36 1276r36
. 1278r36 1280r36 1282r36 1284r36 1286r36 1288r36 1290r36 1292r36 1294r36
. 1296r36 1298r36 1300r36 1302r36 1304r36 1306r36 1308r36 1310r36 1312r36
. 1314r36
252U14*Set_Underscored_Debug_Flag 252>42 252>57 2|1323b14 1466l8 1466t34
252e42 C{character} 2|1324b7 1332r10 1333r20 1354r13 1355r21 1411r21
252b57 Val{boolean} 2|1325b7 1335r43 1337r43 1339r43 1341r43 1343r43 1345r43
. 1347r43 1349r43 1351r43 1357r44 1359r44 1361r44 1363r44 1365r44 1367r44
. 1369r44 1371r44 1373r44 1375r44 1377r44 1379r44 1381r44 1383r44 1385r44
. 1387r44 1389r44 1391r44 1393r44 1395r44 1397r44 1399r44 1401r44 1403r44
. 1405r44 1407r44 1413r43 1415r43 1417r43 1419r43 1421r43 1423r43 1425r43
. 1427r43 1429r43 1431r43 1433r43 1435r43 1437r43 1439r43 1441r43 1443r43
. 1445r43 1447r43 1449r43 1451r43 1453r43 1455r43 1457r43 1459r43 1461r43
. 1463r43
X 2 debug.adb
1032E15 Dig{character} 1037r15 1038r15
1033E15 LLet{character} 1116r15
1034E15 ULet{character} 1059r18 1060r15
1178E15 Dig{character} 1183r15 1184r15
1179E15 LLet{character} 1262r15
1180E15 ULet{character} 1205r18 1206r15
1327E15 Dig{character} 1332r15 1333r15
1328E15 LLet{character} 1411r15
1329E15 ULet{character} 1354r18 1355r15