text: function main() {
  const v2 = [13.37];
  const v4 = [v2,"*rBqVy//Sg",1337,"*rBqVy//Sg"];
  let v5 = v4;
  function v7(v8,v9,v10,v11) {
      const v13 = "J9.cPbxCJ6"[v5];
      let v15 = "undefined";
      let v19 = 0;
      const v20 = v19 + 1;
      v19 = v20;
  }
  const v26 = [1337];
  for (let v30 = 0; v30 < 100; v30++) {
      const v31 = v7(10,Function,1337,v26,Function);
  }
  }
  %NeverOptimizeFunction(main);
  main();
  