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