private void PushInt(int i) { if (_depth >= _intStack.Length) { int[] expanded = new int[_depth * 2]; Array.Copy(_intStack, 0, expanded, 0, _depth); _intStack = expanded; } _intStack[_depth++] = i; }