else if (iThrowError) throw new UnsupportedMethodError();
  public static void readInitFile(String filename) throws IOException {    if (iLib != ReadlineLibrary.PureJava)      readInitFileImpl(filename);  }