private string WithRedirectedConsoleLog(Action a)
 {
     var old = ConsoleLog;
     try {
         var sb = new StringBuilder();
         ConsoleLog = args => sb.Append(args.Join(",") + "|");
         a();
         return sb.ToString();
     }
     finally {
         ConsoleLog = old;
     }
 }
        private string WithRedirectedConsoleLog(Action a)
        {
            var old = ConsoleLog;

            try {
                var sb = new StringBuilder();
                ConsoleLog = args => sb.Append(args.Join(",") + "|");
                a();
                return(sb.ToString());
            }
            finally {
                ConsoleLog = old;
            }
        }