This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-text_feeder-counted_gnat_os_lib.ali is in libopentoken5-dev 6.0b-4.

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
V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector-strong
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P SS ZX

RN
RV NO_ALLOCATORS
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCHING_CALLS
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U opentoken.text_feeder.counted_gnat_os_lib%b  opentoken-text_feeder-counted_gnat_os_lib.adb  60566446 NE OO PK
W ada%s			ada.ads			ada.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W interfaces%s		interfac.ads		interfac.ali
W opentoken.text_feeder%s  opentoken-text_feeder.ads  opentoken-text_feeder.ali
W system%s		system.ads		system.ali
W system.img_int%s	s-imgint.adb		s-imgint.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.storage_pools%s  s-stopoo.adb		s-stopoo.ali
W system.storage_pools.subpools%s  s-stposu.adb	s-stposu.ali

U opentoken.text_feeder.counted_gnat_os_lib%s  opentoken-text_feeder-counted_gnat_os_lib.ads  c0107b0a EE OO PF PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.streams%s		a-stream.adb		a-stream.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W gnat%s		gnat.ads		gnat.ali
W gnat.os_lib%s		g-os_lib.ads		g-os_lib.ali
W opentoken.text_feeder%s  opentoken-text_feeder.ads  opentoken-text_feeder.ali
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.stream_attributes%s  s-stratt.adb	s-stratt.ali

