text: function main() {
  const v1 = [13.37];
  const v4 = "undefined" <= 10;
  function v9(v10,v11,v12,v13,v14) {
      let v17 = 0;
  }
  function v21(v22,v23,v24,v25,v26) {
      for (let v30 = 0; v30 < 3; v30++) {
          function v32(v33,v34,v35) {
              return v30;
          }
          let v38 = 0;
          const v39 = v38 + 1;
          v38 = v39;
          const v40 = [13.37,13.37,13.37,13.37];
          let v43 = 9007199254740991;
          if (v30) {
              const v44 = {get:v9,isExtensible:v32};
          } else {
          }
      }
  }
  for (let v48 = 0; v48 < 100; v48++) {
      const v49 = v21("undefined",1337,13.37,Math);
  }
  }
  %NeverOptimizeFunction(main);
  main();
  