sclass ExecFreshRealEval {
  S code;
  double timeout = 60.0;
  IF1<S> safetyCheck;
  IF0<AutoCloseable> enter = dm_tempEnter();
  
  swappable void postMessage(S output) { print(output); }

  run {
    temp callF(enter);
    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);
  }
}