sclass ExecFreshRealEval {
  double timeout = 60.0;
  IPred<S> safetyCheck;
  O enter = dm_tempEnter();
  optPar bool alwaysFresh;
  
  run {
    dm_refreshTranspiler();
    S output = evalWithTimeout_text(timeout, -> {
      temp callF(enter);
      try answer (S) callF(safetyCheck, code);
      ret print("eval result > ", str(dm_javaEval(code));
    });
    postMessage(output);
  }
}