/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
|