D ada.ads		20070406091342 3ffc8e18
D a-charac.ads		20070912115821 2d3ec45b
D a-chlat1.ads		20140225151544 66457d31
D a-except.ads		20140129161953 f86a4103
D a-finali.ads		20111121113555 52ecdc1b
D a-ioexce.ads		20140225151544 e4a01f64
D a-stream.ads		20140122164720 1a984740
D a-string.ads		20070406091342 90ac6797
D a-strbou.ads		20101008130255 9806fe84
D a-strbou.adb		20090409150019 adb4aa70
D a-strmap.ads		20090409150019 9cb836fb
D a-strsup.ads		20120309145048 a27dcb33
D a-tags.ads		20111212115430 6c0509d0
D a-textio.ads		20140129155348 386df5d4
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D gnat.ads		20110801150502 fd2ad2f1
D g-os_lib.ads		20090409150019 0db74523
D interfac.ads		20140225151838 69adb1b9
D i-cstrea.ads		20130412125801 8128536b
D opentoken.ads		20150510192240 8bdd0f75
D opentoken-text_feeder.ads  20150510192240 6fb472c4
D opentoken-text_feeder-counted_gnat_os_lib.ads  20150510192240 a2134ced
D opentoken-text_feeder-counted_gnat_os_lib.adb  20150510192240 fa28dd7f
D system.ads		20151121115557 90249111
D s-crtl.ads		20140225151544 840e6817
D s-exctab.ads		20140225151139 54135002
D s-fatflt.ads		20090409150019 11beb392
D s-fatgen.ads		20140129155348 9267ca45
D s-fatgen.adb		20140129155348 9ba81cee
D s-fatlfl.ads		20090409150019 378cba9f
D s-fatllf.ads		20090409150019 4d5c1475
D s-fatsfl.ads		20090409150019 e2f873d3
D s-ficobl.ads		20120709130952 55a71d43
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
D s-imgint.ads		20090409150019 02dbe0c2
D s-os_lib.ads		20140225151139 73b554c6
D s-parame.ads		20140225151139 ab8cb46a
D s-pooglo.ads		20110804083314 542f33d0
D s-secsta.ads		20140225151139 86a2856d
D s-soflin.ads		20140225151139 aa763b52
D s-stache.ads		20140225151139 a37c21ec
D s-stalib.ads		20140225151139 a891183f
D s-stoele.ads		20140225151139 2dc34a04
D s-stoele.adb		20140225151139 ed88f8fb
D s-stopoo.ads		20131010103753 b16154c2
D s-stposu.ads		20121005142121 ffeba1c5
D s-stratt.ads		20131014135145 aedef97e
D s-stratt.adb		20090409150019 56ef263e
D s-string.ads		20140225151139 8fe54fb7
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-wchcon.ads		20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 24|21r6 56r13 57r13 106r11
X 14 a-textio.ads
49K13*Text_IO 471e16 24|21w10 56r17 57r17 106r15
166U14*New_Line 24|114s10
263U14*Put_Line 24|56s25 57s25 115s10 124s13 130s10 132s13 134s13 136s10
. 137s10
X 17 gnat.ads
34K9*GNAT 37e9 23|27r6 32r31 54r20 24|24r31 41r11 105r11
X 18 g-os_lib.ads
51K14*OS_Lib=51:36 23|27w11 32r36 54r25 24|24r36 41r16 105r16
X 21 opentoken.ads
42K9*OpenToken 82e14 23|28r9 30r25 53r25 61r5 24|22r14 148r5
56e4*EOL_Character{character} 24|74r32 79r32 83r28
59e4*EOF_Character{character} 24|48r29 92r32
72i4*Trace_Parse{integer} 24|55r13 113r10 122r32 129r10
X 22 opentoken-text_feeder.ads
32K19*Text_Feeder 21|42k9 22|63e26 23|28r19 30r35 53r35 61r15 24|22r24 148r15
34H9*Instance 34e48 23|30r47 53r47
35P9*Text_Feeder_Ptr(34R9) 23|32r67 24|24r67
X 23 opentoken-text_feeder-counted_gnat_os_lib.ads
28K31*Counted_GNAT_OS_Lib 22|32k19 23|53E9 61l27 61e46 24|22b36 148l27 148t46
30R9*Instance<22|34R9> 35p14 35r37 37P25 38r25 42P24 42r49 45p14 45r53 49p13
. 49r36 53c9 59e14 24|26r18 29r37 37r25 98r49 103r53 143r36
32V13*Create{22|35P9} 32>21 24|24b13 27l8 27t14
32i21 File{38|171I9} 24|24b21 26r28
35U14*Reset 35=21 35>47 24|29b14 34l8 34t13
35r21 Feeder{30R9} 24|29b21 31m7 32m7 33m7
35i47 Max_Bytes{integer} 24|29b47 31r28
37U25*Get<22|54p14> 38=7 39<7 40<7 24|36b25 96l8 96t11
38r7 Feeder{30R9} 24|37b7 42r69 42r88 45r10 45r31 50m10 50r30 52r37 53m10
. 53r31 89m13 89r34
39s7 Text{string} 24|38b7 42r56 47r22 48m10 52m50 52r50 57r35 57r41 57r55
. 60r22 64r19 65r39 65r63 73m16 74m16 76r42 76r66 78m16 79m16 81r19 83m16
. 92m13
40i7 Text_End{integer} 24|39b7 47m10 48r16 60m10 64r33 65r20 76r23 91m13
. 91r25 92r19
42V24*End_Of_Text{boolean}<22|61p13> 42>37 24|98b24 101l8 101t19
42r37 Feeder{30R9} 24|98b37 100r14 100r34
45U14*Discard_Rest_Of_Input 45=37 24|103b14 141l8 141t29
45r37 Feeder{30R9} 24|103b37 107r41 115r60 118r57 118r76 119r37 120m10 120r31
. 126r50 126r70 136r49 137r50 137r94 140m7 140r28
49V13*Get_Count{integer} 49>24 24|143b13 146l8 146t17
49r24 Feeder{30R9} 24|143b24 145r14
54i7 File{38|171I9} 24|52r44 119r44
55i7 Max_Bytes{integer} 24|31m14 42r76 45r38 89r41 100r41 118r64 126r77 137r101
. 140r35
56i7 Read_Bytes{integer} 24|32m14 42r95 45r17 53m17 53r38 89m20 100r21 107r48
. 115r67 118r83 120m17 120r38 126r57 136r56 137r57 140m14
58i7 Get_Count{integer} 24|33m14 50m17 50r37 145r21
X 24 opentoken-text_feeder-counted_gnat_os_lib.adb
42i7 Bytes_To_Read{integer} 52r64 87r26
43i7 Read_Bytes{integer} 52m10 53r51 55r33 56r59 57r68 60r35 87r13
64i14 I{integer} 65r16 65r45 65r69 73r22 74r22 76r19 76r48 76r72 78r22 79r22
. 81r25 83r22
107i7 Start_Bytes{integer} 136r69
108b7 First{boolean} 122r52 123m13
109a7 Junk{string} 118r44 119m50 119r50 124r23 132r23 134r23
110i7 Read_Bytes{integer} 119m10 120r51 122r13 124r51 126r20 131r13 132r29
. 132r48 133r16 134r34
111i7 Bytes_To_Read{integer} 118m10 119r64 126r33
X 38 s-os_lib.ads
171I9*File_Descriptor<integer> 23|32r43 54r32 24|24r43
387V13*Read{integer} 24|52s31 119s31