void ShowTotalTime (string msg) { if (!timestamps) return; DateTime now = DateTime.Now; TimeSpan span = now - first_time; Console.WriteLine ( "[{0:00}:{1:000}] {2}", (int) span.TotalSeconds, span.Milliseconds, msg); }