void AppendBuffer (byte [] buffer, int offset, int count) { if (!(cur_bucket is ByteBucket)) AppendBucket (new ByteBucket ()); total += count; ((ByteBucket) cur_bucket).Write (buffer, offset, count); }