static int getTerminalWidth(IOSink sink) { if (sink is Stdout && sink.hasTerminal) { return sink.terminalColumns; } return 80; }