protected void DoubleCrawl() { int[] newcrawl; newcrawl = new int[runcrawl.Length * 2]; Array.Copy(runcrawl, 0, newcrawl, runcrawl.Length, runcrawl.Length); runcrawlpos += runcrawl.Length; runcrawl = newcrawl; }