private void Grow(){ AST[] list = this.list; int n = list.Length; AST[] newList = this.list = new AST[n+16]; for (int i = 0; i < n; i++) newList[i] = list[i]; }