sS readLineFromReader(BufferedReader r) ctex {
  ret r.readLine();
}