void PushStack() { if (top == stack.Length - 1) { TagInfo[] na = new TagInfo[stack.Length + 10]; if (top > 0) Array.Copy(stack,na,top + 1); stack = na; } top++; // Move up stack stack[top].Init(nsTop); }