docs: function exec_and_diagnose_this_stuff(sourcecode, code_execution_rig, options, title) {
      options = options || {};
      var errname = "" + (title || "exec_test");
      var err_id = errname.replace(/[^a-z0-9_]/ig, "_");
      if (err_id.length === 0) {
          err_id = "exec_crash";
      }
      const debug = 0;
  
      if (debug) console.warn('generated ' + errname + ' code under EXEC TEST.');
      if (debug > 1) console.warn(`
          ######################## source code ##########################
          ${sourcecode}
          ######################## source code ##########################
          `);
  
      var p;
      try {
          // p = eval(sourcecode);
          if (typeof code_execution_rig !== 'function') {
              throw new Error("safe-code-exec-and-diag: code_execution_rig MUST be a JavaScript function");
          }
          p = code_execution_rig.call(this, sourcecode, options, errname, debug);
      } catch (ex) {
          if (debug > 1) console.log("@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@");
  
          if (debug) console.log("generated " + errname + " source code fatal error: ", ex.message);
  
          if (debug > 1) console.log("exec-and-diagnose options:", options);
  
          if (debug > 1) console.log("@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@");
          
          if (options.dumpSourceCodeOnFailure) {
              dumpSourceToFile(sourcecode, errname, err_id, options, ex);
          }
          
          if (options.throwErrorOnCompileFailure) {
              throw ex;
          }
      }
      return p;
  }