private void printexc(Exception exc) { String output = "EXTENDEDINFO: "+exc.ToString(); Console.Error.WriteLine(output); } private void print(String error)
