public static void DumpWatchedProcedure(string caption, Procedure proc)
{
if (proc.Name == "fn00100000")
{
Debug.Print("// {0}: {1} ==================", proc.Name, caption);
MockGenerator.DumpMethod(proc);
proc.Dump(true);
}
}