text: function main() {
  const v4 = [13.37,13.37,13.37,13.37,13.37];
  const v6 = [1337,1337,1337,1337];
  const v7 = [13.37];
  const v8 = {find:v6,fill:RegExp,length:"number",acos:"number"};
  const v9 = {MIN_VALUE:"number",multiline:v8};
  let v10 = v6;
  const v13 = "number" + v10;
  const v16 = [1337,1337,1337,1337];
  let v17 = v16;
  const v20 = [1337,1337,1337,1337];
  const v25 = [13.37,13.37,13.37,13.37,13.37];
  const v27 = [1337,1337,1337,1337];
  const v28 = [13.37];
  const v29 = {find:v27,fill:RegExp,length:"number",acos:"number"};
  const v30 = {MIN_VALUE:"number",multiline:v29};
  let v31 = v27;
  const v36 = [13.37,13.37,13.37,13.37,13.37];
  const v38 = [1337,1337,1337,1337];
  const v39 = [13.37];
  const v40 = {find:v38,fill:RegExp,length:"number",acos:"number"};
  const v41 = {MIN_VALUE:"number",multiline:v40};
  let v42 = v38;
  const v48 = [13.37,v39,13.37,13.37,13.37];
  const v50 = [1337,1337,1337,1337];
  const v51 = [13.37];
  const v52 = {find:v50,fill:RegExp,length:"number",acos:"number"};
  const v53 = {MIN_VALUE:13.37,multiline:v52};
  let v54 = v50;
  const v59 = [13.37,13.37,13.37,13.37,13.37];
  const v62 = [1337,1337,1337,1337];
  const v63 = [13.37];
  const v64 = {find:v62,fill:RegExp,length:"number",acos:"number"};
  const v65 = {MIN_VALUE:"number",multiline:v64};
  const v67 = [1337,1337,1337,1337];
  let v68 = v67;
  let v70 = v62;
  const v75 = [13.37,13.37,13.37,13.37,13.37];
  const v76 = RegExp[65537];
  v75.cbrt = 13.37;
  delete (13.37)[13.37];
  const v78 = "number"["number"];
  const v79 = [1337,1337,1337,1337];
  const v80 = [13.37];
  const v81 = {find:v79,fill:RegExp,length:"number",acos:"number"};
  const v82 = {MIN_VALUE:"number",multiline:v81};
  let v83 = v79;
  const v84 = v40.__proto__;
  let v87 = 0;
  do {
      let v88 = v81;
      const v89 = v87 + 1;
      v87 = v89;
  } while (v87 < 9);
  const v93 = [13.37,13.37,13.37,13.37,13.37];
  const v95 = [1337,1337,1337,1337];
  const v96 = [13.37];
  const v97 = {find:v95,fill:Map,length:"number",acos:"number"};
  let v98 = v95;
  const v103 = [-956001.3254401154,-956001.3254401154,-956001.3254401154,-956001.3254401154,-956001.3254401154];
  const v105 = [1337,1337,1337,1337];
  const v106 = [-956001.3254401154];
  const v107 = {find:v105,fill:arguments,length:"number",acos:"number"};
  const v108 = {MIN_VALUE:"number",multiline:v107};
  let v109 = v105;
  const v113 = gc();
  const v115 = new Object("number","number",v108);
  let v121 = 0;
  const v122 = v121 + 1;
  v121 = v122;
  const v126 = [1337,1337,1337,1337];
  const v129 = {preventExtension:10,deleteProperty:v20,get:10,getOwnPropertyDescriptor:v121,construct:v126,setPrototypeOf:-521713708};
  }
  %NeverOptimizeFunction(main);
  main();
  