static void Main(string[] args)
{
//*IMPORTANT* without a trace listener, mono can't output Dbg.Assert() */
Debug.Listeners.Add(new ConsoleTraceListener());
Thread.CurrentThread.Priority = ThreadPriority.BelowNormal;
Config config = new Config();
config.read(args);
stat = new Stat();
initialize();
run();
finish();
//stats
TextWriter tw = new StreamWriter(Config.output);
stat.Report(tw);
tw.Close();
}