text: function main() {
  const v3 = [13.37];
  const v5 = [1337,1337];
  const v6 = v3.indexOf(Math,-3686643326,v5,13.37,v5);
  const v8 = [13.37];
  const v11 = "undefined" <= 10;
  }
  %NeverOptimizeFunction(main);
  main();
  