public void DumpDebugInfo()
{
if (PythonEngine.options.EngineDebug)
{
PerfTrack.DumpStats();
try {
OutputGenerator.DumpSnippets();
} catch (NotSupportedException) { } //!!! usually not important info...
}
}