text: function main() {
  let v3 = 0;
  let v6 = 0;
  let v11 = "undefined";
  let v13 = "undefined";
  let v16 = 0;
  const v19 = [1337];
  const v20 = {exec:v19};
  const v22 = [13.37,13.37,13.37,13.37];
  const v29 = [Function];
  let v31 = "undefined";
  let v35 = 0;
  v35 = 10;
  let v43 = 0;
  const v44 = v22.splice(Object,1337,Function,v29,v20);
  const v45 = v43 + 1;
  v43 = v45;
  }
  %NeverOptimizeFunction(main);
  main();
  