public static string ReadLine () { if ((stdin is CStreamReader) && ConsoleDriver.IsConsole) { return ConsoleDriver.ReadLine (); } else { return stdin.ReadLine (); } }