text: function main() {
  let v1 = "undefined";
  let v3 = "undefined";
  let v7 = 0;
  v7 = 10;
  function v8(v9,v10,v11,v12) {
      const v13 = v1 - 1;
  }
  const v19 = [1337];
  for (let v23 = 0; v23 < 100; v23++) {
      const v24 = v8(10,Function,1337,v19,Function);
  }
  let v31 = 0;
  v31 = 10;
  }
  %NeverOptimizeFunction(main);
  main();
  