text: function main() {
  const v8 = [13.37];
  const v12 = "undefined" <= 10;
  const v17 = [1337];
  let v21 = undefined;
  let v23 = undefined;
  let v26 = 0;
  const v32 = Symbol.isConcatSpreadable;
  (1337)[v32] = false;
  v23 = v17;
  let v43 = 0;
  const v44 = v43 + 1;
  v43 = v44;
  const v45 = [13.37,13.37,13.37,13.37];
  let v49 = 9007199254740991;
  let v52 = 0;
  }
  %NeverOptimizeFunction(main);
  main();
  