internal void set_dictionary(byte[] d, int start, int n){ System.Array.Copy(d, start, window, 0, n); read = write = n; }