private void FlushZeros(List<uint> compressed, ref uint zeros) { if (zeros > 0) { uint n = 0x80000000 + zeros; zeros = 0; compressed.Add(n); } }