public void print(UI.Module m, UI.PrintLevel level, string s)
{
if (showOutput || (showBenchmarkOutput && m == Module.BENCH))
Console.WriteLine(UI.formatOutput(m, level, s));
if (level == PrintLevel.ERROR)
throw new RuntimeException(s);
}
