text: function main() {
  const v8 = [13.37];
  const v10 = [1337,1337,1337];
  const v11 = [v10,13.37,"number",Set];
  const v12 = {getUint8:v11,create:16,getPrototypeOf:"number",getOwnPropertyDescriptor:16,setInt16:v8,toStringTag:v10,filter:13.37};
  const v13 = {ceil:1337,log1p:1337,c:v11};
  function v18(v19,v20,v21,v22,v23) {
      const v25 = [13.37,13.37,13.37,13.37];
      const v27 = [1337];
      const v28 = [v27];
      function v29(v30,v31,v32,v33) {
          'use strict'
      }
      const v39 = [13.37,13.37,13.37,"doMZxuI.77"];
      const v41 = [1337];
      const v46 = v39.shift(v41,Function,Function,Function,"undefined");
      for (let v48 = 0; v48 < 100; v48++) {
          const v49 = v29(13.37,v25,13.37,1337,v28);
      }
  }
  const v52 = v18("undefined",1337,13.37,Math);
  const v53 = v18(100,v12,v13,0,Math);
  function v54(v55,v56,v57,v58) {
  }
  for (let v62 = 0; v62 < 100; v62++) {
  }
  }
  %NeverOptimizeFunction(main);
  main();
  