1V "GNAT Lib v5"
2A -gnatwa
3A -nostdinc
4A -O2
5A -Wextra
6A -Wall
7A -g
8A -gnatp
9A -gnatg
10A -mtune=generic
11A -march=x86-64
12P ZX
13
14RN
15RV NO_ALLOCATORS
16RV NO_EXCEPTIONS
17RV NO_FINALIZATION
18RV NO_LOCAL_ALLOCATORS
19RV NO_NESTED_FINALIZATION
20RV NO_STANDARD_STORAGE_POOLS
21RV NO_UNCHECKED_DEALLOCATION
22RV NO_DEFAULT_INITIALIZATION
23RV SPARK_05
24
25U gnat.array_split%b	g-arrspl.adb		eab9ea3c NE OL PK GE
26W ada%s			ada.ads			ada.ali
27W ada.tags%s		a-tags.adb		a-tags.ali
28W ada.unchecked_deallocation%s
29W gnat%s		gnat.ads		gnat.ali
30
31U gnat.array_split%s	g-arrspl.ads		5af2fa38 BN EE NE OL PK GE
32W ada%s			ada.ads			ada.ali
33W ada.finalization%s	a-finali.adb		a-finali.ali
34W gnat%s		gnat.ads		gnat.ali
35
36D ada.ads		20070406091342 3ffc8e18 ada%s
37D a-except.ads		20140730140058 5250cb69 ada.exceptions%s
38D a-finali.ads		20140611123707 69f99942 ada.finalization%s
39D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
40D a-tags.ads		20140730140058 dc4d0634 ada.tags%s
41D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
42D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
43D gnat.ads		20140801083227 fd2ad2f1 gnat%s
44D g-arrspl.ads		20140120135443 ce21b18b gnat.array_split%s
45D g-arrspl.adb		20140120135730 d5c20566 gnat.array_split%b
46D system.ads		20150428105438 bf8979bc system%s
47D s-exctab.ads		20140225151139 54135002 system.exception_table%s
48D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
49D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
50D s-soflin.ads		20140801100131 aa763b52 system.soft_links%s
51D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
52D s-stalib.ads		20150220094550 fa0a3617 system.standard_library%s
53D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
54D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
55X 1 ada.ads
5616K9*Ada 19e8 9|36r6 182r26 10|32r6 37r11 40r11 114r14 117r14
57X 3 a-finali.ads
5840K13*Finalization 68e21 9|36w10 182r30
5943H9*Controlled<13|40R9> 59e72 9|182r43
60X 7 a-uncdea.ads
6120u15*Unchecked_Deallocation 10|32w10 37r15 40r15 114r18 117r18
62X 8 gnat.ads
6334K9*GNAT 37e9 9|58r9 190r5 10|34r14 354r5
64X 9 g-arrspl.ads
6539E9 Element 42r58 55r32 134r49 137r25 156r25 156r36
6642A9 Element_Sequence(39E9)<integer> 51r37 84r20 85r20 98r20 105r20 125r36
67. 158r34 10|43r17 63r20 64r20 77r20 83r30 93r17 114r42 196r20 233r34 330r36
6845+9 Element_Set 51r62 55r47 99r20 112r20 10|44r17 78r20 94r17 209r20
6951V18 To_Set{45+9} 51>26 10|68s24 200s15
7051*26 Sequence{42A9}
7155V18 Is_In{boolean} 55>25 55>41 10|99s13 259s13
7255*25 Item{39E9}
7355*41 Set{45+9}
7458k14*Array_Split 8|34k9 9|39z9 42z9 45z9 51z18 55z18 156E4 190l10 190e21
75. 10|34b19 354l10 354t21
7660X4*Index_Error 10|157r16 337r16
7763E9*Separator_Mode 72e7 86r20 100r20 106r20 113r20 10|65r20 79r20 197r20
78. 210r20
7964n7*Single{63E9} 86r38 100r38 106r38 113r38 10|65r38 79r38 197r38 210r38
80. 298r21
8169n7*Multiple{63E9} 10|306r21
8274R9*Slice_Set<3|43R9> 83r24 97r24 104r27 111r27 119r30 124r15 141r15 151r29
83. 182c9 184e14 186r37 187r37 188r37 10|52r33 62r24 76r24 81r16 111r35 142r37
84. 152r15 185r29 195r27 208r27 213r43 220r43 329r15 349r30
8582U14*Create 83<7 84>7 85>7 86>7 10|61b14 69l8 69t14
8683r7 S{74R9} 10|62b7 68m15
8784*7 From{42A9} 10|63b7 68r18
8885*7 Separators{42A9} 10|64b7 68r32
8986e7 Mode{63E9} 10|65b7 68r45
9096U14*Create 97<7 98>7 99>7 100>7 10|68s7 75b14 86l8 86t14
9197r7 S{74R9} 10|76b7 85m7
9298*7 From{42A9} 10|77b7 83r48
9399*7 Separators{45+9} 10|78b7 84r20
94100e7 Mode{63E9} 10|79b7 84r32
95103U14*Set 104=7 105>7 106>7 10|194b14 201l8 201t11
96104r7 S{74R9} 10|195b7 200m12
97105*7 Separators{42A9} 10|196b7 200r23
98106e7 Mode{63E9} 10|197b7 200r36
99110U14*Set 111=7 112>7 113>7 10|84s7 200s7 207b14 322l8 322t11
100111r7 S{74R9} 10|208b7 247r46 251m22 255r7 256r12 258r16 259r20 260r13 273r10
101. 275r19 283r24 286r24 291r13 291r28 292r21 303r28 311r31 314r32 314r50 320r10
102. 320r57
103112*7 Separators{45+9} 10|209b7 247r62 259r36
104113e7 Mode{63E9} 10|210b7 296r18
105116I9*Slice_Number<integer> 119r48 125r15 142r15 168r34 176r21 10|153r15
106. 268r45 330r15 349r48
107119V13*Slice_Count{116I9} 119>26 120r19 10|349b13 352l8 352t19
108119r26 S{74R9} 10|349b26 351r14
109123V13*Slice{42A9} 124>7 125>7 126r19 10|328b13 343l8 343t13
110124r7 S{74R9} 10|329b7 334r17 336r21 341r12 341r24 341r52
111125i7 Index{116I9} 10|330b7 333r10 336r13 341r36 341r64
112131E9*Position 131e36 134r36
113131n22*Before{131E9} 10|164r18 168r18 172r18 176r18
114131n30*After{131E9} 10|165r18 169r18 173r18 177r18
115134A9*Slice_Separators(39E9)<131E9> 142r36 10|153r36
116137*4*Array_End{39E9} 156c4 10|164r28 165r28 168r28 173r28
117140V13*Separators{134A9} 141>7 142>7 10|151b13 179l8 179t18
118141r7 S{74R9} 10|152b7 156r18 160r37 169r28 169r40 171r21 172r28 172r40 176r28
119. 176r40 177r28 177r40
120142i7 Index{116I9} 10|153b7 156r10 159r13 160r18 167r13 169r52 171r13 172r52
121. 176r52 177r52
122149A9*Separators_Indexes(positive)<integer> 151r47 160r34 10|40r39 185r47
123. 255r26
124151V13*Separators{149A9} 151>25 10|185b13 188l8 188t18
125151r25 S{74R9} 10|185b25 187r14
126158P9 Element_Access(42A9) 175r21 10|114r60
127160P9 Indexes_Access(149A9) 177r21 10|40r59
128162R9 Slice_Info 165e14 168r60
129163i7 Start{positive} 10|172r59 176r59 341r43
130164i7 Stop{natural} 10|169r59 177r59 341r71
131168A9 Slices_Indexes(162R9)<116I9> 169r33 10|37r39 268r24 320r28
132169P9 Slices_Access(168A9) 178r21 10|37r55
133173R9 Data 179e14 180r35 10|117r42 144r18 229r24
134174i7 Ref_Counter{natural} 10|54m11 54r30 127m12 127r29 129r15 222r17 225m17
135. 225r36 230m17
136175p7 Source{158P9} 10|83m16 130m21 169r31 169r32 172r31 172r32 176r31 176r32
137. 177r31 177r32 232r20 233m20 233r56 247r50 258r20 259r23 259r24 275r23 283r28
138. 334r21 341r16
139176i7 N_Slice{116I9} 10|156r22 160r41 171r25 273m14 291m17 291r32 292r25
140. 320r61 336r25 351r18
141177p7 Indexes{160P9} 10|131m21 187r18 234m20 242m23 255m11 256r16 260r16
142. 260r17 286r27 286r28 303r31 303r32 311r34 311r35 314r35 314r36 314r53 314r54
143178p7 Slices{169P9} 10|132m21 169r43 169r44 172r43 172r44 176r43 176r44 177r43
144. 177r44 235m20 243m23 320m14 341r27 341r28 341r55 341r56
145180P9 Data_Access(173R9) 183r11 10|117r48 119r11
146183p7 D{180P9} 10|54r8 54r9 54r27 54r28 83r13 83r14 119r28 124m9 144m9 156r19
147. 156r20 160r38 160r39 169r29 169r30 169r41 169r42 171r22 171r23 172r29 172r30
148. 172r41 172r42 176r29 176r30 176r41 176r42 177r29 177r30 177r41 177r42 187r15
149. 187r16 222r14 222r15 225r14 225r15 225r33 225r34 229m15 229r32 230r14 230r15
150. 232r17 232r18 233r17 233r18 233r53 233r54 234r17 234r18 235r17 235r18 242r20
151. 242r21 243r20 243r21 247r47 247r48 255r8 255r9 256r13 256r14 258r17 258r18
152. 259r21 259r22 260r14 260r15 273r11 273r12 275r20 275r21 283r25 283r26 286r25
153. 286r26 291r14 291r15 291r29 291r30 292r22 292r23 303r29 303r30 311r32 311r33
154. 314r33 314r34 314r51 314r52 320r11 320r12 320r58 320r59 334r18 334r19 336r22
155. 336r23 341r13 341r14 341r25 341r26 341r53 341r54 351r15 351r16
156186U14 Initialize<3|46p14> 186=26 10|142b14 145l8 145t18
157186r26 S{74R9} 10|142b26 144m7
158187U14 Adjust<3|47p14> 187=26 10|52b14 55l8 55t14
159187r26 S{74R9} 10|52b22 54r7 54r26
160188U14 Finalize<3|48p14> 188=26 10|111b14 136l8 136t16
161188r26 S{74R9} 10|111b24 119r26 124m7
162X 10 g-arrspl.adb
16336U14 Free[7|20] 132s13 243s13
16439U14 Free[7|20] 131s13 242s13
16542V13 Count{natural} 43>7 44>7 92b13 105l8 105t13 247s39
16643*7 Source{9|42A9} 93b7 98r16 99r20
16744*7 Pattern{9|45+9} 94b7 99r32
16881r7 Result{9|74R9} 83r7 84m12 84r12 85r12
16996i7 C{natural} 100m13 100r18 104r14
17098i11 K{integer} 99r28
171113U17 Free[7|20] 130s13
172116U17 Free[7|20] 133s13
173119p7 D{9|180P9} 126r10 127r10 127r27 129r13 130r19 131r19 132r19 133m19
174. 133r19
175213U17 Copy_On_Write 213=32 220b17 245l11 245t24 251s7
176213r32 S{9|74R9} 220b32 222r13 225r13 225r32 229m13 229r30 230r13 232r16
177. 233r16 233r52 234r16 235r16 242r19 243r19
178247i7 Count_Sep{natural} 255r51 268r59 279r20 294r27 313r36
179248i7 J{positive} 256m7 260r26 261m13 261r18
180258i11 K{integer} 259r32 260r32
181268a10 S_Info{9|168A9} 292m13 320r44
182269i10 K{natural} 279r16 286r37 294r23 303r41 304m19 304r24 311r44 312m22
183. 312r27 313r32 314r45 314r63
184270i10 Start{natural} 275m10 292r38 303m19 311m22
185270i17 Stop{natural} 276m10 283m16 286m16 292r45
186
187