text: function main() {
  function v0(v1,v2,v3,v4) {
      let v6 = "undefined";
      for (const v8 in this) {
      }
      let v11 = 0;
      const v12 = v11 + 1;
      v11 = v12;
      let v15 = 0;
      const v16 = v15 + 1;
      v15 = v16;
  }
  const v22 = [1337];
  for (let v26 = 0; v26 < 100; v26++) {
      const v27 = v0(10,Function,1337,v22,Function);
  }
  }
  %NeverOptimizeFunction(main);
  main();
  