## uses system; system.Console.IsInputRedirected.println;