text: function main() {
  function v0(v1,v2,v3,v4) {
      const v7 = [13.37,13.37,13.37,13.37,13.37];
      let v8 = v7;
      let v10 = 0;
      function v12(v13,v14,v15,v16,v17) {
          const v22 = [13.37];
          const v24 = [1337,1337,1337];
          const v25 = [v24,13.37,"number",Set];
          const v26 = {getUint8:v25,create:16,getPrototypeOf:"number",getOwnPropertyDescriptor:16,setInt16:v22,toStringTag:v24,filter:13.37};
          let v28 = "undefined";
          const v29 = typeof v28;
          const v30 = v29 === v26;
          return v8;
      }
      function v34(v35,v36,v37,v38,v39) {
          const v40 = v12(v36,v38,9007199254740991,9007199254740991);
          return v10;
      }
      const v41 = [v2,13.37,13.37,13.37];
  }
  const v47 = [1337];
  for (let v51 = 0; v51 < 100; v51++) {
      const v52 = v0(10,Function,1337,v47,Function);
  }
  }
  %NeverOptimizeFunction(main);
  main();
  