sclass ExecFreshRealEval {
  double timeout = 60.0;
  IF1<S> safetyCheck;
  IF0<AutoCloseable> enter = dm_tempEnter();

  run {
    dm_refreshTranspiler();
    S output = evalWithTimeout_text(timeout, -> {
      temp callF(enter);
      try answer safetyCheck?.get(code);
      ret print("eval result > ", str(dm_javaEval(code));
    });
    postMessage(output);
  }
}