text: function main() {
  const v1 = [-0.0];
  let v4 = 0;
  const v5 = v4 + 1;
  v4 = v5;
  let v7 = "function";
  v7 = -333976024;
  const v11 = [-1768804133,v7,-1768804133,-1768804133];
  const v13 = v11.includes(1337,-369022.65758638864);
  }
  %NeverOptimizeFunction(main);
  main();
  