private static string ToString (Runtime.IConcreteValue value) { return value.Accept (new Runtime.ArgumentPrinter()); }