public virtual void Warning(Location location, string msg, params object[] args) { warnings++; WriteLocation(location); Console.Error.WriteLine(msg, args); }