text: function main() {
  const v0 = {};
  const v5 = [-45218.21249560581,-45218.21249560581,-45218.21249560581,-45218.21249560581];
  const v6 = -Infinity;
  const v7 = [v5,v6,v6,v6,v6];
  const v9 = {atan2:-4203877410};
  function v11(v12,v13,v14,v15) {
  }
  const v16 = v7.toLocaleString(v11,v9,-3.0);
  const v17 = v16.toLowerCase(v5,Reflect,-4203877410);
  }
  %NeverOptimizeFunction(main);
  main();
  