text: function main() {
  const v1 = [1337];
  const v6 = {toLowerCase:-65535,getPrototypeOf:13.37,flags:-65535,leftContext:Atomics,setUint8:"function"};
  function v7(v8,v9,v10,v11) {
      const v12 = v9 != v9;
      let v15 = 0;
      const v16 = v15 + 1;
      v15 = v16;
      let v18 = "undefined";
      function v20(v21,v22,v23,v24) {
          let v26 = arguments;
          const v27 = v23 % 1337;
          const v28 = v27[-3305594869];
      }
      const v34 = [-3244466857];
      const v38 = v20(10,Function,1337,v34,Function);
  }
  let v47 = 0;
  let v49 = "undefined";
  let v53 = 0;
  const v57 = [1337];
  for (let v61 = 0; v61 < 100; v61++) {
      const v62 = v7(10,Function,1337,v57,Function);
  }
  }
  %NeverOptimizeFunction(main);
  main();
  