text: function main() {
  const v4 = [13.37,13.37,13.37,13.37];
  const v6 = [1337];
  const v7 = [v6];
  const v8 = "undefined" / v6;
  v4[2147483647] = 1337;
  const v9 = {max:Function,setPrototypeOf:10};
  const v10 = {exec:v6};
  let v11 = "undefined";
  let v16 = 0;
  do {
      const v17 = v9 + "undefined";
      const v18 = v16 + 1;
      v16 = v18;
  } while (v16 < 7);
  const v21 = [13.37,13.37,13.37,13.37];
  const v23 = [1337];
  const v25 = [1337];
  const v26 = [v23];
  with (v26) {
      entries = 1337;
      const v27 = v26.startsWith;
  }
  const v28 = {getOwnPropertySymbols:7,constructor:1337,isView:7,flags:v23,defineProperties:10,toLocaleString:Function,SQRT1_2:"undefined",unshift:"undefined",ownKeys:v16};
  const v29 = {max:Function,setPrototypeOf:10};
  const v30 = {exec:v23};
  let v32 = "undefined";
  const v38 = v16[10];
  const v39 = v28 + v25;
  const v40 = [1337];
  const v41 = {exec:v40};
  const v47 = v21 - 1;
  let v53 = v41;
  }
  %NeverOptimizeFunction(main);
  main();
  