revamp the ordinal types
[platform/upstream/flac.git] / src / libFLAC / stream_encoder_framing.c
1 /* libFLAC - Free Lossless Audio Codec library
2  * Copyright (C) 2000,2001  Josh Coalson
3  *
4  * This library is free software; you can redistribute it and/or
5  * modify it under the terms of the GNU Library General Public
6  * License as published by the Free Software Foundation; either
7  * version 2 of the License, or (at your option) any later version.
8  *
9  * This library is distributed in the hope that it will be useful,
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12  * Library General Public License for more details.
13  *
14  * You should have received a copy of the GNU Library General Public
15  * License along with this library; if not, write to the
16  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
17  * Boston, MA  02111-1307, USA.
18  */
19
20 #include <stdio.h>
21 #include "private/stream_encoder_framing.h"
22 #include "private/crc.h"
23 #include "FLAC/assert.h"
24
25 #ifdef max
26 #undef max
27 #endif
28 #define max(x,y) ((x)>(y)?(x):(y))
29
30 static FLAC__bool subframe_add_entropy_coding_method_(FLAC__BitBuffer *bb, const FLAC__EntropyCodingMethod *method);
31 static FLAC__bool subframe_add_residual_partitioned_rice_(FLAC__BitBuffer *bb, const FLAC__int32 residual[], const unsigned residual_samples, const unsigned predictor_order, const unsigned rice_parameters[], const unsigned raw_bits[], const unsigned partition_order);
32
33 FLAC__bool FLAC__add_metadata_block(const FLAC__StreamMetaData *metadata, FLAC__BitBuffer *bb)
34 {
35         unsigned i;
36
37         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->is_last, FLAC__STREAM_METADATA_IS_LAST_LEN))
38                 return false;
39
40         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->type, FLAC__STREAM_METADATA_TYPE_LEN))
41                 return false;
42
43         FLAC__ASSERT(metadata->length < (1u << FLAC__STREAM_METADATA_LENGTH_LEN));
44         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->length, FLAC__STREAM_METADATA_LENGTH_LEN))
45                 return false;
46
47         switch(metadata->type) {
48                 case FLAC__METADATA_TYPE_STREAMINFO:
49                         FLAC__ASSERT(metadata->data.stream_info.min_blocksize < (1u << FLAC__STREAM_METADATA_STREAMINFO_MIN_BLOCK_SIZE_LEN));
50                         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.stream_info.min_blocksize, FLAC__STREAM_METADATA_STREAMINFO_MIN_BLOCK_SIZE_LEN))
51                                 return false;
52                         FLAC__ASSERT(metadata->data.stream_info.max_blocksize < (1u << FLAC__STREAM_METADATA_STREAMINFO_MAX_BLOCK_SIZE_LEN));
53                         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.stream_info.max_blocksize, FLAC__STREAM_METADATA_STREAMINFO_MAX_BLOCK_SIZE_LEN))
54                                 return false;
55                         FLAC__ASSERT(metadata->data.stream_info.min_framesize < (1u << FLAC__STREAM_METADATA_STREAMINFO_MIN_FRAME_SIZE_LEN));
56                         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.stream_info.min_framesize, FLAC__STREAM_METADATA_STREAMINFO_MIN_FRAME_SIZE_LEN))
57                                 return false;
58                         FLAC__ASSERT(metadata->data.stream_info.max_framesize < (1u << FLAC__STREAM_METADATA_STREAMINFO_MAX_FRAME_SIZE_LEN));
59                         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.stream_info.max_framesize, FLAC__STREAM_METADATA_STREAMINFO_MAX_FRAME_SIZE_LEN))
60                                 return false;
61                         FLAC__ASSERT(metadata->data.stream_info.sample_rate > 0);
62                         FLAC__ASSERT(metadata->data.stream_info.sample_rate < (1u << FLAC__STREAM_METADATA_STREAMINFO_SAMPLE_RATE_LEN));
63                         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.stream_info.sample_rate, FLAC__STREAM_METADATA_STREAMINFO_SAMPLE_RATE_LEN))
64                                 return false;
65                         FLAC__ASSERT(metadata->data.stream_info.channels > 0);
66                         FLAC__ASSERT(metadata->data.stream_info.channels <= (1u << FLAC__STREAM_METADATA_STREAMINFO_CHANNELS_LEN));
67                         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.stream_info.channels-1, FLAC__STREAM_METADATA_STREAMINFO_CHANNELS_LEN))
68                                 return false;
69                         FLAC__ASSERT(metadata->data.stream_info.bits_per_sample > 0);
70                         FLAC__ASSERT(metadata->data.stream_info.bits_per_sample <= (1u << FLAC__STREAM_METADATA_STREAMINFO_BITS_PER_SAMPLE_LEN));
71                         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.stream_info.bits_per_sample-1, FLAC__STREAM_METADATA_STREAMINFO_BITS_PER_SAMPLE_LEN))
72                                 return false;
73                         if(!FLAC__bitbuffer_write_raw_uint64(bb, metadata->data.stream_info.total_samples, FLAC__STREAM_METADATA_STREAMINFO_TOTAL_SAMPLES_LEN))
74                                 return false;
75                         for(i = 0; i < 16; i++) {
76                                 if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.stream_info.md5sum[i], 8))
77                                         return false;
78                         }
79                         break;
80                 case FLAC__METADATA_TYPE_PADDING:
81                         if(!FLAC__bitbuffer_write_zeroes(bb, metadata->length * 8))
82                                 return false;
83                         break;
84                 case FLAC__METADATA_TYPE_APPLICATION:
85                         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.application.id[0], 8))
86                                 return false;
87                         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.application.id[1], 8))
88                                 return false;
89                         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.application.id[2], 8))
90                                 return false;
91                         if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.application.id[3], 8))
92                                 return false;
93                         for(i = 0; i < metadata->length; i++) {
94                                 if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.application.data[i], 8))
95                                         return false;
96                         }
97                         break;
98                 case FLAC__METADATA_TYPE_SEEKTABLE:
99                         for(i = 0; i < metadata->data.seek_table.num_points; i++) {
100                                 if(!FLAC__bitbuffer_write_raw_uint64(bb, metadata->data.seek_table.points[i].sample_number, FLAC__STREAM_METADATA_SEEKPOINT_SAMPLE_NUMBER_LEN))
101                                         return false;
102                                 if(!FLAC__bitbuffer_write_raw_uint64(bb, metadata->data.seek_table.points[i].stream_offset, FLAC__STREAM_METADATA_SEEKPOINT_STREAM_OFFSET_LEN))
103                                         return false;
104                                 if(!FLAC__bitbuffer_write_raw_uint32(bb, metadata->data.seek_table.points[i].frame_samples, FLAC__STREAM_METADATA_SEEKPOINT_FRAME_SAMPLES_LEN))
105                                         return false;
106                         }
107                         break;
108                 default:
109                         FLAC__ASSERT(0);
110         }
111
112         return true;
113 }
114
115 FLAC__bool FLAC__frame_add_header(const FLAC__FrameHeader *header, FLAC__bool streamable_subset, FLAC__bool is_last_block, FLAC__BitBuffer *bb)
116 {
117         unsigned u, crc8_start, blocksize_hint, sample_rate_hint;
118         FLAC__byte crc8;
119
120         FLAC__ASSERT(bb->bits == 0); /* assert that we're byte-aligned before writing */
121
122         crc8_start = bb->bytes;
123
124         if(!FLAC__bitbuffer_write_raw_uint32(bb, FLAC__FRAME_HEADER_SYNC, FLAC__FRAME_HEADER_SYNC_LEN))
125                 return false;
126
127         if(!FLAC__bitbuffer_write_raw_uint32(bb, 0, FLAC__FRAME_HEADER_RESERVED_LEN))
128                 return false;
129
130         FLAC__ASSERT(header->blocksize > 0 && header->blocksize <= FLAC__MAX_BLOCK_SIZE);
131         blocksize_hint = 0;
132         switch(header->blocksize) {
133                 case   192: u = 1; break;
134                 case   576: u = 2; break;
135                 case  1152: u = 3; break;
136                 case  2304: u = 4; break;
137                 case  4608: u = 5; break;
138                 case   256: u = 8; break;
139                 case   512: u = 9; break;
140                 case  1024: u = 10; break;
141                 case  2048: u = 11; break;
142                 case  4096: u = 12; break;
143                 case  8192: u = 13; break;
144                 case 16384: u = 14; break;
145                 case 32768: u = 15; break;
146                 default:
147                         if(streamable_subset || is_last_block) {
148                                 if(header->blocksize <= 0x100)
149                                         blocksize_hint = u = 6;
150                                 else
151                                         blocksize_hint = u = 7;
152                         }
153                         else
154                                 u = 0;
155                         break;
156         }
157         if(!FLAC__bitbuffer_write_raw_uint32(bb, u, FLAC__FRAME_HEADER_BLOCK_SIZE_LEN))
158                 return false;
159
160         FLAC__ASSERT(header->sample_rate > 0 && header->sample_rate < (1u << FLAC__STREAM_METADATA_STREAMINFO_SAMPLE_RATE_LEN));
161         sample_rate_hint = 0;
162         switch(header->sample_rate) {
163                 case  8000: u = 4; break;
164                 case 16000: u = 5; break;
165                 case 22050: u = 6; break;
166                 case 24000: u = 7; break;
167                 case 32000: u = 8; break;
168                 case 44100: u = 9; break;
169                 case 48000: u = 10; break;
170                 case 96000: u = 11; break;
171                 default:
172                         if(streamable_subset) {
173                                 if(header->sample_rate % 1000 == 0)
174                                         sample_rate_hint = u = 12;
175                                 else if(header->sample_rate % 10 == 0)
176                                         sample_rate_hint = u = 14;
177                                 else
178                                         sample_rate_hint = u = 13;
179                         }
180                         else
181                                 u = 0;
182                         break;
183         }
184         if(!FLAC__bitbuffer_write_raw_uint32(bb, u, FLAC__FRAME_HEADER_SAMPLE_RATE_LEN))
185                 return false;
186
187         FLAC__ASSERT(header->channels > 0 && header->channels <= (1u << FLAC__STREAM_METADATA_STREAMINFO_CHANNELS_LEN) && header->channels <= FLAC__MAX_CHANNELS);
188         switch(header->channel_assignment) {
189                 case FLAC__CHANNEL_ASSIGNMENT_INDEPENDENT:
190                         u = header->channels - 1;
191                         break;
192                 case FLAC__CHANNEL_ASSIGNMENT_LEFT_SIDE:
193                         FLAC__ASSERT(header->channels == 2);
194                         u = 8;
195                         break;
196                 case FLAC__CHANNEL_ASSIGNMENT_RIGHT_SIDE:
197                         FLAC__ASSERT(header->channels == 2);
198                         u = 9;
199                         break;
200                 case FLAC__CHANNEL_ASSIGNMENT_MID_SIDE:
201                         FLAC__ASSERT(header->channels == 2);
202                         u = 10;
203                         break;
204                 default:
205                         FLAC__ASSERT(0);
206         }
207         if(!FLAC__bitbuffer_write_raw_uint32(bb, u, FLAC__FRAME_HEADER_CHANNEL_ASSIGNMENT_LEN))
208                 return false;
209
210         FLAC__ASSERT(header->bits_per_sample > 0 && header->bits_per_sample <= (1u << FLAC__STREAM_METADATA_STREAMINFO_BITS_PER_SAMPLE_LEN));
211         switch(header->bits_per_sample) {
212                 case 8 : u = 1; break;
213                 case 12: u = 2; break;
214                 case 16: u = 4; break;
215                 case 20: u = 5; break;
216                 case 24: u = 6; break;
217                 default: u = 0; break;
218         }
219         if(!FLAC__bitbuffer_write_raw_uint32(bb, u, FLAC__FRAME_HEADER_BITS_PER_SAMPLE_LEN))
220                 return false;
221
222         if(!FLAC__bitbuffer_write_raw_uint32(bb, 0, FLAC__FRAME_HEADER_ZERO_PAD_LEN))
223                 return false;
224
225         if(!FLAC__bitbuffer_write_utf8_uint32(bb, header->number.frame_number))
226                 return false;
227
228         if(blocksize_hint)
229                 if(!FLAC__bitbuffer_write_raw_uint32(bb, header->blocksize-1, (blocksize_hint==6)? 8:16))
230                         return false;
231
232         switch(sample_rate_hint) {
233                 case 12:
234                         if(!FLAC__bitbuffer_write_raw_uint32(bb, header->sample_rate / 1000, 8))
235                                 return false;
236                         break;
237                 case 13:
238                         if(!FLAC__bitbuffer_write_raw_uint32(bb, header->sample_rate, 16))
239                                 return false;
240                         break;
241                 case 14:
242                         if(!FLAC__bitbuffer_write_raw_uint32(bb, header->sample_rate / 10, 16))
243                                 return false;
244                         break;
245         }
246
247         /* write the CRC */
248         FLAC__ASSERT(bb->buffer[crc8_start] == 0xff); /* MAGIC NUMBER for the first byte of the sync code */
249         FLAC__ASSERT(bb->bits == 0); /* assert that we're byte-aligned */
250         crc8 = FLAC__crc8(bb->buffer+crc8_start, bb->bytes-crc8_start);
251         if(!FLAC__bitbuffer_write_raw_uint32(bb, crc8, FLAC__FRAME_HEADER_CRC_LEN))
252                 return false;
253
254         return true;
255 }
256
257 FLAC__bool FLAC__subframe_add_constant(const FLAC__Subframe_Constant *subframe, unsigned subframe_bps, unsigned wasted_bits, FLAC__BitBuffer *bb)
258 {
259         FLAC__bool ok;
260
261         ok =
262                 FLAC__bitbuffer_write_raw_uint32(bb, FLAC__SUBFRAME_TYPE_CONSTANT_BYTE_ALIGNED_MASK | (wasted_bits? 1:0), FLAC__SUBFRAME_ZERO_PAD_LEN + FLAC__SUBFRAME_TYPE_LEN + FLAC__SUBFRAME_WASTED_BITS_FLAG_LEN) &&
263                 (wasted_bits? FLAC__bitbuffer_write_unary_unsigned(bb, wasted_bits-1) : true) &&
264                 FLAC__bitbuffer_write_raw_int32(bb, subframe->value, subframe_bps)
265         ;
266
267         return ok;
268 }
269
270 FLAC__bool FLAC__subframe_add_fixed(const FLAC__Subframe_Fixed *subframe, unsigned residual_samples, unsigned subframe_bps, unsigned wasted_bits, FLAC__BitBuffer *bb)
271 {
272         unsigned i;
273
274         if(!FLAC__bitbuffer_write_raw_uint32(bb, FLAC__SUBFRAME_TYPE_FIXED_BYTE_ALIGNED_MASK | (subframe->order<<1) | (wasted_bits? 1:0), FLAC__SUBFRAME_ZERO_PAD_LEN + FLAC__SUBFRAME_TYPE_LEN + FLAC__SUBFRAME_WASTED_BITS_FLAG_LEN))
275                 return false;
276         if(wasted_bits)
277                 if(!FLAC__bitbuffer_write_unary_unsigned(bb, wasted_bits-1))
278                         return false;
279
280         for(i = 0; i < subframe->order; i++)
281                 if(!FLAC__bitbuffer_write_raw_int32(bb, subframe->warmup[i], subframe_bps))
282                         return false;
283
284         if(!subframe_add_entropy_coding_method_(bb, &subframe->entropy_coding_method))
285                 return false;
286         switch(subframe->entropy_coding_method.type) {
287                 case FLAC__ENTROPY_CODING_METHOD_PARTITIONED_RICE:
288                         if(!subframe_add_residual_partitioned_rice_(bb, subframe->residual, residual_samples, subframe->order, subframe->entropy_coding_method.data.partitioned_rice.parameters, subframe->entropy_coding_method.data.partitioned_rice.raw_bits, subframe->entropy_coding_method.data.partitioned_rice.order))
289                                 return false;
290                         break;
291                 default:
292                         FLAC__ASSERT(0);
293         }
294
295         return true;
296 }
297
298 FLAC__bool FLAC__subframe_add_lpc(const FLAC__Subframe_LPC *subframe, unsigned residual_samples, unsigned subframe_bps, unsigned wasted_bits, FLAC__BitBuffer *bb)
299 {
300         unsigned i;
301
302         if(!FLAC__bitbuffer_write_raw_uint32(bb, FLAC__SUBFRAME_TYPE_LPC_BYTE_ALIGNED_MASK | ((subframe->order-1)<<1) | (wasted_bits? 1:0), FLAC__SUBFRAME_ZERO_PAD_LEN + FLAC__SUBFRAME_TYPE_LEN + FLAC__SUBFRAME_WASTED_BITS_FLAG_LEN))
303                 return false;
304         if(wasted_bits)
305                 if(!FLAC__bitbuffer_write_unary_unsigned(bb, wasted_bits-1))
306                         return false;
307
308         for(i = 0; i < subframe->order; i++)
309                 if(!FLAC__bitbuffer_write_raw_int32(bb, subframe->warmup[i], subframe_bps))
310                         return false;
311
312         if(!FLAC__bitbuffer_write_raw_uint32(bb, subframe->qlp_coeff_precision-1, FLAC__SUBFRAME_LPC_QLP_COEFF_PRECISION_LEN))
313                 return false;
314         if(!FLAC__bitbuffer_write_raw_int32(bb, subframe->quantization_level, FLAC__SUBFRAME_LPC_QLP_SHIFT_LEN))
315                 return false;
316         for(i = 0; i < subframe->order; i++)
317                 if(!FLAC__bitbuffer_write_raw_int32(bb, subframe->qlp_coeff[i], subframe->qlp_coeff_precision))
318                         return false;
319
320         if(!subframe_add_entropy_coding_method_(bb, &subframe->entropy_coding_method))
321                 return false;
322         switch(subframe->entropy_coding_method.type) {
323                 case FLAC__ENTROPY_CODING_METHOD_PARTITIONED_RICE:
324                         if(!subframe_add_residual_partitioned_rice_(bb, subframe->residual, residual_samples, subframe->order, subframe->entropy_coding_method.data.partitioned_rice.parameters, subframe->entropy_coding_method.data.partitioned_rice.raw_bits, subframe->entropy_coding_method.data.partitioned_rice.order))
325                                 return false;
326                         break;
327                 default:
328                         FLAC__ASSERT(0);
329         }
330
331         return true;
332 }
333
334 FLAC__bool FLAC__subframe_add_verbatim(const FLAC__Subframe_Verbatim *subframe, unsigned samples, unsigned subframe_bps, unsigned wasted_bits, FLAC__BitBuffer *bb)
335 {
336         unsigned i;
337         const FLAC__int32 *signal = subframe->data;
338
339         if(!FLAC__bitbuffer_write_raw_uint32(bb, FLAC__SUBFRAME_TYPE_VERBATIM_BYTE_ALIGNED_MASK | (wasted_bits? 1:0), FLAC__SUBFRAME_ZERO_PAD_LEN + FLAC__SUBFRAME_TYPE_LEN + FLAC__SUBFRAME_WASTED_BITS_FLAG_LEN))
340                 return false;
341         if(wasted_bits)
342                 if(!FLAC__bitbuffer_write_unary_unsigned(bb, wasted_bits-1))
343                         return false;
344
345         for(i = 0; i < samples; i++)
346                 if(!FLAC__bitbuffer_write_raw_int32(bb, signal[i], subframe_bps))
347                         return false;
348
349         return true;
350 }
351
352 FLAC__bool subframe_add_entropy_coding_method_(FLAC__BitBuffer *bb, const FLAC__EntropyCodingMethod *method)
353 {
354         if(!FLAC__bitbuffer_write_raw_uint32(bb, method->type, FLAC__ENTROPY_CODING_METHOD_TYPE_LEN))
355                 return false;
356         switch(method->type) {
357                 case FLAC__ENTROPY_CODING_METHOD_PARTITIONED_RICE:
358                         if(!FLAC__bitbuffer_write_raw_uint32(bb, method->data.partitioned_rice.order, FLAC__ENTROPY_CODING_METHOD_PARTITIONED_RICE_ORDER_LEN))
359                                 return false;
360                         break;
361                 default:
362                         FLAC__ASSERT(0);
363         }
364         return true;
365 }
366
367 FLAC__bool subframe_add_residual_partitioned_rice_(FLAC__BitBuffer *bb, const FLAC__int32 residual[], const unsigned residual_samples, const unsigned predictor_order, const unsigned rice_parameters[], const unsigned raw_bits[], const unsigned partition_order)
368 {
369         if(partition_order == 0) {
370                 unsigned i;
371
372                 if(!FLAC__bitbuffer_write_raw_uint32(bb, rice_parameters[0], FLAC__ENTROPY_CODING_METHOD_PARTITIONED_RICE_PARAMETER_LEN))
373                         return false;
374                 if(rice_parameters[0] < FLAC__ENTROPY_CODING_METHOD_PARTITIONED_RICE_ESCAPE_PARAMETER) {
375                         for(i = 0; i < residual_samples; i++) {
376 #ifdef FLAC__SYMMETRIC_RICE
377                                 if(!FLAC__bitbuffer_write_symmetric_rice_signed(bb, residual[i], rice_parameters[0]))
378                                         return false;
379 #else
380                                 if(!FLAC__bitbuffer_write_rice_signed(bb, residual[i], rice_parameters[0]))
381                                         return false;
382 #endif
383                         }
384                 }
385                 else {
386                         if(!FLAC__bitbuffer_write_raw_uint32(bb, raw_bits[0], FLAC__ENTROPY_CODING_METHOD_PARTITIONED_RICE_RAW_LEN))
387                                 return false;
388                         for(i = 0; i < residual_samples; i++) {
389                                 if(!FLAC__bitbuffer_write_raw_int32(bb, residual[i], raw_bits[0]))
390                                         return false;
391                         }
392                 }
393                 return true;
394         }
395         else {
396                 unsigned i, j, k = 0, k_last = 0;
397                 unsigned partition_samples;
398                 const unsigned default_partition_samples = (residual_samples+predictor_order) >> partition_order;
399                 for(i = 0; i < (1u<<partition_order); i++) {
400                         if(!FLAC__bitbuffer_write_raw_uint32(bb, rice_parameters[i], FLAC__ENTROPY_CODING_METHOD_PARTITIONED_RICE_PARAMETER_LEN))
401                                 return false;
402                         partition_samples = default_partition_samples;
403                         if(i == 0)
404                                 partition_samples -= predictor_order;
405                         k += partition_samples;
406                         if(rice_parameters[i] < FLAC__ENTROPY_CODING_METHOD_PARTITIONED_RICE_ESCAPE_PARAMETER) {
407                                 for(j = k_last; j < k; j++) {
408 #ifdef FLAC__SYMMETRIC_RICE
409                                         if(!FLAC__bitbuffer_write_symmetric_rice_signed(bb, residual[j], rice_parameters[i]))
410                                                 return false;
411 #else
412                                         if(!FLAC__bitbuffer_write_rice_signed(bb, residual[j], rice_parameters[i]))
413                                                 return false;
414 #endif
415                                 }
416                         }
417                         else {
418                                 if(!FLAC__bitbuffer_write_raw_uint32(bb, raw_bits[i], FLAC__ENTROPY_CODING_METHOD_PARTITIONED_RICE_RAW_LEN))
419                                         return false;
420                                 for(j = k_last; j < k; j++) {
421                                         if(!FLAC__bitbuffer_write_raw_int32(bb, residual[j], raw_bits[i]))
422                                                 return false;
423                                 }
424                         }
425                         k_last = k;
426                 }
427                 return true;
428         }
429 }