text: function main() {
  const v1 = {EPSILON:1337};
  const v4 = [Infinity,Infinity,-2866800045,v1];
  const v6 = [v4,2.2250738585072014e-308,2.2250738585072014e-308,2.2250738585072014e-308,2.2250738585072014e-308];
  const v8 = {atan2:-4203877410};
  function v10(v11,v12,v13,v14) {
      const v15 = v13 & 2147483648;
  }
  function v17(v18,v19,v20,v21) {
  }
  const v22 = v6.toLocaleString(v17,v8,13.37);
  const v23 = v10 >> v22;
  }
  %NeverOptimizeFunction(main);
  main();
  