svoid dm_bot_execFreshRealEval(IVF1<S> postMessage, S code, O... _) {
  dm_bot_execFreshRealEval(ivf1ToVF1(postMessage), code, _);
}

svoid dm_bot_execFreshRealEval(VF1<S> postMessage, S code, O... _) {
  double timeout = optPar timeout(_, 60.0);
  O safetyCheck = optPar safetyCheck(_);
  O mod = dm_current_generic();
  optPar bool alwaysFresh;
  
  dm_refreshTranspiler();
  callF(postMessage, evalWithTimeout_text(timeout, func {
    temp dm_enter(mod);
    try answer (S) callF(safetyCheck, code);
    ret print("eval result > ", str(dm_javaEval(code)));
  }));
}