1V "GNAT Lib v9"
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 NO_DYNAMIC_SIZED_OBJECTS
24RV SPARK_05
25
26U gnat.array_split%b	g-arrspl.adb		81645ced NE OL PK GE
27W ada%s			ada.ads			ada.ali
28Z ada.tags%s		a-tags.adb		a-tags.ali
29W ada.unchecked_deallocation%s
30W gnat%s		gnat.ads		gnat.ali
31
32U gnat.array_split%s	g-arrspl.ads		b18236e5 BN NE OL PR PK GE
33W ada%s			ada.ads			ada.ali
34W ada.finalization%s	a-finali.ads		a-finali.ali
35W gnat%s		gnat.ads		gnat.ali
36
37D ada.ads		20170911084841 76789da1 ada%s
38D a-except.ads		20190108095404 291912d5 ada.exceptions%s
39D a-finali.ads		20190108095404 bf4f806b ada.finalization%s
40D a-stream.ads		20190108095404 119b8fb3 ada.streams%s
41D a-tags.ads		20190108095404 491b781d ada.tags%s
42D a-unccon.ads		20170908151217 0e9b276f ada.unchecked_conversion%s
43D a-uncdea.ads		20170908151217 eff36322 ada.unchecked_deallocation%s
44D gnat.ads		20190108095404 b5988c27 gnat%s
45D g-arrspl.ads		20190108095404 bb553aa9 gnat.array_split%s
46D g-arrspl.adb		20190108095404 d5c20566 gnat.array_split%b
47D system.ads		20190108095404 c631886f system%s
48D s-exctab.ads		20190108095404 54135002 system.exception_table%s
49D s-finroo.ads		20190108095404 4ff27390 system.finalization_root%s
50D s-parame.ads		20190108095404 48ec542b system.parameters%s
51D s-secsta.ads		20190108095404 20bbe636 system.secondary_stack%s
52D s-soflin.ads		20190108095404 a7318a92 system.soft_links%s
53D s-stache.ads		20190108095404 a37c21ec system.stack_checking%s
54D s-stalib.ads		20190108095404 09bd3940 system.standard_library%s
55D s-stoele.ads		20190108095404 2dc34a04 system.storage_elements%s
56D s-traent.ads		20190108095404 005bf670 system.traceback_entries%s
57X 1 ada.ads
5816K9*Ada 20e8 9|36r6 183r26 10|32r6 37r11 40r11 114r14 117r14
59X 3 a-finali.ads
6040K13*Finalization 68e21 9|36w10 183r30
6143H9*Controlled<13|40R9> 59e72 9|183r43
62X 7 a-uncdea.ads
6320u15*Unchecked_Deallocation 10|32w10 37r15 40r15 114r18 117r18
64X 8 gnat.ads
6534K9*GNAT 57e9 9|58r9 191r5 10|34r14 352r5
66X 9 g-arrspl.ads
6739E9 Element 42r58 55r32 135r49 138r25 157r25 157r36
6842A9 Element_Sequence(39E9)<integer> 51r37 85r20 86r20 99r20 106r20 126r36
69. 159r34 10|43r17 63r20 64r20 77r20 83r30 93r17 114r42 196r20 233r34 328r36
7045+9 Element_Set 51r62 55r47 100r20 113r20 10|44r17 78r20 94r17 209r20
7151V18 To_Set{45+9} 51>26 10|68s24 200s15
7251*26 Sequence{42A9}
7355V18 Is_In{boolean} 55>25 55>41 10|99s13 259s13
7455*25 Item{39E9}
7555*41 Set{45+9}
7658k14*Array_Split 8|34k9 9|39z9 42z9 45z9 51z18 55z18 157E4 191l10 191e21
77. 10|34b19 352l10 352t21
7861X4*Index_Error 10|157r16 335r16
7964E9*Separator_Mode 73e7 87r20 101r20 107r20 114r20 10|65r20 79r20 197r20
80. 210r20
8165n7*Single{64E9} 87r38 101r38 107r38 114r38 10|65r38 79r38 197r38 210r38
82. 297r21
8370n7*Multiple{64E9} 10|305r21
8475R9*Slice_Set<3|43R9> 84r24 98r24 105r27 112r27 120r30 125r15 142r15 152r29
85. 183c9 185e14 187r37 188r37 189r37 10|52r33 62r24 76r24 81r16 111r35 142r37
86. 152r15 185r29 195r27 208r27 213r43 220r43 327r15 347r30
8783U14*Create 84<7 85>7 86>7 87>7 10|61b14 69l8 69t14
8884r7 S{75R9} 10|62b7 68m15
8985*7 From{42A9} 10|63b7 68r18
9086*7 Separators{42A9} 10|64b7 68r32
9187e7 Mode{64E9} 10|65b7 68r45
9297U14*Create 98<7 99>7 100>7 101>7 10|68s7 75b14 86l8 86t14
9398r7 S{75R9} 10|76b7 85m7
9499*7 From{42A9} 10|77b7 83r48
95100*7 Separators{45+9} 10|78b7 84r20
96101e7 Mode{64E9} 10|79b7 84r32
97104U14*Set 105=7 106>7 107>7 10|194b14 201l8 201t11
98105r7 S{75R9} 10|195b7 200m12
99106*7 Separators{42A9} 10|196b7 200r23
100107e7 Mode{64E9} 10|197b7 200r36
101111U14*Set 112=7 113>7 114>7 10|84s7 200s7 207b14 320l8 320t11
102112r7 S{75R9} 10|208b7 247r46 251m22 255r7 256r12 258r16 259r20 260r13 273r10
103. 275r19 283r24 286r24 291r13 291r28 292r21 302r28 310r31 313r32 313r50 318r10
104. 318r57
105113*7 Separators{45+9} 10|209b7 247r62 259r36
106114e7 Mode{64E9} 10|210b7 296r18
107117I9*Slice_Number<integer> 120r48 126r15 143r15 169r34 177r21 10|153r15
108. 268r45 328r15 347r48
109120V13*Slice_Count{117I9} 120>26 121r19 10|347b13 350l8 350t19
110120r26 S{75R9} 10|347b26 349r14
111124V13*Slice{42A9} 125>7 126>7 127r19 10|326b13 341l8 341t13
112125r7 S{75R9} 10|327b7 332r17 334r21 339r12 339r24 339r52
113126i7 Index{117I9} 10|328b7 331r10 334r13 339r36 339r64
114132E9*Position 132e36 135r36
115132n22*Before{132E9} 10|164r18 168r18 172r18 176r18
116132n30*After{132E9} 10|165r18 169r18 173r18 177r18
117135A9*Slice_Separators(39E9)<132E9> 143r36 10|153r36
118138*4*Array_End{39E9} 157c4 10|164r28 165r28 168r28 173r28
119141V13*Separators{135A9} 142>7 143>7 10|151b13 179l8 179t18
120142r7 S{75R9} 10|152b7 156r18 160r37 169r28 169r40 171r21 172r28 172r40 176r28
121. 176r40 177r28 177r40
122143i7 Index{117I9} 10|153b7 156r10 159r13 160r18 167r13 169r52 171r13 172r52
123. 176r52 177r52
124150A9*Separators_Indexes(positive)<integer> 152r47 161r34 10|40r39 185r47
125. 255r26
126152V13*Separators{150A9} 152>25 10|185b13 188l8 188t18
127152r25 S{75R9} 10|185b25 187r14
128159P9 Element_Access(42A9) 176r21 10|114r60
129161P9 Indexes_Access(150A9) 178r21 10|40r59
130163R9 Slice_Info 166e14 169r60
131164i7 Start{positive} 10|172r59 176r59 339r43
132165i7 Stop{natural} 10|169r59 177r59 339r71
133169A9 Slices_Indexes(163R9)<117I9> 170r33 10|37r39 268r24 318r28
134170P9 Slices_Access(169A9) 179r21 10|37r55
135174R9 Data 180e14 181r35 10|117r42 144r18 229r24
136175i7 Ref_Counter{natural} 10|54m11 54r30 127m12 127r29 129r15 222r17 225m17
137. 225r36 230m17
138176p7 Source{159P9} 10|83m16 130m21 169r31 169r32 172r31 172r32 176r31 176r32
139. 177r31 177r32 232r20 233m20 233r56 247r50 258r20 259r23 259r24 275r23 283r28
140. 332r21 339r16
141177i7 N_Slice{117I9} 10|156r22 160r41 171r25 273m14 291m17 291r32 292r25
142. 318r61 334r25 349r18
143178p7 Indexes{161P9} 10|131m21 187r18 234m20 242m23 255m11 256r16 260r16
144. 260r17 286r27 286r28 302r31 302r32 310r34 310r35 313r35 313r36 313r53 313r54
145179p7 Slices{170P9} 10|132m21 169r43 169r44 172r43 172r44 176r43 176r44 177r43
146. 177r44 235m20 243m23 318m14 339r27 339r28 339r55 339r56
147181P9 Data_Access(174R9) 184r11 10|117r48 119r11
148184p7 D{181P9} 10|54r8 54r9 54r27 54r28 83r13 83r14 119r28 124m9 144m9 156r19
149. 156r20 160r38 160r39 169r29 169r30 169r41 169r42 171r22 171r23 172r29 172r30
150. 172r41 172r42 176r29 176r30 176r41 176r42 177r29 177r30 177r41 177r42 187r15
151. 187r16 222r14 222r15 225r14 225r15 225r33 225r34 229m15 229r32 230r14 230r15
152. 232r17 232r18 233r17 233r18 233r53 233r54 234r17 234r18 235r17 235r18 242r20
153. 242r21 243r20 243r21 247r47 247r48 255r8 255r9 256r13 256r14 258r17 258r18
154. 259r21 259r22 260r14 260r15 273r11 273r12 275r20 275r21 283r25 283r26 286r25
155. 286r26 291r14 291r15 291r29 291r30 292r22 292r23 302r29 302r30 310r32 310r33
156. 313r33 313r34 313r51 313r52 318r11 318r12 318r58 318r59 332r18 332r19 334r22
157. 334r23 339r13 339r14 339r25 339r26 339r53 339r54 349r15 349r16
158187U14 Initialize<3|46p14> 187=26 10|142b14 145l8 145t18
159187r26 S{75R9} 10|142b26 144m7
160188U14 Adjust<3|47p14> 188=26 10|52b14 55l8 55t14
161188r26 S{75R9} 10|52b22 54r7 54r26
162189U14 Finalize<3|48p14> 189=26 10|111b14 136l8 136t16
163189r26 S{75R9} 10|111b24 119r26 124m7
164X 10 g-arrspl.adb
16536U14 Free[7|20] 132s13 243s13
16639U14 Free[7|20] 131s13 242s13
16742V13 Count{natural} 43>7 44>7 92b13 105l8 105t13 247s39
16843*7 Source{9|42A9} 93b7 98r16 99r20
16944*7 Pattern{9|45+9} 94b7 99r32
17081r7 Result{9|75R9} 83r7 84m12 84r12 85r12
17196i7 C{natural} 100m13 100r18 104r14
17298i11 K{integer} 99r28
173113U17 Free[7|20] 130s13
174116U17 Free[7|20] 133s13
175119p7 D{9|181P9} 126r10 127r10 127r27 129r13 130r19 131r19 132r19 133m19
176. 133r19
177213U17 Copy_On_Write 213=32 220b17 245l11 245t24 251s7
178213r32 S{9|75R9} 220b32 222r13 225r13 225r32 229m13 229r30 230r13 232r16
179. 233r16 233r52 234r16 235r16 242r19 243r19
180247i7 Count_Sep{natural} 255r51 268r59 279r20 294r27 312r36
181248i7 J{positive} 256m7 260r26 261m13 261r18
182258i11 K{integer} 259r32 260r32
183268a10 S_Info{9|169A9} 292m13 318r44
184269i10 K{natural} 279r16 286r37 294r23 302r41 303m19 303r24 310r44 311m22
185. 311r27 312r32 313r45 313r63
186270i10 Start{natural} 275m10 292r38 302m19 310m22
187270i17 Stop{natural} 276m10 283m16 286m16 292r45
188
189