text: function main() {
  const v2 = [13.37,13.37,13.37,13.37];
  Function.__proto__ = v2;
  Function.isInteger = 13.37;
  Function[-3085604502] = 10;
  const v10 = {lastIndexOf:"function",source:"function",reduce:"function",concat:-65535,asin:-65535,setUint32:-65535,trimEnd:-65535,MAX_SAFE_INTEGER:-65535,NaN:-65535};
  const v11 = v10.__proto__;
  v11[2966170018] = v10;
  const v13 = [13.37];
  const v15 = [13.37,13.37,13.37,13.37];
  }
  %NeverOptimizeFunction(main);
  main();
  