static void debug(string message, params object[] args) { // Console.WriteLine (String.Format (message, args)); }