sS readLineIgnoreCR(Reader reader) {
  int ch;
  new StringBuilder buf;
  while (ch == reader.read()) >= 0) {
    if (ch == '\n') break;
    buf.append((char) ch);
  }
  ret str(buf);
}