text: function main() {
  const v2 = [1337,1337,1337,1337];
  const v3 = [v2,1,1337];
  function v4(v5,v6,v7,v8) {
      let v10 = "undefined";
      for (const v11 in v10) {
          const v13 = [13.37];
          let v14 = v13;
          const v15 = v14.indexOf();
          const v16 = v15 % v3;
          for (let v20 = 0; v20 < 100; v20++) {
          }
      }
  }
  const v21 = v4();
  }
  %NeverOptimizeFunction(main);
  main();
  