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