text: function main() {
  let v2 = undefined;
  for (let v6 = 0; v6 < 100; v6++) {
      const v9 = [13.37,13.37];
      function v10(v11,v12,v13,v14) {
          let v16 = v2;
          do {
              const v19 = v16 >> 13.37;
              let v21 = 0;
              const v22 = v21 + 1;
              v21 = v22;
              function v26(v27,v28,v29,v30,v31) {
              }
              const v32 = {values:v9,deleteProperty:parseFloat,fill:9007199254740991,get:v16,prototype:v13,charCodeAt:v19,abs:2,flat:1337,repeat:v26};
              const v33 = 1337 + 1;
              v16 = v33;
          } while (v16 < 4);
      }
      const v39 = [1337];
      const v40 = v10(10,Function,1337,v39,Function);
  }
  }
  %NeverOptimizeFunction(main);
  main();
  