public static void WriteLine(object value) { if(NSTraceOptions.UseSystemTrace) Trace.WriteLine(value); foreach(TraceListener tl in Listeners) tl.WriteLine(value); FlushIfNeeded(); }