static InputPort openInputFile(Object filename) { try { return new InputPort(new StreamReader(stringify(filename, false))); } catch (IOException e) { return (InputPort)error("IOException: " + e); } }