code: public static void fatalError(Throwable error, String path) {
      StringWriter msg = new StringWriter();
      PrintWriter writer = new PrintWriter(msg);
      writer.println(String.format("internal error translating \"%s\"", path));
      error.printStackTrace(writer);
      writer.flush();
      error(msg.toString());
    }
docs: Report that an internal error happened when translating a specific source.