internal void DumpStack()
{
Console.Write("// ");
string sep = "";
for (int i = 0; i < stackSize; i++)
{
Console.Write(sep);
Console.Write(stack[i]);
sep = ", ";
}
Console.WriteLine();
}