text: function main() {
  for (let v3 = 0; v3 < 5; v3++) {
      let v6 = 0;
      const v7 = v6 + 1;
      v6 = v7;
      const v10 = "undefined" <= 10;
      const v15 = [1337];
      const v18 = new Float64Array(46647);
      const v19 = v18[-3912230969];
      let v21 = "undefined";
      let v23 = "undefined";
      let v27 = 0;
      v27 = 10;
      let v29 = "undefined";
      let v33 = 0;
      v33 = 10;
      let v41 = 0;
      v41 = 10;
      let v48 = 0;
      v48 = 10;
  }
  }
  %NeverOptimizeFunction(main);
  main();
  