text: function main() {
  const v2 = [4294967295,4294967295,4294967295,4294967295,-2.2250738585072014e-308];
  const v4 = [13.37];
  const v7 = new Int16Array(v2,8154,v4);
  let v10 = 0;
  const v11 = v10 + 1;
  v10 = v11;
  }
  %NeverOptimizeFunction(main);
  main();
  