[..]
  /** reports an error message to console */
  def reportError(pos: Int, msg: String): Unit = {
    report(pos, msg, java.lang.System.out);
  }

  def reportError(pos: Int, msg: String, out: PrintStream): Unit = {
    nerrors = nerrors + 1;
    report(pos, msg, java.lang.System.out);
  }