text: function main() {
  const v5 = 323745.6277337633 / 857977632;
  const v7 = [72013.09604011779,72013.09604011779,72013.09604011779,72013.09604011779,72013.09604011779];
  let v8 = v7;
  const v10 = [v5,1337];
  const v11 = [v8];
  const v17 = [1337,1337];
  const v18 = [1337,v17,-1777286928];
  const v20 = new Float32Array(v18);
  const v21 = v11 * v10;
  }
  %NeverOptimizeFunction(main);
  main();
  