void Flush(Stream outs) { if (a_count > 0) { outs.WriteByte (Convert.ToByte (a_count)); outs.Write (accum, 0, a_count); a_count = 0; } }