srecord noeq DMEvalJava(S expression) {
  O mod = dm_current_generic();
  O[] args; // probably not a thing anymore
  bool makeDependent = true;
  
  S preppedCode;
  O obj;

  O get() {
    prepCode();
    obj = veryQuickJava(preppedCode);
    setVars(obj);
    makeDependent(obj);
    dm_pointSubmoduleToMe(obj, mod);
    ret callIt();
  }
  
  O callIt() {
    ret evalJava_myProgramID_main_2(obj, args);
  }
  
  swappable void prepCode() {
    preppedCode = evalJava_prep(expression) + postlude();
  }
  
  swappable O veryQuickJava(S mainJava) {
    ret main veryQuickJava(mainJava);
  }
  
  swappable void setVars(O obj) {
    setOpt(obj, programID := programID());
    setOpt(obj, creator_class := newWeakReference(dm_os()));
  }
  
  S postlude() {
    ret [[
      static new InheritableThreadLocal<WeakReference> dm_currentModule_value;
      
      sO dm_current_mandatory_generic_value;
      
      sO dm_current_mandatory_generic() { ret dm_current_mandatory_generic_value; }
      sO dm_current_generic() { ret dm_current_mandatory_generic(); }
    ]];
  }
}