This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/gnatvsn/table.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
V "GNAT Lib v7"
A -nostdinc
A -O2
A -fPIC
A -gnatn
A -g
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_EXCEPTIONS
RV NO_LONG_LONG_INTEGERS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U table%b		table.adb		7eddb5a8 NE OO PK
W debug%s		debug.adb		debug.ali
W opt%s			opt.adb			opt.ali
W output%s		output.adb		output.ali  EA
W system%s		system.ads		system.ali
W system.memory%s	s-memory.adb		s-memory.ali
W tree_io%s		tree_io.adb		tree_io.ali
W unchecked_conversion%s

U table%s		table.ads		d52c25d4 BN EB NE OO PK
W types%s		types.adb		types.ali

D ada.ads		20170106103348 76789da1 ada%s
D a-unccon.ads		20170106103348 31484697 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D debug.ads		20151112115918 3ea59655 debug%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D opt.ads		20170123115126 120d082a opt%s
D output.ads		20151112132540 05f6116c output%s
D system.ads		20170510173650 4635ec04 system%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-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%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 unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
X 4 debug.ads
36K9*Debug 188e10 18|32w6 32r19
54b4*Debug_Flag_D{boolean} 18|201r16 257r16
X 6 opt.ads
50K9*Opt 2323e8 18|33w6 33r19
1463i4*Table_Factor{20|59I9} 18|140r45
X 7 output.ads
44K9*Output 213e11 18|34w6 34r19 42r23
77U14*Set_Standard_Error 18|226s13
84U14*Set_Standard_Output 18|229s13
113U14*Write_Eol 18|206s16 228s13 263s16
123U14*Write_Int 18|205s16 259s16 261s16
130U14*Write_Str 18|202s16 203s16 204s16 227s13 258s16 260s16 262s16
X 8 system.ads
37K9*System 156e11 18|35w6 35r19 38r6 38r25 323r45
67M9*Address 18|63r46 72r67 73r56 323r52 403r46
69m4*Null_Address{67M9} 18|406r20
71N4*Storage_Unit 18|214r66 245r51 434r45 450r44
77V14*"<"{boolean} 18|356r34
78V14*"<="{boolean} 18|355r45
X 11 s-memory.ads
45K16*Memory 107e18 18|38w13 38r32 174r23 213r12 240r25 244r20 251r28
48M9*size_t 18|174r30 213r19 240r32 244r27 251r35
53V13*Alloc{8|67M9} 103i<c,__gnat_malloc>22 18|217s34
68U14*Free 104i<c,__gnat_free>22 18|112s10 278s10
76V13*Realloc{8|67M9} 105i<c,__gnat_realloc>22 18|221s27
77m7 Ptr{8|67M9} 18|221r36
78m7 Size{48M9} 18|222r36
X 17 table.ads
43K9*Table 245l5 245e10 18|44b14 456l5 456t10
47+12 Table_Component_Type 108r46 189r35 202r18 18|81r35 309r19 363r37
48I12 Table_Index_Type 50r27 108r16 111r40 146r28 169r24 172r37 201r18 18|83r20
. 164r28 166r17 308r19 319r39 357r40 385r37
50*7 Table_Low_Bound{48I12} 111r21 169r44 18|47r34 243r36 255r28
51i7 Table_Initial{20|65I12} 18|140r29 184r40
52i7 Table_Increment{20|62I12} 18|196r47
53a7 Table_Name{string} 18|203r27
54i7 Release_Threshold{20|62I12} 18|250r13 251r43
56k12*Table 47z12 48z12 50z7 51z7 52z7 53z7 54z7 229E7 244l8 244e13 18|45b17
. 455l8 455t13
107A12*Table_Type(47+12)<48I12> 111r9 197r40 18|90r40 214r38 245r23 319r12
. 434r17 450r16
110A15*Big_Table_Type{107A12}<48I12> 118r36
118P12*Table_Ptr(110A15) 119r11 122r23 241r21 18|72r56 73r65
122p7*Table{118P12} 18|112r28 113m10 216r13 217m13 220m13 221r56 225r34 278r28
. 281m10 295r26 297m10 319r24 324r38 366r16 377r13 408r20
129b7*Locked{boolean} 18|138m10 179r32
139U17*Init 18|134b17 158l11 158t15 299s10 454s7
146V16*Last{48I12} 147r22 18|164b16 167l11 167t15 446s31
153U17*Release 18|238b17 270l11 270t18
165U17*Free 18|110b17 115l11 115t15
169*7*First{48I12} 18|408r27 429r31 449r30
172U17*Set_Last 172>27 173r22 18|365s16 374s16 385b17 397l11 397t19
172*27 New_Val{48I12} 18|385b27 387r18 388r30 391r30
181U17*Increment_Last 182r22 18|121b17 128l11 128t25
185U17*Decrement_Last 186r22 18|101b17 104l11 104t25
189U17*Append 189>25 190r22 18|81b17 84l11 84t17 93s13
189*25 New_Val{47+12} 18|81b25 83r53
197U17*Append_All 197>29 18|90b17 95l11 95t21
197a29 New_Vals{107A12} 18|90b29 92r19 93r21
200U17*Set_Item 201>10 202>10 203r22 18|83s10 307b17 379l11 379t19
201*10 Index{48I12} 18|308b11 346r50 365r26 366r23 373r21 374r26 377r20
202*10 Item{47+12} 18|309b11 355r48 356r21 363r61 377r30
209R12*Saved_Table 212r28 216r30 238c12 242e17 18|276r30 289r28 290r16
212V16*Save{209R12} 18|289b16 301l11 301t15
216U17*Restore 216>26 18|276b17 283l11 283t18
216r26 T{209R12} 18|276b26 279r22 280r22 281r22
220U17*Tree_Write 18|444b17 451l11 451t21
223U17*Tree_Read 18|420b17 435l11 435t20
229i7 Last_Val{20|59I9} 18|83r38 103m10 103r22 123m10 123r22 125r13 139m10
. 166r35 178r19 193r25 243r20 266r20 279m10 293r26 373r30 387r29 388m13 391m13
. 393r16 423m10 429r15 449r14
235i7 Max{20|59I9} 18|125r24 140m10 141r22 178r13 193r19 198m16 205r27 213r27
. 255m13 266m13 280m10 282r22 294r26 319r57 346r59 357r58 393r27 422m25 423r22
. 424r20
239i10 Last_Val{20|59I9} 18|279r24 293m14
240i10 Max{20|59I9} 18|280r24 294m14
241p10 Table{118P12} 18|281r24 295m14
X 18 table.adb
47i7 Min{20|59I9} 139r22 140r22 141r28 198r23 205r33 213r33 282r28 424r26
50i7 Length{20|59I9} 114m10 135r39 141m10 148r26 184m13 184r32 195r37 197m16
. 197r53 198r29 225r13 243m10 244r35 253r29 254m13 254r23 255r47 282m10 298m10
. 405r13 424m10
58U17 Reallocate 126s13 156s13 173b17 232l11 232t21 269s10 394s16 425s10
63V16 Tree_Get_Table_Address{8|67M9} 403b16 410l11 410t33 428s13 448s13
72V16 To_Address[21|20]{8|67M9} 112s16 221s44 278s16
73V16 To_Pointer[21|20]{17|118P12} 217s22 221s15
92i14 J 93r31
135i10 Old_Length{20|59I9} 148r13
174m10 New_Size{11|48M9} 212m10 217r41 219r16 222r44
175i10 New_Length{long_long_integer} 194m16 197r40
239i10 Extra_Length{20|59I9} 253m13 254r32 261r27
240m10 Size{11|48M9} 244m10 251r21 259r32
290r10 Res{17|209R12} 293m10 294m10 295m10 300r17
318A18 Allocated_Table_T{17|107A12}<17|48I12> 329r28
323m10 Allocated_Table_Address{8|67M9} 332r42
329a10 Allocated_Table{318A18} 330m30 330r30 331r46 332m14 332r14 355m21
. 355r21 357m23 357r23
346b10 Need_Realloc{boolean} 354r13
363*16 Item_Copy{17|47+12} 366r33
X 19 tree_io.ads
45K9*Tree_IO 18|36w6 36r19 19|128e12
76U14*Tree_Read_Data 18|427s10
91U14*Tree_Read_Int 18|422s10
108U14*Tree_Write_Data 18|447s10
118U14*Tree_Write_Int 18|446s10
X 20 types.ads
52K9*Types 17|41w6 41r17 20|941e10
59I9*Int<integer> 17|229r18 235r13 239r21 240r21 18|47r22 47r29 50r16 135r32
. 184r23 197r26 197r35 239r25 243r31 255r23 259r27 346r45 373r16 387r13 388r25
. 391r25 429r26 446r26 449r25
62I12*Nat{59I9} 17|52r27 54r27
65I12*Pos{59I9} 17|51r27
778X4*Unrecoverable_Error 18|230r19
X 21 unchconv.ads
20v10*Unchecked_Conversion 18|40w6 72r34 73r34