static S readLineFromReaderWithClose(BufferedReader r) ctex {
  S s = r.readLine();
  if (s == null) r.close();
  ret s;
}