static BufferedReader readLine_reader;

static String readLine() {
  ret (String) call(getJavaX(), "readLine");
}