text: function main() {
  const v1 = [13.37];
  const v3 = [v1,1337,1337,1337,1337];
  const v4 = [v3];
  const v7 = -Infinity;
  const v8 = [1,v7,v7,v7,NaN];
  const v10 = {toUpperCase:-4203877410};
  function v12(v13,v14,v15,v16) {
  }
  const v17 = v8.toLocaleString(v12,v10,-3.0);
  const v18 = v4 <= v17;
  }
  %NeverOptimizeFunction(main);
  main();
  