public void Log550() { using (PexTraceListenerContext.Create()) this.Log<int>(int.MinValue, (string)null); }