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